def test___init__(self):
with self.assertRaises(DerivationError):
UnnamedOpetope.Preopetope(-2)
UnnamedOpetope.Preopetope(-1)
x = UnnamedOpetope.Preopetope(8)
self.assertEqual(x.dimension, 8)
self.assertFalse(x.isDegenerate)
self.assertEqual(x.nodes, {})
def setUp(self):
self.a = UnnamedOpetope.Preopetope(-1)
self.b = UnnamedOpetope.Preopetope(0)
self.c = UnnamedOpetope.Preopetope.fromDictOfPreopetopes(
{UnnamedOpetope.Address.epsilon(0): self.b})
self.d = UnnamedOpetope.Preopetope.degenerate(self.b)
self.e = UnnamedOpetope.Preopetope.fromDictOfPreopetopes(
{UnnamedOpetope.Address.epsilon(1): self.c})
self.f = UnnamedOpetope.Preopetope.fromDictOfPreopetopes({
UnnamedOpetope.Address.epsilon(1):
self.c,
UnnamedOpetope.Address.fromList(['*'], 1):
self.c
})
def test_shift(self):
s1 = UnnamedOpetope.shift(UnnamedOpetope.point())
s2 = UnnamedOpetope.shift(s1)
self.assertEqual(
s2.context,
UnnamedOpetope.Context(2) +
(UnnamedOpetope.Address.epsilon(0).shift(),
UnnamedOpetope.Address.epsilon(0)))
p = UnnamedOpetope.Preopetope.point()
a = UnnamedOpetope.Preopetope(1)
a.nodes[UnnamedOpetope.Address.epsilon(0)] = p
g = UnnamedOpetope.Preopetope(2)
g.nodes[UnnamedOpetope.Address.epsilon(1)] = a
self.assertEqual(s1.source, a)
self.assertEqual(s1.target, p)
self.assertEqual(s2.source, g)
self.assertEqual(s2.target, a)
