[PPL-devel] minimize

[Elisa Ricci]

> > > [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 at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>