canonicalIdeal(R)
Given a ring $R$, typically a domain, canonicalIdeal(R) produces an ideal isomorphic to the canonical module of $R$. It uses the function embedAsIdeal from Divisor.m2.
|
|
|
|
|
The function canonicalIdeal will not always produce the same ideal, especially in a non-domain.
|
|
The option Attempts is passed to embedAsIdeal, and tells it how many times to try to embed the canonical module as an ideal before giving up.
The object canonicalIdeal is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/TestIdeals/parameterTestIdealDoc.m2:41:0.