[top][index]
search for:

isDirectSum -- whether something is a direct sum

Works for modules, graded modules, etc. The components of the sum can be recovered with components.

Ways to use isDirectSum :

  • isDirectSum ChainComplex
  • isDirectSum GradedModule
  • isDirectSum Module

  • [top][index]
    search for: