Euclidian quotient : quo

### 2.31.5 Euclidian quotient : `quo`

`quo` takes as arguments two polynomials A and B with coefficients in ℤ/pℤ, 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 ℤ/pℤ[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 x3+x2+1=(2x2+4)(x+1/2)+5x−4/4 and −3*4=−6*2=1 mod13.