Input interpretation
factor | x^2 – 2 x + 4
Irreducible factorization
(-i x + sqrt(3) + i) (i x + sqrt(3) – i)
Factorizations over finite fields
GF(2) | x^2