The cdd backend for polyhedral computations, floating point version¶
- class sage.geometry.polyhedron.backend_cdd_rdf.Polyhedron_RDF_cdd(parent, Vrep, Hrep, **kwds)[source]¶
- Bases: - Polyhedron_cdd,- Polyhedron_RDF- Polyhedra over RDF with cdd. - INPUT: - ambient_dim– integer; the dimension of the ambient space
- Vrep– list- [vertices, rays, lines]or- None
- Hrep– list- [ieqs, eqns]or- None
 - EXAMPLES: - sage: from sage.geometry.polyhedron.parent import Polyhedra sage: parent = Polyhedra(RDF, 2, backend='cdd') sage: from sage.geometry.polyhedron.backend_cdd_rdf import Polyhedron_RDF_cdd sage: Polyhedron_RDF_cdd(parent, [ [(1,0),(0,1),(0,0)], [], []], None, verbose=False) A 2-dimensional polyhedron in RDF^2 defined as the convex hull of 3 vertices - >>> from sage.all import * >>> from sage.geometry.polyhedron.parent import Polyhedra >>> parent = Polyhedra(RDF, Integer(2), backend='cdd') >>> from sage.geometry.polyhedron.backend_cdd_rdf import Polyhedron_RDF_cdd >>> Polyhedron_RDF_cdd(parent, [ [(Integer(1),Integer(0)),(Integer(0),Integer(1)),(Integer(0),Integer(0))], [], []], None, verbose=False) A 2-dimensional polyhedron in RDF^2 defined as the convex hull of 3 vertices