Top
Back: freemodule
Forward: gcd
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.

Top Back: freemodule Forward: gcd FastBack: Functions and system variables FastForward: Control structures Up: Functions Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.