421b1beacc076f76aad89652f2688907cbd18628
4 from math
import floor
, ceil
, trunc
6 from pypol
.isl
import *
9 class TestContext(unittest
.TestCase
):
12 ctx1
, ctx2
= Context(), Context()
13 self
.assertEqual(ctx1
, ctx1
)
14 self
.assertNotEqual(ctx1
, ctx2
)