Groups of Lie Type in MAGMA Overview on some algorithms
Sergei Haller · 2006
degrees of Hall Polynomials CFL CFO max avg max avg An n (n + 2)/3 2 → 2 Bn 2n − 1 ∼ (2n)/3 4 → 4 Cn 2n − 1 ∼ (2n)/3 3 → 3 Dn 2n − 3 (2n − 1)/3 3 → 3 In Type B15, we have |Φ+| = 225 Hall Polynomials Largest (printed as string) is 9226 B with CFO and ∼ 297 MB with CFL.