forum.polymake.org

Hi there,

I've got another beginner's question: If I define a rational Cone, say the two-dimensional cone
and I want to compute both, its defining inequalities and its defining equations (such that c is the intersection of halfspaces and hyperplanes), I just know about
which gives
but $c->EQUATIONS; just produces a waring "WARNING: available properties insufficient to compute EQUATIONS".
Surely, I'm doing something wrong?

You are on the right track, but EQUATIONS is an input property (like INEQUALITIES, INPUT_RAYS, or INPUT_LINEALITY). The defining equations are stored in LINEAR_SPAN (and the defining inequalities are stored in FACETS).

Thanks! (I assumed LINEAR_SPAN would give the linear hull )