New Strategies for Standard Bases over Z

Abstract

Experiences with the implementation of strong Gröbner 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.