The Quot scheme of n points of Op on ℙr embeds as a closed subscheme of the Grassmannian of rank n quotients of a push forward of 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 , a , a ] 1 2 3 4 |