Improving the DISPGB algorithm using the discriminant ideal. In this paper we use Weispfenning’s CCGB ideas to make substantial improvements on Montes’ DISPGB algorithm. It now includes rewriting of the discussion tree using the discriminant ideal and provides a compact and effective discussion. We also describe the new algorithms in the DPGB library containing the improved DISPGB as well as new routines for checking whether a given basis is a CGB or not, and for obtaining a CGB. Examples and tests are also provided.
Keywords for this software
References in zbMATH (referenced in 11 articles )
Showing results 1 to 11 of 11.
- Hashemi, Amir; Dehghani Darmian, Mahdi; Barkhordar, Marzieh: Gröbner systems conversion (2017)
- Kapur, Deepak: Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm (2017)
- Kredel, Heinz: Comprehensive Gröbner bases in a Java computer algebra system (2014)
- Darmian, Mahdi Dehghani; Hashemi, Amir; Montes, Antonio: Erratum to “A new algorithm for discussing Gröbner bases with parameters” [J. Symbolic Comput. 33 (1-2) (2002) 183-208] (2011)
- Sato, Yosuke; Inoue, Shutaro; Suzuki, Akira; Nabeshima, Katsusuke; Sakai, Ko: Boolean Gröbner bases (2011)
- Montes, Antonio; Wibmer, Michael: Gröbner bases for polynomial systems with parameters (2010)
- Nabeshima, Katsusuke: On the computation of parametric Gröbner bases for modules and syzygies (2010)
- Jin, Meng: Properties of regular systems and algorithmic improvements for regular decomposition (2009)
- Manubens, Montserrat; Montes, Antonio: Minimal canonical comprehensive Gröbner systems (2009)
- Lazard, Daniel; Rouillier, Fabrice: Solving parametric polynomial systems (2007)
- Manubens, Montserrat; Montes, Antonio: Improving the DISPGB algorithm using the discriminant ideal (2006)