We report on some experience with a new version of the well known Gröbner algorithm with factorization and constraint inequalities, implemented in our REDUCE package CALI, . We discuss some of its details and present run time comparisons with other existing implementations on well splitting examples.
Appeared / Erschienen in:
Computer Algebra in Science and Engineering (ed. Fleischer, Grabmeier, Hehl, Küchlin). World Scientific Singapore 1995, S. 77 - 89.
Pubdate / Erscheinungsdatum: