[top][index]
search for:

GradedModule -- the class of all graded modules

The type GradedModule is a member of the class Type. Each object of class GradedModule is called a graded module. Each graded module is also a member of class MutableHashTable.

More general types (whose methods may also apply) :

  • MutableHashTable -- the class of all mutable hash tables
  • HashTable -- the class of all hash tables
  • Types of graded module :

  • ChainComplex -- the class of all chain complexes
  • A new graded module can be made with 'M = new GradedModule'. The i-th module can be installed with a statement like M#i=N, and can be retrieved with an expression like M_i. The ground ring should be installed with a statement like M.ring = R.

    See also:

  • GradedModuleMap -- the class of all maps between graded modules
  • Functions and methods returning a a graded module :

  • ambient GradedModule
  • coimage GradedModuleMap
  • cokernel GradedModuleMap
  • cover GradedModule
  • gradedModule Sequence
  • GradedModule ** GradedModule
  • GradedModule ** Module
  • GradedModule ++ GradedModule
  • GradedModule ++ Module
  • GradedModule [...] -- degree shift
  • gradedModule List
  • gradedModule ChainComplex
  • gradedModule Module
  • HH ChainComplex -- homology of a chain complex
  • homology(Nothing,ChainComplex)
  • image GradedModuleMap
  • kernel GradedModuleMap
  • Module ** GradedModule
  • Module ++ GradedModule
  • prune GradedModule
  • super GradedModule
  • Methods for using a graded module :

  • ChainComplex ** GradedModule -- tensor product
  • chainComplex GradedModule -- make a chain complex from a graded module
  • complete GradedModule
  • components GradedModule
  • GradedModule ** ChainComplex -- tensor product
  • GradedModule == GradedModule
  • GradedModule _ ZZ
  • isDirectSum GradedModule
  • length GradedModule -- length of a graded module
  • map(GradedModule,GradedModule,Function)
  • net GradedModule
  • rank GradedModule
  • tensorAssociativity(GradedModule,GradedModule,GradedModule)

  • [top][index]
    search for: