add some functionality to Polynomial
add FiniteField