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

## Synopsis

• Usage:
quotScheme(Q,n,L)
• Inputs:
• Outputs:

## Description

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