getZeroDivisor -- retrieve a previously discovered zero divisor

getZeroDivisor -- retrieve a previously discovered zero divisor

Synopsis:

Usage: r = getZeroDivisor R

Input:

R: a ring in which a zero-divisor has been found

Output:

r: the zero divisor

See also:

toField -- declare that a ring is a field

getNonUnit -- retrieve a previously discovered non-unit

Code:

     -- ../../../Macaulay2/m2/quotring.m2:312-318
     getZeroDivisor = R -> (
          if R.?Engine and R.Engine then (
               sendgg(ggPush R, gggetzerodivisor);
               r := R.pop();
               if r != 0 then r
               )
          )