GradedModuleMap

GradedModuleMap -- the class of all maps between graded modules.

Operations on graded module maps:

Producing graded module maps:

  • gradedModuleMap

    • See also GradedModule.

    topindexpreviousupnext