eta fixes ab, ba; psi two-sided inverse of eta; psi fixes ab: True
eta^j(a) = (ab)^j a and eta^j(b) = a^-1 (ab)^-(j-1), j <= 20: True
eta^(m/2)(a) = Delta a and eta^(m/2)(b) = b Delta^-1 in F(a,b) for even m <= 40: True
relator substitution check (symbolic, see comment): True
A1: N=1 w0=-1:True classes=1 d=1 
A2: N=3 w0=-1:False classes=1 d=6 
A3: N=6 w0=-1:False classes=1 d=12 
A4: N=10 w0=-1:False classes=1 d=20 
A5: N=15 w0=-1:False classes=1 d=30 
A6: N=21 w0=-1:False classes=1 d=42 
A7: N=28 w0=-1:False classes=1 d=56 
A8: N=36 w0=-1:False classes=1 d=72 
B2: N=4 w0=-1:True classes=2 d=4 
B3: N=9 w0=-1:True classes=2 d=9 
B4: N=16 w0=-1:True classes=2 d=16 
B5: N=25 w0=-1:True classes=2 d=25 
B6: N=36 w0=-1:True classes=2 d=36 
B7: N=49 w0=-1:True classes=2 d=49 
B8: N=64 w0=-1:True classes=2 d=64 
D4: N=12 w0=-1:True classes=1 d=12 
D5: N=20 w0=-1:False classes=1 d=40 
D6: N=30 w0=-1:True classes=1 d=30 
D7: N=42 w0=-1:False classes=1 d=84 
D8: N=56 w0=-1:True classes=1 d=56 
E6: N=36 w0=-1:False classes=1 d=72 
E7: N=63 w0=-1:True classes=1 d=63 
E8: N=120 w0=-1:True classes=1 d=120 
F4: N=24 w0=-1:True classes=2 d=24 
H3: N=15 w0=-1:True classes=1 d=15 
H4: N=60 w0=-1:True classes=1 d=60 
I3: N=3 w0=-1:False classes=1 d=6 
I4: N=4 w0=-1:True classes=2 d=4 
I5: N=5 w0=-1:False classes=1 d=10 
I6: N=6 w0=-1:True classes=2 d=6 
I7: N=7 w0=-1:False classes=1 d=14 
I8: N=8 w0=-1:True classes=2 d=8 
I9: N=9 w0=-1:False classes=1 d=18 
I10: N=10 w0=-1:True classes=2 d=10 
I11: N=11 w0=-1:False classes=1 d=22 
I12: N=12 w0=-1:True classes=2 d=12 
I13: N=13 w0=-1:False classes=1 d=26 
I14: N=14 w0=-1:True classes=2 d=14 
I15: N=15 w0=-1:False classes=1 d=30 
I16: N=16 w0=-1:True classes=2 d=16 
All N and w0 = -1 values agree with Bourbaki's tables: True
d >= 3 for all computed types of rank >= 2: True
T_lam T_mu = T_nu with nu = lam + (1+lam(z)) mu: True
ALL OWN CHECKS PASSED: True
