lexmin.cc: remove_equalities; take preimage with returned matrix