The H-representation consists of equations and inequalities and the equations seem to be in some canonical form. Is there a method that returns the non-free variables (or indices), i.e. that are the variables completely determined by the equations meaning once a value for the other variables is fixed, then one can compute them and no further restrictions apply.
E.g. for sage: polytopes.simplex(2).Hrepresentation() (An equation (1, 1, 1) x - 1 == 0, An inequality (0, -1, -1) x + 1 >= 0, An inequality (0, 1, 0) x + 0 >= 0, An inequality (0, 0, 1) x + 0 >= 0) I simply want to get the list of indices [0], as the first component is only determined by (1, 1, 1) x - 1 and does not appear in any of the inequalities. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
