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

class sage.categories.polyhedra.PolyhedralSets(R)

Bases: Category_over_base_ring

The category of polyhedra over a ring.

EXAMPLES:

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

Sage

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

Python

>>> from sage.all import *
>>> PolyhedralSets(QQ)
Category of polyhedral sets over Rational Field

super_categories()

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> PolyhedralSets(QQ).super_categories()
[Category of commutative magmas, Category of additive monoids]