Ring / RingElement -- quotient ring

Ring / RingElement -- quotient ring

Synopsis:

Usage: S = R/f

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

Input:

R, an instance of class Ring.

f, an instance of class RingElement: an element of R

Output:

S, an instance of class QuotientRing: the quotient ring R/Rf.

Code:

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