ainvar.lib
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