The cdd backend for polyhedral computations#
- class sage.geometry.polyhedron.backend_cdd.Polyhedron_QQ_cdd(parent, Vrep, Hrep, **kwds)#
Bases:
sage.geometry.polyhedron.backend_cdd.Polyhedron_cdd
,sage.geometry.polyhedron.base_QQ.Polyhedron_QQ
Polyhedra over QQ with cdd
INPUT:
parent
– the parent, an instance ofPolyhedra
.Vrep
– a list[vertices, rays, lines]
orNone
.Hrep
– a list[ieqs, eqns]
orNone
.
EXAMPLES:
sage: from sage.geometry.polyhedron.parent import Polyhedra sage: parent = Polyhedra(QQ, 2, backend='cdd') sage: from sage.geometry.polyhedron.backend_cdd import Polyhedron_QQ_cdd sage: Polyhedron_QQ_cdd(parent, [ [(1,0),(0,1),(0,0)], [], []], None, verbose=False) A 2-dimensional polyhedron in QQ^2 defined as the convex hull of 3 vertices
- class sage.geometry.polyhedron.backend_cdd.Polyhedron_cdd(parent, Vrep, Hrep, Vrep_minimal=None, Hrep_minimal=None, pref_rep=None, mutable=False, **kwds)#
Bases:
sage.geometry.polyhedron.base.Polyhedron_base
Base class for the cdd backend.