|
5.1.66 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:
See
int;
matrix.
|