New example from French Baccalauréat 2014 (courtesy of Pierre Guillou)
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 25 Jun 2014 15:31:39 +0000 (17:31 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 25 Jun 2014 15:31:39 +0000 (17:31 +0200)
examples/bac2014.py [new file with mode: 0755]

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