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

Synopsis

Usage:

quotScheme(Q,n,L)
Inputs:
- Q, a module
- n, an integer
- L, a list
Outputs:
- an ideal

Description

The Quot scheme of n points of O^p 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

Ways to use `quotScheme` :

quotScheme(Module,ZZ,List)

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

Synopsis

Description

See also

Ways to use quotScheme :

Ways to use `quotScheme` :