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

Skip to content
Back to top
View this page
Edit this page

# 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]