ISSN:
1432-0622
Keywords:
Standard bases
;
Syzygies
;
Computer algebra system
;
Highest corner
;
EcartMethod
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
,
Technology
Notes:
Abstract We describe an implementation of a general standard basis algorithm, valid for any monomial ordering compatible with the natural semigroup structure. We concentrate on new strategies which have proved useful, in particular in the non-wellordering case. Moreover, we describe the first implementation of Schreyer's method to compute syzygies and compare it with other, more classical methods. Comparisons of the computing time of several examples in the system SINGULAR give hints as to which strategies should be used in different classes of examples.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01190332
Permalink