English

New Strategies for Standard Bases over Z

Commutative Algebra 2016-09-15 v1

Abstract

Experiences with the implementation of strong Gr\"obner bases respectively standard bases for polynomial rings over principal ideal rings are explained: different strategies for creating the pair set, methods to avoid coefficient growth and a normal form algorithm for non-global orderings.

Keywords

Cite

@article{arxiv.1609.04257,
  title  = {New Strategies for Standard Bases over Z},
  author = {Christian Eder and Gerhard Pfister and Adrian Popescu},
  journal= {arXiv preprint arXiv:1609.04257},
  year   = {2016}
}