New example from French Baccalauréat 2014 (courtesy of Pierre Guillou)

[linpy.git] / examples / bac2014.py

diff --git a/examples/bac2014.py b/examples/bac2014.py
new file mode 100755 (executable)
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)