Methods Polyhedron.fromsympy(), Polyhedron.tosympy()
[linpy.git] / tests / test_isl.py
1 import unittest
2
3 from math import floor, ceil, trunc
4
5 from pypol.isl import *
6
7
8 class TestContext(unittest.TestCase):
9
10 def test_eq(self):
11 ctx1, ctx2 = Context(), Context()
12 self.assertEqual(ctx1, ctx1)
13 self.assertNotEqual(ctx1, ctx2)