next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
Divisor
::
KnownNormal
KnownNormal -- An option used to specify to certain functions that we know that the ambient ring is normal.
Description
If true, then some functions will not check whether or not an ambient ring is normal, they will assume it and proceed.
Functions with optional argument named KnownNormal :
dualizeIdeal(..., KnownNormal => ...), see
dualizeIdeal
-- Finds an ideal isomorphic to Hom(I, R)
reflexifyIdeal(..., KnownNormal => ...), see
reflexifyIdeal
-- Calculate the double dual of an ideal
For the programmer
The object
KnownNormal
is
a
symbol
.