Definition at line 74 of file groebner.cpp.
78{
84}
Computes the kernel of a Schreyer-encoded GBMatrix and returns the syzygies in a Schreyer-compatible ...
gbvector-side matrix: a target FreeModule plus a list of gbvector* columns living in it.
References G, RingMap::M, Matrix, and GBMatrix::to_matrix().