freegb.lib
LIB "freegb.lib"; ring r = 0,(x,y,z),dp; isFreeAlgebra(r); ==> 0 def R = freeAlgebra(r, 7); isFreeAlgebra(R); ==> 1