X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/51e97eade63b2f4c7b500feb503436cc4a886e59..3c9e6c7cd0631426b79a28c9b15f8d40e01cec4c:/examples/bac2014.py diff --git a/examples/bac2014.py b/examples/bac2014.py index 866ed82..775be66 100755 --- a/examples/bac2014.py +++ b/examples/bac2014.py @@ -1,28 +1,9 @@ #!/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 * +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) print('DF ∩ P =', DF & P) - -# Copyright 2014 MINES ParisTech