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.