From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Wed, 25 Jun 2014 15:31:39 +0000 (+0200)
Subject: New example from French Baccalauréat 2014 (courtesy of Pierre Guillou)
X-Git-Tag: 1.0~202
X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/de9c32ed9f08a0a776017829ef2f3476a5bd8bb2

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

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)