Euclidian quotient : quo

quo takes as arguments two polynomials A and B with coefficients in $\mathbb {Z}$/p$\mathbb {Z}$, where A and B are list polynomials or symbolic polynomials with respect to x or to an optionnal third argument.
quo returns the quotient of the euclidian division of A by B in $\mathbb {Z}$/p$\mathbb {Z}$[x].
Input :

quo((x^3+x^2+1)%13,(2*x^2+4)%13)

Or :

quo((x^3+x^2+1,2*x^2+4)%13)

Output:

(-6%13)*x+-6%13

Indeed x³ + x² +1 = (2x² +4)($${\frac{{x+1}}{{2}}}$$) + $${\frac{{5x-4}}{{4}}}$$ and -3*4 = - 6*2 = 1  mod 13.