Bugfix: learning equalities in the polyhedron module has been corrected.