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