The Quot scheme of n points of \mathcal{O}^p on \mathbb{P}^r embeds as a closed subscheme of the Grassmannian of rank n quotients of a push forward of \mathcal{O}(d)^p. This function gives the defining equations of this closed subscheme.
i1 : S=ZZ[x_0,x_1]; |
i2 : quotScheme(S^2,1,{0})
o2 = ideal(a a - a )
2 3 4
o2 : Ideal of ZZ[a ..a ]
1 4
|
The object quotScheme is a method function.