1: \begin{abstract}

2:   The Gr\"obner walk is an algorithm for conversion between Gr\"obner 

3:   bases for different term orders. It is based on the polyhedral 

4:   geometry of the Gr\"obner fan and involves tracking a line between 

5:   cones representing the initial and target term order.

6:   An important parameter is explicit numerical perturbation of this line. 

7:   This usually involves both time and space demanding arithmetic of 

8:   integers much larger than the input numbers.

9:   In this paper we show how the explicit line may be replaced by a formal line 

10:   using Robbiano's characterization of group orders on $\QQ^n$.

11:   This gives rise to the generic Gr\"obner walk involving only 

12:   Gr\"obner basis conversion over facets and computations with marked 

13:   polynomials. 

14:   The infinite precision integer arithmetic is replaced by term order 

15:   comparisons between (small) integral vectors. This makes it possible

16:   to compute with infinitesimal numbers and perturbations in a consistent 

17:   way without introducing unnecessary long integers.   

18:   The proposed technique is closely related to the lexicographic 

19:   (symbolic) perturbation method used in optimization and computational

20:   geometry. We report on computations with toric

21:   ideals, where a version of our algorithm in certain cases

22:   computes test sets for hard integer knapsack problems significantly faster 

23:   than the Buchberger algorithm.

24:   

25: \end{abstract}

26: