lexmin: Polyhedron_not_empty: continue removing equalities
commitd36fe1f4891f150e63e6a62651eae50543d9d16d
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 9 Nov 2006 08:14:04 +0000 (9 09:14 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 9 Dec 2006 20:38:02 +0000 (9 21:38 +0100)
tree12de4f2c5830c43dcdb04eecb54b0798e8f84d71
parentd2aa985d249425460039c92a912148df6e6682ae
lexmin: Polyhedron_not_empty: continue removing equalities

Removing equalities may introduce new equalities, due to simplification
of constraints.  Remove them as long as they appear in the constraints.
lexmin.cc