Printing lineality dim.
Fixed bug in chow_quotient. Added INEQUALITIES to polytope definitions.
Autogenerated things.