modules.lib
LIB "modules.lib"; ring R = 0,(x,y,z),dp; FreeModule F = freeModule(R,3,0); F; ==> 3 ==> R ==> free Module ==> Degrees of the generators: {0} {0} {0} ==> tensorFreeModule(F,F); ==> 9 ==> R ==> free Module ==>