Hello Polymakers,
Are there any routines in Polymake to remove the lineality space from the input polyhedron (in constraint form), so that the resultant is a full dimensional one?
Is it right that a "gaussian elimination" algorithm should be able to do the same, with cubic complexity?
Thanks ...

