arguments: a:ringelem b:ringelem >> ringelem
Compute the remainder of dividing a by b, if division is defined in the ring of a and b.
Go to main index.
Go to concepts index.