From: Vivien Maisonneuve 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?ds=inline 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)