|  |  D.7.2.8 sortier Procedure from libraryainvar.lib(see  ainvar_lib).
 
Example: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
 | 
 |