Added polynomial-quotient-remainder, polynomial-quotient and polynomial-remainder