Construction of involutive monomial sets for different involutive divisions. (English) Zbl 1072.13508

Gerdt, Vladimir P.; Kornyak, Vladimir V.; Berth, Matthias

Ganzha, V. G. (ed.) et al., Computer algebra in scientific computing. CASC ’99. Proceedings of the 2nd workshop, Munich, Germany, May 31 - June 4, 1999. Berlin: Springer (ISBN 3-540-66047-X). 147-157 (1999).

Summary: We consider computation and implementation issues for the completion of monomial sets to involution using different involutive divisions. Each of these divisions produces its own completion procedure. For the polynomial case it yields an involutive basis which is a special form of the Gröbner basis. We also compare our Mathematica implementation of the Janet division to an implementation in C.
For the entire collection see [Zbl 0918.00031].

MSC:

13P99	Computational aspects and applications of commutative rings
68W30	Symbolic computation and algebraic computation

Software:

MinimalInvolutiveMonomialBasis; Mathematica