[Angela] In general we can say that a system of constraints is minimized if it does not contain redundant constraints, but we want it also to be normalized (the GCD of the coefficient must be 1).
I think that a system of constraints is minimized if it is bilt by the least number of irredundant equalities and inequalities. This rapresentation can not be unique.
A system of generators is minimized if it is built by the least number of irredundant lines, rays and verteces (they are extreaml generators). This rapresentation is unique up to a positive coefficient if we are considering a pointed cone (i.e. the polyhedron is without lines).
I think that the test for checking if generators are really minimized must consider the previous consideration: we have to normalize before checking if the two systems of generator are equal.
Ciao Elisa
PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel