Ideal quotient I:J via intersection trick and principal quotients using Gröbner bases

Class:
Algorithm