next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
TestIdeals
::
AssumeDomain
AssumeDomain -- an option to assume a ring is a domain
Functions with optional argument named AssumeDomain :
testElement(..., AssumeDomain => ...)
-- assumes the ring is a domain when finding a test element
testIdeal(..., AssumeDomain => ...)
-- assume the ring is a domain
testModule(..., AssumeDomain => ...), see
testIdeal(..., AssumeDomain => ...)
-- assume the ring is a domain
For the programmer
The object
AssumeDomain
is
a
symbol
.