AmbRing -- An option used to tell divisor construction that a particular ambient ring is expected.
Description
If set to a ring, then when calling divisor, the primes are all checked whether they are ideals in that ring.
Functions with optional argument named AmbRing :
divisor(..., AmbRing => ...), see divisor -- Define the Weil divisor as a formal sum of height one prime ideals
rationalDivisor(..., AmbRing => ...), see rationalDivisor -- Define the divisor as a formal sum of height one prime ideals whose coefficients are rational numbers
realDivisor(..., AmbRing => ...), see realDivisor -- Define the divisor as a formal sum of height one prime ideals whose coefficients are real numbers