modules.lib
LIB "modules.lib"; ring r; list L = 1,1,1; FreeModule F = freeModule(r,3,L); freeModule2Module(F); ==> R^3 ==> ==>