5.1.59 koszul
-------------
Syntax:
koszul ( int_expression, int_expression )

koszul ( int_expression, ideal_expression )

koszul ( int_expression, int_expression, ideal_expression )
Type:
matrix
Purpose:
koszul(d,n) computes a matrix of the Koszul relations of degree d of
the first n ring variables.

koszul(d,id) computes a matrix of the Koszul relations of degree d of
the generators of the ideal id.

koszul(d,n,id) computes a matrix of the Koszul relations of degree d of
the first n generators of the ideal id.

Note:
koszul(1,id),koszul(2,id),... form a complex, that is, the product
of the matrices koszul(i,id) and koszul(i+1,id) equals zero.
Example:
  ring r=32003,(x,y,z),dp;
  print(koszul(2,3));
==> -y,-z,0, 
==> x, 0, -z,
==> 0, x, y  
  ideal I=xz2+yz2+z3,xyz+y2z+yz2,xy2+y3+y2z;
  print(koszul(1,I));
==> xz2+yz2+z3,xyz+y2z+yz2,xy2+y3+y2z
  print(koszul(2,I));
==> -xyz-y2z-yz2,-xy2-y3-y2z,0,          
==> xz2+yz2+z3,  0,          -xy2-y3-y2z,
==> 0,           xz2+yz2+z3, xyz+y2z+yz2 
  print(koszul(2,I)*koszul(3,I));
==> 0,
==> 0,
==> 0 
See
int;
matrix.
<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
