pub fn agl_order(n: u32) -> u128
|AGL(n,2)| = 2ⁿ · |GL(n,2)| — the 2ⁿ translations times the invertible linear parts.
|AGL(n,2)| = 2ⁿ · |GL(n,2)|
2ⁿ