D.7.2.8 sortier

Usage:

sortier(id); id ideal/module

Return:

the same ideal/module but with generators ordered by their leading terms, starting with the smallest

LIB "ainvar.lib";
ring q=0,(x,y,z,u,v,w),dp;
ideal i=w,x,z,y,v;
sortier(i);
==> _[1]=w
==> _[2]=v
==> _[3]=z
==> _[4]=y
==> _[5]=x