def test_compose_bf(self):
i = 3
x = Surjection_element({(3, 2, 1, 2, 1, 3): 1},
convention='Berger-Fresse')
y = Surjection_element({(3, 1, 2, 1, 4, 3): 1},
convention='Berger-Fresse')
dx, dy = x.boundary(), y.boundary()
dx_y, x_dy = dx.compose(y, i), x.compose(dy, i)
xy = x.compose(y, i)
d_xy = xy.boundary()
self.assertEqual(d_xy - dx_y - (-1)**(x.degree) * x_dy, x.zero())
def test_suspension(self):
x = Surjection_element({(1, 3, 2, 1, 2, 3, 4): 1},
convention='Berger-Fresse')
y = Surjection_element({(1, 2, 3, 1, 2, 3): 1},
convention='Berger-Fresse')
sx = x.suspension()
sy = y.suspension()
xy = x.compose(y, 1)
self.assertEqual(xy.suspension(), sx.compose(sy, 1))
z = Surjection_element({(1, 2, 1, 3, 1, 2, 3): 1},
convention='Berger-Fresse')
sz = z.suspension()
xz = x.compose(z, 2)
self.assertEqual(xz.suspension(), sx.compose(sz, 1))