doubling(d, I)
Let $R = S/I$, and $w_R = \operatorname{Ext}^c(R, S^{-n-1})$, where $c$ is the codimension of $I$ and $n+1$ is the number of variables of the polynomial ring $S$.
If there exists an injective homomorphism $f \colon w_R \to R$ of degree $d$, this function returns the ideal defining the cokernel of a random such map. If none exist, null is returned. If after trying the number of trials given by the optional argument Count, none that are injective can be found (this is very unlikely), null is also returned. Setting the global variable debugLevel to a positive value will let you know how many times it took to find one (if it didn't find it right away).
If $S/I$ is arithmetically Cohen-Macaulay of codimension $c$, then the cokernel of $f$ will be arithmetically Gorenstein of codimension $c+1$.
See section 2.5 of [QQ] for more details and references.
|
|
|
|
|
|
Here are some doublings of the Veronese surface
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The object doubling is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/QuaternaryQuartics.m2:817:0.