7.5.18 ncModslimgb_lib

Library:

ncModslimgb.lib

Purpose:

A library for computing Groebner bases over G-algebras defined over the rationals using modular techniques.

Authors:

Wolfram Decker, Christian Eder, Viktor Levandovskyy, and Sharwan K. Tiwari [email protected]

References:

Wolfram Decker, Christian Eder, Viktor Levandovskyy, and Sharwan K. Tiwari, Modular Techniques For Noncommutative Groebner Bases, https://link.springer.com/article/10.1007/s11786-019-00412-9 and https://arxiv.org/abs/1704.02852.

E. A. Arnold, Modular algorithms for computing Groebner bases. Journal of Symbolic Computation 35, 403-419 (2003).

N. Idrees, G. Pfister, S. Steidel, Parallelization of Modular Algorithms, Journal of Symbolic Computation 46, 672-684 (2011).

Procedures:

7.5.18.0. ncmodslimgb

Groebner basis of a given left ideal I using modular methods (Chinese remainder theorem and Farey map).