Polyhedral subsets of free ZZ, QQ or RR-modules.

class sage.categories.polyhedra.PolyhedralSets(R)

Bases: sage.categories.category_types.Category_over_base_ring

The category of polyhedra over a ring.

EXAMPLES:

We create the category of polyhedra over \(\QQ\):

sage: PolyhedralSets(QQ)
Category of polyhedral sets over Rational Field

super_categories()

EXAMPLES:

sage: PolyhedralSets(QQ).super_categories()
[Category of commutative magmas, Category of additive monoids]