* support for polynomials whose division results have remainders
* function for checking the diagonal elements