From de9c32ed9f08a0a776017829ef2f3476a5bd8bb2 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve 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