next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
FiniteFittingIdeals :: quotScheme

quotScheme -- Calculates the defining equations for Quot schemes of points

Synopsis

Description

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

See also

Ways to use quotScheme :