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