
BPAS Systems
============

Contained here are a suite of real-world polynomial systems
coming from the scientific literature as well as user-data and bug
reports provided by MapleSoft and the RegularChains library.

Each system is encoded using a line-based file format:
 - Empty lines are skipped.
 - Comment lines are any with a '#' anywhere in a line.
 - The first non-commented line should be a comma-separated ordered set 
   of algebraic variables for the ambient space in which to solve the system.
   The union variables appearing in the polynomials of the input system
   must form a subset of this list. 
 - The remaining non-empty lines list one polynomial of the input system per line. 

