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