Searching protocol for "minimal-polynomial"
Prove polynomial irreducibility and factorization.
Abstract algebra field problem solver