|
5.1.149 syz
Syntax:
syz ( ideal_expression )
syz ( module_expression )
syz ( ideal_expression, string_expression )
syz ( module_expression, string_expression )
Type:
- module
Purpose:
- computes the first syzygy (i.e., the module of relations of the given
generators) of the ideal, resp. module.
An optional second argument specifies the Groebner base algorith to use.
Possible values are "std" and "slimgb" .
Example:
| ring R=0,(x,y),(c,dp);
ideal i=x,y;
syz(i);
==> _[1]=[y,-x]
|
See
hres;
ideal;
lift;
liftstd;
lres;
module;
mres;
nfmodsyz_lib;
nres;
res;
sres.
|