D.6.2.8 sortier

Procedure from library ainvar.lib (see ainvar_lib).

Usage:

sortier(id); id ideal/module

Return:

the same ideal/module but with generators ordered by there leading term, starting with the smallest

Example:

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