Singular

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