================
+.. _reference_symbols:
+
Symbols
-------
True
+.. _reference_linexprs:
+
Linear Expressions
------------------
See the documentation of :class:`fractions.Fraction` for more information and examples.
+.. _reference_polyhedra:
+
Polyhedra
---------
The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty.
+.. _reference_domains:
+
Domains
-------
Convert the domain to a sympy expression.
+.. _reference_operators:
+
Comparison and Logic Operators
------------------------------
Create the complementary domain of the domain given in argument.
+.. _reference_geometry:
+
Geometric Objects
-----------------