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)