Revision history [back]

To get some autonomy, you can get informations on the Polyhedron constructor as:

sage: Polyhedron?

See in particular the ieqs parameter.

Once your polyhedron is defined, and assigned to the name, say P, you can use Tab completion:

sage: P.<TAB_COMPLETION>

to see all the methods available. You will see that there is a vertices method.