Ring / (...) -- quotient ring

Ring / (...) -- quotient ring

Synopsis:

Usage: S = R/(f,g,h,...)

Operator: / -- a binary operator, usually used for division

Input:

R, an instance of class Ring.

(f,g,h,...), an instance of class Sequence: a sequence of elements of R

Output:

S, an instance of class QuotientRing: the quotient ring R/(Rf+Rg+Rh+...).

Code:

     -- ../../../Macaulay2/m2/quotring.m2:199
     Ring / RingElement := Ring / List := Ring / Sequence := QuotientRing => (R,f) -> R / ideal f