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