ISSN:
1432-0622
Schlagwort(e):
Standard bases
;
Syzygies
;
Computer algebra system
;
Highest corner
;
EcartMethod
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
,
Mathematik
,
Technik allgemein
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01190332
Permalink