X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/d9ce6feb2d36e40e83326744f1d4ff3890d1874f..51e97eade63b2f4c7b500feb503436cc4a886e59:/examples/bac2014.py diff --git a/examples/bac2014.py b/examples/bac2014.py index bb8969d..866ed82 100755 --- a/examples/bac2014.py +++ b/examples/bac2014.py @@ -1,5 +1,22 @@ #!/usr/bin/env python3 +""" + This file is part of Linpy. + + Linpy is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + Linpy is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with Linpy. If not, see . +""" + from pypol import * x, y, z = symbols('x y z') @@ -7,3 +24,5 @@ DF = Eq(x, y) & Eq(z, 6 - 2*x) P = Eq(x + y - 2*z, 0) print('DF ∩ P =', DF & P) + +# Copyright 2014 MINES ParisTech