X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/de9c32ed9f08a0a776017829ef2f3476a5bd8bb2..bd3e0cd145fcfdbdf6cd3d483800060586228cb4:/examples/bac2014.py?ds=sidebyside diff --git a/examples/bac2014.py b/examples/bac2014.py index bb8969d..cc02126 100755 --- a/examples/bac2014.py +++ b/examples/bac2014.py @@ -1,9 +1,15 @@ #!/usr/bin/env python3 -from pypol import * +# This example is inspired from a math question in the French baccalauréat 2014, +# consisting in computing the intersection of a plane with a line. + +from linpy import * x, y, z = symbols('x y z') -DF = Eq(x, y) & Eq(z, 6 - 2*x) -P = Eq(x + y - 2*z, 0) +plane = Eq(x, y) & Eq(z, 6 - 2*x) +line = Eq(x + y - 2*z, 0) -print('DF ∩ P =', DF & P) +if __name__ == '__main__': + print('plane: ', plane) + print('line: ', line) + print('intersection:', plane & line)