Home Online Manual
Top
Back: testNclocExamples
Forward: ncmodslimgb
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.5.17 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 shrawant@gmail.com

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.17.0. ncmodslimgb  Groebner basis of a given left ideal I using modular methods (Chinese remainder theorem and Farey map).