PASS T1 solver A3: relations hold, 7 non-relations rejected
PASS T1 solver B3: relations hold, 7 non-relations rejected
PASS T1 solver D4: relations hold, 10 non-relations rejected
PASS T1 solver I5: relations hold, 4 non-relations rejected
PASS T1 solver I6: relations hold, 4 non-relations rejected
PASS T1 solver E6: relations hold, 16 non-relations rejected
PASS T2 A2: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 A3: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 A4: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 A5: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 B2: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 B3: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 B4: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 B5: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 D4: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 D5: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 D6: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 D7: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 E6: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=False (expected False)
PASS T2 F4: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 H3: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 G2: zeta central=True, Delta s Delta^-1 = s_sigma=True, Delta central=True (expected True)
PASS T2 I2(3): zeta central=True, Delta central=False (expected False)
PASS T2 I2(4): zeta central=True, Delta central=True (expected True)
PASS T2 I2(5): zeta central=True, Delta central=False (expected False)
PASS T2 I2(6): zeta central=True, Delta central=True (expected True)
PASS T2 I2(7): zeta central=True, Delta central=False (expected False)
PASS T2 I2(8): zeta central=True, Delta central=True (expected True)
PASS T2 I2(9): zeta central=True, Delta central=False (expected False)
PASS T2 I2(10): zeta central=True, Delta central=True (expected True)
PASS T2 I2(11): zeta central=True, Delta central=False (expected False)
PASS T2 I2(12): zeta central=True, Delta central=True (expected True)
PASS T3 I2(4): eta,psi automorphisms=True, inverse=True, eta^2 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<2) not transvection=True
PASS T3 I2(6): eta,psi automorphisms=True, inverse=True, eta^3 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<3) not transvection=True
PASS T3 I2(8): eta,psi automorphisms=True, inverse=True, eta^4 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<4) not transvection=True
PASS T3 I2(10): eta,psi automorphisms=True, inverse=True, eta^5 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<5) not transvection=True
PASS T3 I2(12): eta,psi automorphisms=True, inverse=True, eta^6 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<6) not transvection=True
PASS T3 I2(14): eta,psi automorphisms=True, inverse=True, eta^7 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<7) not transvection=True
PASS T3 I2(16): eta,psi automorphisms=True, inverse=True, eta^8 = (a->a Delta, b->b Delta^-1)=True, gamma/eps relations=True, eta^j (0<j<8) not transvection=True
PASS T3b B2: eps.eta.gamma = (a->a, b->b Delta^-1), Delta -> Delta^-1
PASS T4 B3: CC tau automorphism=True, tau^2=id=True, tau(delta)=delta^-1=True, l(tau(s_n))=-5, transvection T automorphism with inverse=True, tau T tau in {T, T^-1} on gens=True
PASS T4 B4: CC tau automorphism=True, tau^2=id=True, tau(delta)=delta^-1=True, l(tau(s_n))=-7, transvection T automorphism with inverse=True, tau T tau in {T, T^-1} on gens=True
PASS T4 B5: CC tau automorphism=True, tau^2=id=True, tau(delta)=delta^-1=True, l(tau(s_n))=-9, transvection T automorphism with inverse=True, tau T tau in {T, T^-1} on gens=True
PASS T4b B3: tau T tau = T^-1 exactly=True, eps T eps = T=True, tau eps = eps tau=True (so <T,tau,eps> realises (Z x| C2) x C2 as in Charney-Crisp Prop 10)
PASS T4b B4: tau T tau = T^-1 exactly=True, eps T eps = T=True, tau eps = eps tau=True (so <T,tau,eps> realises (Z x| C2) x C2 as in Charney-Crisp Prop 10)
PASS T5 D4: triality 3-cycle is a graph automorphism of A and NOT induced by W(D4) (so not inner in A)
PASS T5 D4: triality transposition (0 2) is a graph automorphism of A and NOT induced by W(D4) (so not inner in A)
PASS T5 D4: triality transposition (2 3) is a graph automorphism of A and NOT induced by W(D4) (so not inner in A)
PASS T5 D5: leaf swap induced by W = True (expected True: inner iff n odd)
PASS T5 D6: leaf swap induced by W = False (expected False: inner iff n odd)
PASS T5 I2(4): swap a<->b induced by W = False (expected False)
PASS T5 I2(6): swap a<->b induced by W = False (expected False)
PASS T5 I2(8): swap a<->b induced by W = False (expected False)
PASS T5 I2(5): swap a<->b induced by W = True (expected True)
PASS T5 I2(7): swap a<->b induced by W = True (expected True)
ALL OK
