X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/98936866ae400d45b7b74f7ba0d04c66ace0424f..dc449ca80b432de202188a4300ef990abeb968a1:/doc/examples.rst~ diff --git a/doc/examples.rst~ b/doc/examples.rst~ deleted file mode 100644 index 18a2e83..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: :: - - >>> square2 = - - -Plot Examples -------------- - -