Generate cdd .ext
/ .ine
file format#
- sage.geometry.polyhedron.cdd_file_format.cdd_Hrepresentation(cdd_type, ieqs, eqns, file_output=None)[source]#
Return a string containing the H-representation in cddlib’s ine format.
INPUT:
file_output
(string; optional) – a filename to which the representation should be written. If set toNone
(default), representation is returned as a string.
EXAMPLES:
sage: from sage.geometry.polyhedron.cdd_file_format import cdd_Hrepresentation sage: cdd_Hrepresentation('rational', None, [[0,1]]) 'H-representation\nlinearity 1 1\nbegin\n 1 2 rational\n 0 1\nend\n'
>>> from sage.all import * >>> from sage.geometry.polyhedron.cdd_file_format import cdd_Hrepresentation >>> cdd_Hrepresentation('rational', None, [[Integer(0),Integer(1)]]) 'H-representation\nlinearity 1 1\nbegin\n 1 2 rational\n 0 1\nend\n'
- sage.geometry.polyhedron.cdd_file_format.cdd_Vrepresentation(cdd_type, vertices, rays, lines, file_output=None)[source]#
Return a string containing the V-representation in cddlib’s ext format.
INPUT:
file_output
(string; optional) – a filename to which the representation should be written. If set toNone
(default), representation is returned as a string.
Note
If there is no vertex given, then the origin will be implicitly added. You cannot write the empty V-representation (which cdd would refuse to process).
EXAMPLES:
sage: from sage.geometry.polyhedron.cdd_file_format import cdd_Vrepresentation sage: print(cdd_Vrepresentation('rational', [[0,0]], [[1,0]], [[0,1]])) V-representation linearity 1 1 begin 3 3 rational 0 0 1 0 1 0 1 0 0 end
>>> from sage.all import * >>> from sage.geometry.polyhedron.cdd_file_format import cdd_Vrepresentation >>> print(cdd_Vrepresentation('rational', [[Integer(0),Integer(0)]], [[Integer(1),Integer(0)]], [[Integer(0),Integer(1)]])) V-representation linearity 1 1 begin 3 3 rational 0 0 1 0 1 0 1 0 0 end