arr.lib
LIB "arr.lib"; ring R = 0,(x,y,z),lp; arr A = ideal(x+1,x+y,z); arrSwapVar(A,x,z); ==> _[1]=z+1 ==> _[2]=y+z ==> _[3]=x ==>