|
 |
 |
 |
 |
 |
 |
 |
 |
 |
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