X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/51e97eade63b2f4c7b500feb503436cc4a886e59..960f0c252361dfd696359f803aae40a9b13b14a6:/pypol/tests/test_domains.py diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index 529025e..2907f09 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -1,19 +1,19 @@ -""" - 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 . -""" +# Copyright 2014 MINES ParisTech +# +# 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 . import unittest @@ -169,14 +169,7 @@ class TestDomain(unittest.TestCase): self.assertEqual(self.universe.lexmax(), self.universe) self.assertEqual(self.empty.lexmax(), Empty) - def test_num_parameters(self): - self.assertEqual(self.square1.num_parameters(), 2) - self.assertEqual(self.empty.num_parameters(), 0) - self.assertEqual(self.universe.num_parameters(), 0) - - def test_involves_dims(self): - self.assertTrue(self.square1.involves_dims(symbols('x y'))) - self.assertFalse(self.empty.involves_dims(symbols('x'))) - self.assertFalse(self.universe.involves_dims(symbols('x'))) - -# Copyright 2014 MINES ParisTech + def test_involves_vars(self): + self.assertTrue(self.square1.involves_vars(symbols('x y'))) + self.assertFalse(self.empty.involves_vars(symbols('x'))) + self.assertFalse(self.universe.involves_vars(symbols('x')))