I = degenerateK3(a,b,e)
I = degenerateK3(a,b,t)
The routine computes the homogeneous ideal of the degenerate K3 surface in $\mathbb P^{a+b+1}$ associated as in HREF{y}{x} to a polynomial $$p(z)=z^2-e_1z+e_2=(z-t_1)(z-t_2)$$ In case $p(z)=(z-1)^2$ it coincides with carpet(a,b).
|
|
|
|
|
|
|
|
The object degenerateK3 is a method function with options.
The source of this document is in K3Carpets.m2:1102:0.