D.15.10 modwalk_lib

Library:

modwalk.lib

Purpose:

Groebner basis conversion

Authors:

S. Oberfranz [email protected]

Overview:

A library for converting Groebner bases of an ideal in the polynomial ring over the rational numbers using modular methods. The procedures are inspired by the following paper:
Elizabeth A. Arnold: Modular algorithms for computing Groebner bases. Journal of Symbolic Computation 35, 403-419 (2003).

Procedures:

D.15.10.1 modWalk		standard basis conversion of I by Groebner Walk using modular methods
D.15.10.2 modrWalk		standard basis conversion of I by Random Walk using modular methods
D.15.10.3 modfWalk		standard basis conversion of I by Fractal Walk using modular methods
D.15.10.4 modfrWalk		standard basis conversion of I by Random Fractal Walk using modular methods