### D.2.2 compregb_lib

Library:
  compregb.lib
Purpose:
  experimental implementation for comprehensive Groebner systems
Author:
  Akira Suzuki (http://kurt.scitec.kobe-u.ac.jp/~sakira/CGBusingGB/) (<sakira@kobe-u.ac.jp>)

Overview:
  see "A Simple Algorithm to compute Comprehensive Groebner Bases using Groebner Bases" by Akira Suzuki and Yosuke Sato for details.

Procedures:

> D.2.2.1 cgs |  | comprehensive Groebner systems
> D.2.2.2 base2str |  | pretty print of the result G

User manual for Singular version 4.4.1, 2025, generated by texi2html.