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