|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.15.12 modwalk_lib
- Library:
- modwalk.lib
- Purpose:
- Groebner basis convertion
- Authors:
- S. Oberfranz oberfran@mathematik.uni-kl.de
- 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.12.1 modWalk standard basis conversion of I by Groebner Walk using modular methods D.15.12.2 modrWalk standard basis conversion of I by Random Walk using modular methods D.15.12.3 modfWalk standard basis conversion of I by Fractal Walk using modular methods D.15.12.4 modfrWalk standard basis conversion of I by Random Fractal Walk using modular methods