def test12(self): A, B, c = humphries_generators(2) assert A[1] * B[1] * A[1] == B[1] * A[1] * B[1]
def test14(self): A, B, c = humphries_generators(2) assert B[1] * c * B[1] == c * B[1] * c
def test9(self): A, B, c = humphries_generators(2) assert B[0] * A[1] * B[0] == A[1] * B[0] * A[1]
def test10(self): A, B, c = humphries_generators(2) assert A[1] * c == c * A[1]
def test7(self): A, B, c = humphries_generators(2) assert B[0] * B[1] == B[1] * B[0]
def test6(self): A, B, c = humphries_generators(2) assert B[0] * c == c * B[0]
def test5(self): A, B, c = humphries_generators(2) assert A[0] * B[0] * A[0] == B[0] * A[0] * B[0]
def test1(self): A, B, c = humphries_generators(2) assert A[0] * A[1] == A[1] * A[0]
A, B, c = humphries_generators(2) assert A[1] * B[1] * A[1] == B[1] * A[1] * B[1] def test13(self): A, B, c = humphries_generators(2) assert B[1] * c != c * B[1] def test14(self): A, B, c = humphries_generators(2) assert B[1] * c * B[1] == c * B[1] * c from macaw.examples import hyperelliptic_involution from macaw.examples import finite_order_primitives A, B, c = humphries_generators(2) class TestOrders(object): @pytest.mark.parametrize("genus", [2, 3, 4]) @pytest.mark.slow def test_hyperelliptic(self, genus): g = hyperelliptic_involution(genus) assert g.order() == 2 @pytest.mark.parametrize("twist", A + B + [c]) def test_dehn_twists(self, twist): assert twist.order() == 0 @pytest.mark.parametrize("order_and_map", finite_order_primitives(2) +