Basic invariants and properties -- information about accessing basic features

Predicates for simplicial modules and simplicial module maps

• isWellDefined(SimplicialModule) -- whether a simplicial module is well-defined
• isWellDefined(SimplicialModuleMap) -- whether a map of simplicial modules is well-defined
• isCommutative(SimplicialModuleMap) -- whether a simplicial module map commutes with the face/degeneracy maps
• isSimplicialMorphism(SimplicialModuleMap) -- whether a simplicial module map is a morphism of simplicial modules
• isShortExactSequence(SimplicialModuleMap,SimplicialModuleMap) -- whether a pair of simplicial module maps forms a short exact sequence

Other invariants for simplicial modules

• ring(SimplicialModule) -- access the ring of a simplicial module or a simplicial module map
• topDegree(SimplicialModule) -- top degree of a simplicial module
• components(SimplicialModule) -- list the components of a direct sum

Other invariants for simplicial module maps

• source(SimplicialModuleMap) -- get the source of a map of simplicial modules
• target(SimplicialModuleMap) -- get the target of a map of simplicial modules
• degree(SimplicialModuleMap) -- get the degree of a map of simplicial modules
• ring(SimplicialModuleMap) -- access the ring of a simplicial module or a simplicial module map
• isHomogeneous(SimplicialModuleMap) -- whether a map of simplicial modules is homogeneous
• components(SimplicialModuleMap) -- list the components of a direct sum