Home Online Manual
Top
Back: all_lib
Forward: cgs
FastBack: standard_lib
FastForward: general_lib
Up: General purpose
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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