|
5.1.42 frwalk
Syntax:
frwalk ( ring_name, ideal_name )
frwalk ( ring_name, ideal_name , int_expression )
Type:
- ideal
Purpose:
- computes for the ideal
ideal_name in the ring ring_name
a Groebner basis in the current ring, by applying the fractal walk
algorithm.
The main application is to compute a lexicographical Groebner basis
from a reduced Groebner basis with respect to a degree ordering. This
can be much faster than computing a lexicographical Groebner basis
directly.
Note:
- When calling
frwalk , the only permissible difference between the ring
ring_name and the active base ring is the monomial ordering.
Example:
See
fglm;
groebner;
qring;
ring;
std.
|