X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/a66c02fdc562e59fb06097529bb378663579cb27..27d0bac21b2bb5f5eac92064edd8a1896b67eefc:/demo.py

diff --git a/demo.py b/demo.py
deleted file mode 100755
index 7f1aa30..0000000
--- a/demo.py
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/usr/bin/env python3
-
-from pypol import *
-
-x, y = symbols('x y')
-
-sq1 = Le(0, x) & Le(x, 2) & Le(0, y) & Le(y, 2)
-sq2 = Le(2, x) & Le(x, 4) & Le(2, y) & Le(y, 4)
-
-print('sq1 =', sq1)
-print('sq2 =', sq2)
-print()
-print('¬sq1 =', ~sq1)
-print()
-print('sq1 - sq2 =', sq1 - sq2)
-print('sq1 - sq2 =', Polyhedron(sq1 - sq2))
-print()
-print('sq1 ∩ sq2 =', sq1 & sq2)
-print('sq1 ∪ sq2 =', sq1 | sq2)
-print()
-print('sq1 ⊔ sq2 =', Polyhedron(sq1 | sq2))