Home Online Manual
Top
Back: swalk_lib
Forward: rswalk
FastBack:
FastForward:
Up: swalk_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.36.1 swalk

Procedure from library swalk.lib (see swalk_lib).

Usage:
swalk(i[,v,w]); i ideal, v,w int vectors

Return:
The sagbi basis of the subalgebra defined by the generators of i, calculated via the Sagbi walk algorithm from the ordering dp to lp if v,w are not given (resp. from the ordering (a(v),lp) to the ordering (a(w),lp) if v and w are given).

Example:
 
LIB "swalk.lib";
ring r = 0,(x,y), lp;
ideal I =x2,y2,xy+y,2xy2+y3;
swalk(I);
==> _[1]=x2
==> _[2]=y2
==> _[3]=xy+y
==> _[4]=xy2
==> _[5]=y3