n = 3: family of 1501 polynomials (sums of 1, 2, 3 monomials of degree 1..3)
  (1,sqrt2,sqrt3)  [Theorem A]: 1501 polynomials f tested (or stopped early), deg g <= 8; max centralizer dim 9; f with a commuting g, df^dg != 0: 0   [3.8s]
  (1,2,3)          [control]  : 1501 polynomials f tested (or stopped early), deg g <= 8; max centralizer dim 13; f with a commuting g, df^dg != 0: 3 (stopped early)   [0.0s]
     example: f = {(0, 0, 1): 1}, g (first terms, mod p) = [((2, 3, 0), 1)]
     example: f = {(0, 0, 2): 1}, g (first terms, mod p) = [((2, 3, 0), 1)]
  (1,1,sqrt2)      [control]  : 1501 polynomials f tested (or stopped early), deg g <= 8; max centralizer dim 25; f with a commuting g, df^dg != 0: 3 (stopped early)   [0.0s]
     example: f = {(0, 1, 0): 1}, g (first terms, mod p) = [((1, 0, 1), 1)]
     example: f = {(0, 2, 0): 1}, g (first terms, mod p) = [((1, 0, 1), 1)]
  (1,sqrt2,-1-sqrt2) [rho=2, no system]: 1501 polynomials f tested (or stopped early), deg g <= 8; max centralizer dim 9; f with a commuting g, df^dg != 0: 0   [3.8s]
n = 4: family of 196 polynomials (sums of 1, 2 monomials of degree 1..2)
  theta-bracket    [Theorem D]: 196 polynomials f tested (or stopped early), deg g <= 6; max centralizer dim 7; f with a commuting g, df^dg != 0: 0   [0.7s]
  all lambda_ij=1  [control]  : 196 polynomials f tested (or stopped early), deg g <= 6; max centralizer dim 30; f with a commuting g, df^dg != 0: 3 (stopped early)   [0.0s]
     example: f = {(0, 0, 1, 0): 1}, g (first terms, mod p) = [((0, 1, 0, 1), 1)]
     example: f = {(0, 0, 1, 1): 1}, g (first terms, mod p) = [((0, 1, 0, 2), 1)]
total 8.3s
exit 0
