C = janetResolution M
The computed Janet basis for each homological degree can be extracted with janetBasis.
The sets of multiplicative variables can also be extracted from the Janet basis in each homological degree with multVar.
Note that janetResolution can be combined with freeResolution: when providing the option 'Strategy => Involutive' to freeResolution, janetResolution constructs the resolution.
|
|
|
|
|
|
|
|
The object janetResolution is a method function.
The source of this document is in InvolutiveBases.m2:1207:0.