lower case folder name
reorganized directories
start on revised treatment of terms
progress on basic syntax
basic syntax and pretty printing
basic syntax and pretty printing
added term comparisons and abs
added test
a start on the Blackboard class
minor update
added messages to user
added messages to user
Updated lrs_polyhedron_util and poly_add_module to (mostly) work with the new term structure. Untested.
Merge remote-tracking branch 'origin/new' into new
Moved some of the lrs code around.
cleaning, added methods to blackboard
added __init__.py's
Continued to fill in learning methods in blackboard. Tested, but needs to be tested more once learning zero inequalities is implemented. Moved some code to util/geometry.py.
Most of the way toward the new comparison representation. Need to finish Halfplane to Comparison conversion, and test.
New inequality representation is implemented, and the redundancy hierarchy in Blackboard should be working correctly.