21374b50f73757115fbf3fee0a7f48128b7b4bdf
3 from math
import floor
, ceil
, trunc
5 from pypol
.isl
import *
8 class TestContext(unittest
.TestCase
):
11 ctx1
, ctx2
= Context(), Context()
12 self
.assertEqual(ctx1
, ctx1
)
13 self
.assertNotEqual(ctx1
, ctx2
)