### 1.31.7 Ευκλείδειο πηλίκο και Ευκλείδειο υπόλοιπο : quorem

quorem παίρνει σαν ορίσματα δύο πολυώνυμα A και B με συντελεστές στο ℤ/pℤ, όπου A και B είναι λίστες πολυωνύμων ή συμβολικά πολυώνυμα του x ή ενός προαιρετικού τρίτου ορίσματος.
quorem επιστρέφει την λίστα του πηλίκου και του υπολοίπου της Ευκλείδειας διαίρεσης του A με το B στο ℤ/pℤ[x] (δείτε επίσης 1.6.12 και 1.25.6).
Είσοδος :

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

ή :

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

Έξοδος:

[(-6%13)*x+-6%13,(-2%13)*x+-1%13]

Πράγματι x3+x2+1=(2x2+4)(x+1/2)+5x−4/4
και −3*4=−6*2=1 mod13.