arr.lib
LIB "arr.lib"; ring R = 0,(x,y,z),dp; arr A3 = arrBoolean(3); arr B3 = arrTypeB(3); arr G = ideal(x,y,z,x+y+z); arrIsFree(A3); ==> 1 arrIsFree(B3); ==> 1 arrIsFree(G); ==> 0