X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/9b755b94aa2c8847ffca607de239f5c3bca9984b..198c368d0b24dc80b1139b2a7282cc50ef654e4d:/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)