From de9c32ed9f08a0a776017829ef2f3476a5bd8bb2 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Wed, 25 Jun 2014 17:31:39 +0200
Subject: [PATCH 1/1] =?utf8?q?New=20example=20from=20French=20Baccalaur?=
 =?utf8?q?=C3=A9at=202014=20(courtesy=20of=20Pierre=20Guillou)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 examples/bac2014.py | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 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)
-- 
2.20.1