Reduced division with remainder (normal form) ensuring unique remainders for Gröbner bases

Class:
Algorithm