arr.lib
LIB "arr.lib"; ring R = 0,(x,y,z),dp; arr A = ideal(x+1, x,x-2,x-1); arrCone(A, y); ==> _[1]=x+y ==> _[2]=x ==> _[3]=x-2y ==> _[4]=x-y ==> _[5]=y ==> arr B= ideal(x,y,x+y-1); arrCone(B); ==> _[1]=x ==> _[2]=y ==> _[3]=x+y-z ==> _[4]=z ==>