gradedModules.lib
LIB "gradedModules.lib"; ring r=32003,(x,y,z),dp; // grview(grpower( grshift(grzero(), 10), 5 ) ); grview( grtwist (5, 10) ); ==> Graded homomorphism: r(10)^5 <- 0, given by zero (5 x 0) matrix.