Comprehensive Gröbner Bases in a Java Computer Algebra System

Heinz Kredel ()
Additional contact information
Heinz Kredel: University of Mannheim, IT-Center

A chapter in Computer Mathematics, 2014, pp 93-108 from Springer

Abstract: Abstract We present an implementation of the algorithms for computing comprehensive Gröbner bases in a Java computer algebra system (JAS). Contrary to approaches to implement comprehensive Gröbner bases with minimal requirements to the computer algebra system, we aim to provide all necessary algebraic structures occurring in the algorithm. In the implementation of a condition we aim at the maximal semantic exploitation of the occurring algebraic structures: the set of equations that equal zero are implemented as an ideal (with Gröbner base computation) and the set of inequalities are implemented as a multiplicative set which is simplified to polynomials of minimal degrees using squarefree or irreducible decomposition. The performance of our implementation is compared on well-known examples. With our approach we can also make the transition of a comprehensive Gröbner system to a polynomial ring over a regular coefficient ring and test or compute Gröbner bases.

Keywords: Squarefree; Irreducible Decomposition; Polynomial Color; Ideal Membership Test; Parametric Polynomial (search for similar items in EconPapers)
Date: 2014
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-662-43799-5_9

Ordering information: This item can be ordered from
http://www.springer.com/9783662437995

DOI: 10.1007/978-3-662-43799-5_9

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().