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