Macaulay2 » Documentation
Packages » Divisor :: KnownDomain
next | previous | forward | backward | up | index | toc

KnownDomain -- an option used to specify to certain functions that we know that the ring is a domain


If true, then some functions will not check whether or not the ring is domain, they will assume it and proceed.

Functions with optional argument named KnownDomain :

For the programmer

The object KnownDomain is a symbol.