basis_module_syz( PS gb)

Type:

Function

Defined in:

syz.c

Computes a basis of the module of syzygies of the vector gb, i.e. a basis of the module

gb must be a Gröbner basis, otherwise an error is reported.