X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/27d0bac21b2bb5f5eac92064edd8a1896b67eefc..de9c32ed9f08a0a776017829ef2f3476a5bd8bb2:/examples/bac2014.py

diff --git a/examples/bac2014.py b/examples/bac2014.py
new file mode 100755
index 0000000..bb8969d
--- /dev/null
+++ b/examples/bac2014.py
@@ -0,0 +1,9 @@
+#!/usr/bin/env python3
+
+from pypol import *
+
+x, y, z = symbols('x y z')
+DF = Eq(x, y) & Eq(z, 6 - 2*x)
+P = Eq(x + y - 2*z, 0)
+
+print('DF ∩ P =', DF & P)