Quotient and remainder : quorem divide

quorem (or divide) returns the list of the quotient and the remainder of the euclidian division (by decreassing power) of two polynomials.
Input :

quorem([1,2,4],[1,1,2])

Output :

[poly1[1],poly1[1,2]]

Input :

quorem(x^3-1,x^2-1)

Output :

[x,x-1]