X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/98936866ae400d45b7b74f7ba0d04c66ace0424f..98edd00eb4b05e85f7cb1b85cff2f4d733909c57:/doc/examples.rst diff --git a/doc/examples.rst b/doc/examples.rst deleted file mode 100644 index 793ecbe..0000000 --- a/doc/examples.rst +++ /dev/null @@ -1,22 +0,0 @@ -Pypol Examples -============== - -Creating a Square ------------------ - To create any polyhedron, first define the symbols used. Then use the polyhedron functions to define the constraints for the polyhedron. This example creates a square:: - - >>> x, y = symbols('x y') - >>> # define the constraints of the polyhedron - >>> square = Le(0, x) & Le(x, 2) & Le(0, y) & Le(y, 2) - >>> print(square) - >>> And(Ge(x, 0), Ge(-x + 2, 0), Ge(y, 0), Ge(-y + 2, 0)) - - Several unary operations can be performed on a polyhedron. For example: :: - - >>> ¬square - - -Plot Examples -------------- - -