SimplicialModules : Index

• - SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• arithmetic with simplicial module maps -- perform arithmetic operations on simplicial module maps
• Basic invariants and properties -- information about accessing basic features
• Boundary -- a random map of simplicial modules
• CheckComplex -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• CheckSum -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• coimage(SimplicialModuleMap) -- make the coimage of a map of simplicial modules
• cokernel(SimplicialModuleMap) -- make the cokernel of a map of simplicial modules
• Complex ** SimplicialModule -- tensor product of simplicial modules
• Complex ** SimplicialModuleMap -- the map of simplicial modules between tensor simplicial modules
• complexLength -- the class of all simplicial modules
• complexMap -- the class of all maps between simplicial modules
• ComplexMap ** SimplicialModuleMap -- the map of simplicial modules between tensor simplicial modules
• components(SimplicialModule) -- list the components of a direct sum
• components(SimplicialModuleMap) -- list the components of a direct sum
• Cycle -- a random map of simplicial modules
• Degeneracy -- the class of all simplicial modules
• degree(SimplicialModuleMap) -- get the degree of a map of simplicial modules
• directSum(SimplicialModule) -- direct sum of simplicial modules
• directSum(SimplicialModuleMap) -- direct sum of simplicial module maps
• exteriorInclusion -- computes the image of the 2nd exterior power into the tensor product
• exteriorInclusion(Complex) -- computes the image of the 2nd exterior power into the tensor product
• exteriorInclusion(Complex,ZZ) -- computes the image of the 2nd exterior power into the tensor product
• exteriorInclusion(Module) -- computes the image of the 2nd exterior power into the tensor product
• exteriorInclusion(SimplicialModule) -- computes the image of the 2nd exterior power into the tensor product
• extPower -- compute the Dold-Puppe extension of the exterior power functor to simplicial modules
• extPower(...,Degeneracy=>...) -- whether to compute degeneracy maps
• extPower(...,TopDegree=>...) -- top degree for the construction
• extPower(ZZ,Complex) -- compute the Dold-Puppe extension of the exterior power functor to simplicial modules
• extPower(ZZ,ComplexMap) -- compute the Dold-Puppe extension of the exterior power functor to simplicial modules
• extPower(ZZ,SimplicialModule) -- compute the Dold-Puppe extension of the exterior power functor to simplicial modules
• extPower(ZZ,SimplicialModuleMap) -- compute the Dold-Puppe extension of the exterior power functor to simplicial modules
• face/degeneracy maps of a simplicial module -- access the face and degeneracy maps of a simplicial module
• forgetComplex -- forget the underlying complex data of a simplicial module obtained as a Dold-Kan image
• forgetComplex(...,RememberSummands=>...) -- whether to remember direct sum structure
• forgetComplex(SimplicialModule) -- forget the underlying complex data of a simplicial module obtained as a Dold-Kan image
• forgetDegeneracy -- forget the data of degeneracy maps of a simplicial object
• forgetDegeneracy(SimplicialModule) -- forget the data of degeneracy maps of a simplicial object
• id _ SimplicialModule -- the identity map of a simplicial module
• image(SimplicialModuleMap) -- make the image of a map of simplicial modules
• inducedMap(...,Degree=>...) -- specify the degree of an induced map of simplicial modules
• inducedMap(SimplicialModule,SimplicialModule) -- make the map of simplicial modules induced at each term by the identity map
• InternalDegree -- a random map of simplicial modules
• isCommutative(SimplicialModuleMap) -- whether a simplicial module map commutes with the face/degeneracy maps
• isHomogeneous(SimplicialModuleMap) -- whether a map of simplicial modules is homogeneous
• isShortExactSequence(SimplicialModuleMap,SimplicialModuleMap) -- whether a pair of simplicial module maps forms a short exact sequence
• isSimplicialModule -- check if the simplicial identities hold for a simplicial object with degeneracy map keys
• isSimplicialModule(SimplicialModule) -- check if the simplicial identities hold for a simplicial object with degeneracy map keys
• isSimplicialMorphism -- whether a simplicial module map is a morphism of simplicial modules
• isSimplicialMorphism(SimplicialModuleMap) -- whether a simplicial module map is a morphism of simplicial modules
• isWellDefined(SimplicialModule) -- whether a simplicial module is well-defined
• isWellDefined(SimplicialModuleMap) -- whether a map of simplicial modules is well-defined
• kernel(SimplicialModuleMap) -- make the kernel of a map of simplicial modules
• Making maps between simplicial modules -- information about the basic constructors
• Making simplicial modules -- information about the basic constructors
• map(...,Degree=>...) -- specify the degree of a map of simplicial modules
• map(...,DegreeLift=>...) -- unused option for maps of simplicial modules
• map(...,DegreeMap=>...) -- unused option for maps of simplicial modules
• map(SimplicialModule,SimplicialModule,HashTable) -- make a map of simplicial modules
• map(SimplicialModule,SimplicialModule,SimplicialModuleMap) -- make a new map of simplicial modules, induced from an existing one
• map(SimplicialModule,SimplicialModule,ZZ) -- make the zero map or identity between simplicial modules
• Matrix ** SimplicialModule -- create the tensor product of a simplicial module and a map of modules
• minimalPresentation(...,Exclude=>...) -- exclude option for minimal presentation
• minimalPresentation(SimplicialModule) -- minimal presentation of all terms in a simplicial module
• minimalPresentation(SimplicialModuleMap) -- minimal presentation of all terms in a simplicial module
• Module ** SimplicialModule -- tensor product of simplicial modules
• Module ** SimplicialModuleMap -- the map of simplicial modules between tensor simplicial modules
• naiveNorm -- compute the naive normalization of a simplicial object
• naiveNorm(Complex,ZZ) -- compute the naive normalization of a simplicial object
• naiveNorm(SimplicialModule) -- compute the naive normalization of a simplicial object
• naiveNorm(SimplicialModule,ZZ) -- compute the naive normalization of a simplicial object
• normalize(SimplicialModule) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModule,CheckComplex=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModule,CheckSum=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModule,ZZ) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModule,ZZ,CheckComplex=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModule,ZZ,CheckSum=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap,CheckComplex=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap,CheckSum=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap,ZZ) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap,ZZ,CheckComplex=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• normalize(SimplicialModuleMap,ZZ,CheckSum=>...) -- normalization functor from simplicial modules to nonnegatively-graded chain complexes
• Number * SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• Number + SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• Number - SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• prune(SimplicialModule) -- minimal presentation of all terms in a simplicial module
• prune(SimplicialModuleMap) -- minimal presentation of all terms in a simplicial module
• randomSimplicialMap -- a random map of simplicial modules
• randomSimplicialMap(...,Boundary=>...) -- a random map of simplicial modules
• randomSimplicialMap(...,Cycle=>...) -- a random map of simplicial modules
• randomSimplicialMap(...,Degree=>...) -- a random map of simplicial modules
• randomSimplicialMap(...,InternalDegree=>...) -- a random map of simplicial modules
• randomSimplicialMap(SimplicialModule,SimplicialModule) -- a random map of simplicial modules
• RememberSummands -- forget the underlying complex data of a simplicial module obtained as a Dold-Kan image
• Ring ** SimplicialModule -- tensor a simplicial module along a ring map
• Ring ** SimplicialModuleMap -- tensor a map of simplicial modules along a ring map
• ring(SimplicialModule) -- access the ring of a simplicial module or a simplicial module map
• ring(SimplicialModuleMap) -- access the ring of a simplicial module or a simplicial module map
• RingElement * SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• RingElement + SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• RingElement - SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• RingMap ** SimplicialModule -- tensor a simplicial module along a ring map
• RingMap ** SimplicialModuleMap -- tensor a map of simplicial modules along a ring map
• RingMap SimplicialModule -- apply a ring map to a simplicial module
• RingMap SimplicialModuleMap -- apply a ring map to a map of simplicial modules
• schurMap -- construct the Dold-Puppe extension of the Schur functor
• schurMap(...,Degeneracy=>...) -- whether to compute degeneracy maps
• schurMap(...,TopDegree=>...) -- top degree for the construction
• schurMap(List,Complex) -- construct the Dold-Puppe extension of the Schur functor
• schurMap(List,ComplexMap) -- construct the Dold-Puppe extension of the Schur functor
• schurMap(List,SimplicialModule) -- construct the Dold-Puppe extension of the Schur functor
• schurMap(List,SimplicialModuleMap) -- construct the Dold-Puppe extension of the Schur functor
• SimplicialModule -- the class of all simplicial modules
• simplicialModule -- make a simplicial module
• SimplicialModule ** Complex -- tensor product of simplicial modules
• SimplicialModule ** Matrix -- create the tensor product of a simplicial module and a map of modules
• SimplicialModule ** Module -- tensor product of simplicial modules
• SimplicialModule ** Ring -- tensor a simplicial module along a ring map
• SimplicialModule ** RingMap -- tensor a simplicial module along a ring map
• SimplicialModule ** SimplicialModule -- tensor product of simplicial modules
• SimplicialModule ** SimplicialModuleMap -- the map of simplicial modules between tensor simplicial modules
• SimplicialModule ++ SimplicialModule -- direct sum of simplicial modules
• SimplicialModule == SimplicialModule -- whether two simplicial modules are equal
• SimplicialModule == ZZ -- whether two simplicial modules are equal
• SimplicialModule ^ Array -- the canonical inclusion or projection map of a direct sum
• SimplicialModule _ Array -- the canonical inclusion or projection map of a direct sum
• SimplicialModule _ Sequence -- access individual objects of a simplicial module
• SimplicialModule _ ZZ -- access individual objects of a simplicial module
• SimplicialModule Array -- shift a simplicial module or simplicial module map
• simplicialModule(...,Degeneracy=>...) -- whether to compute degeneracy maps
• simplicialModule(Complex) -- compute the image of a non-negatively graded complex under the Dold-Kan correspondence
• simplicialModule(Complex,HashTable,HashTable,ZZ) -- make a simplicial module
• simplicialModule(Complex,HashTable,ZZ) -- make a simplicial module
• simplicialModule(Complex,ZZ) -- compute the image of a non-negatively graded complex under the Dold-Kan correspondence
• simplicialModule(HashTable,HashTable,HashTable,ZZ) -- make a simplicial module
• simplicialModule(HashTable,HashTable,ZZ) -- make a simplicial module
• simplicialModule(Ideal,ZZ) -- make a simplicial module associated to a complex concentrated in degree 0
• simplicialModule(Module,ZZ) -- make a simplicial module associated to a complex concentrated in degree 0
• simplicialModule(Ring,ZZ) -- make a simplicial module associated to a complex concentrated in degree 0
• SimplicialModuleMap -- the class of all maps between simplicial modules
• SimplicialModuleMap * Number -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap * RingElement -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap * SimplicialModuleMap -- composition of homomorphisms of simplicial modules
• SimplicialModuleMap ** Complex -- the map of simplicial modules between tensor simplicial modules
• SimplicialModuleMap ** ComplexMap -- the map of simplicial modules between tensor simplicial modules
• SimplicialModuleMap ** Module -- the map of simplicial modules between tensor simplicial modules
• SimplicialModuleMap ** Ring -- tensor a map of simplicial modules along a ring map
• SimplicialModuleMap ** RingMap -- tensor a map of simplicial modules along a ring map
• SimplicialModuleMap ** SimplicialModule -- the map of simplicial modules between tensor simplicial modules
• SimplicialModuleMap ** SimplicialModuleMap -- the map of simplicial modules between tensor simplicial modules
• SimplicialModuleMap + Number -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap + RingElement -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap + SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap ++ SimplicialModuleMap -- direct sum of simplicial module maps
• SimplicialModuleMap - Number -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap - RingElement -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap - SimplicialModuleMap -- perform arithmetic operations on simplicial module maps
• SimplicialModuleMap == SimplicialModuleMap -- whether two simplicial module maps are equal
• SimplicialModuleMap == ZZ -- whether two simplicial module maps are equal
• SimplicialModuleMap ^ Array -- the composition with the canonical inclusion or projection map
• SimplicialModuleMap ^ ZZ -- the n-fold composition
• SimplicialModuleMap _ Array -- the composition with the canonical inclusion or projection map
• SimplicialModuleMap _ Sequence -- access individual matrices in a simplicial module map
• SimplicialModuleMap _ ZZ -- access individual matrices in a simplicial module map
• SimplicialModuleMap | SimplicialModuleMap -- join or concatenate maps horizontally
• SimplicialModuleMap || SimplicialModuleMap -- join or concatenate maps vertically
• SimplicialModuleMap Array -- shift a simplicial module or simplicial module map
• SimplicialModules -- A package for creating and computing objects in the category of Simplicial R-Modules
• simplicialTensor -- compute the simplicial tensor product and cache direct sum indices for easy access
• simplicialTensor(...,Degeneracy=>...) -- whether to compute degeneracy maps
• simplicialTensor(...,TopDegree=>...) -- top degree for the construction
• simplicialTensor(Complex,Complex) -- compute the simplicial tensor product and cache direct sum indices for easy access
• simplicialTensor(ComplexMap,ComplexMap) -- compute the simplicial tensor product and cache direct sum indices for easy access
• simplicialTensor(List) -- compute the simplicial tensor product and cache direct sum indices for easy access
• simplicialTensor(ZZ,Complex) -- compute the simplicial tensor product and cache direct sum indices for easy access
• simplicialTensor(ZZ,SimplicialModule) -- compute the simplicial tensor product and cache direct sum indices for easy access
• source(SimplicialModuleMap) -- get the source of a map of simplicial modules
• ss -- access the face and degeneracy maps of a simplicial module
• summandSurjection -- compute the image of a non-negatively graded complex under the Dold-Kan correspondence
• Symbol ^ SimplicialModule -- access the face and degeneracy maps of a simplicial module
• symmetricQuotient -- computes the image of the surjection from the simplicial tensor product onto the second symmetric power of a simplicial module
• symmetricQuotient(Complex) -- computes the image of the surjection from the simplicial tensor product onto the second symmetric power of a simplicial module
• symmetricQuotient(Complex,ZZ) -- computes the image of the surjection from the simplicial tensor product onto the second symmetric power of a simplicial module
• symmetricQuotient(Module) -- computes the image of the surjection from the simplicial tensor product onto the second symmetric power of a simplicial module
• symmetricQuotient(SimplicialModule) -- computes the image of the surjection from the simplicial tensor product onto the second symmetric power of a simplicial module
• target(SimplicialModuleMap) -- get the target of a map of simplicial modules
• tensor(RingMap,SimplicialModule) -- tensor a simplicial module along a ring map
• tensor(RingMap,SimplicialModuleMap) -- tensor a map of simplicial modules along a ring map
• tensor(SimplicialModule,RingMap) -- tensor a simplicial module along a ring map
• tensor(SimplicialModuleMap,RingMap) -- tensor a map of simplicial modules along a ring map
• tensor(SimplicialModuleMap,SimplicialModuleMap) -- the map of simplicial modules between tensor simplicial modules
• tensorLES -- computes the long exact sequence of homology induced by the canonical short exact sequence of complexes
• tensorLES(Complex,ZZ) -- computes the long exact sequence of homology induced by the canonical short exact sequence of complexes
• tensorwithComponents -- compute the tensor product of direct summands, caching the components for easy access
• tensorwithComponents(List) -- compute the tensor product of direct summands, caching the components for easy access
• tensorwithComponents(Matrix,Matrix) -- compute the tensor product of direct summands, caching the components for easy access
• tensorwithComponents(Module,Module) -- compute the tensor product of direct summands, caching the components for easy access
• The Dold-Kan Correspondence in Macaulay2 -- compute the image of a non-negatively graded complex under the Dold-Kan correspondence
• TopDegree -- construct the Dold-Puppe extension of the Schur functor
• topDegree -- top degree of a simplicial module
• topDegree(SimplicialModule) -- top degree of a simplicial module
• topDegree(SimplicialModuleMap) -- top degree of a simplicial module
• truncate(List,SimplicialModule) -- truncation of a simplicial module at a specified degree or set of degrees
• truncate(List,SimplicialModuleMap) -- truncation of a simplicial module map at a specified degree or set of degrees
• truncate(ZZ,SimplicialModule) -- truncation of a simplicial module at a specified degree or set of degrees
• truncate(ZZ,SimplicialModuleMap) -- truncation of a simplicial module map at a specified degree or set of degrees
• ZZ == SimplicialModule -- whether two simplicial modules are equal
• ZZ == SimplicialModuleMap -- whether two simplicial module maps are equal