TensorComplexes : Table of Contents

• TensorComplexes -- multilinear algebra for the construction of tensor complexes
• basisList -- gives the list used to label the basis elements of a labeled module
• cauchyMap -- produces one surjection from the Cauchy decomposition of the exterior power of a tensor product
• exteriorPower(ZZ,LabeledModule) -- Exterior power of a @TO LabeledModule@
• flattenedESTensor -- make a flattened tensor from elementary symmetric functions
• flattenedGenericTensor -- Make a generic tensor of given format
• fromOrdinal -- outputs the label of a basis element of a labeled module
• hyperdeterminant -- computes the hyperdeterminant of a boundary format tensor
• hyperdeterminantMatrix -- computes a matrix whose determinant equals the hyperdeterminant of a boundary format tensor
• LabeledModule -- the class of free modules with a labeled basis
• labeledModule -- makes a labeled module
• LabeledModuleMap -- the class of maps between LabeledModules
• map(LabeledModule,LabeledModule,Function) -- create a LabeledModuleMap by specifying a function that gives each entry
• map(LabeledModule,LabeledModule,LabeledModuleMap) -- creates a new LabeledModuleMap from a given LabeledModuleMap
• map(LabeledModule,LabeledModule,List) -- creates a LabeledModuleMap from a list
• map(LabeledModule,LabeledModule,Matrix) -- creates a LabeledModuleMap from a matrix
• map(LabeledModule,LabeledModule,ZZ) -- creates scalar multiplication by an integer as a LabeledModuleMap
• minorsMap -- creates a map of labeled free modules whose image is the minors of a map of labeled free modules
• MonSize (missing documentation)
• multiSubsets -- produce all subsets of a given size, allowing repetitions
• pureResES -- constructs the Eisenbud--Schreyer pure resolution of a given type
• pureResES1 -- computes the first map of the Eisenbud--Schreyer pure resolution of a given type
• pureResTC -- constructs the balanced tensor complex of a given type
• pureResTC1 -- computes the first map of a balanced tensor complex with pure resolution of a given type
• source(LabeledModuleMap) -- the source of a map of a labeled modules
• symmetricMultiplication -- creates the symmetric multiplication map
• symmetricPower(ZZ,LabeledModule) -- Symmetric power of a @TO LabeledModule@
• target(LabeledModuleMap) -- the target of a map of a labeled modules
• tensor(LabeledModule,LabeledModule) -- creates the tensor product of two labeled modules, as a labeled module
• tensor(LabeledModuleMap,LabeledModuleMap) -- creates the tensor product of two maps of labeled modules, as a map of labeled module
• tensorComplex1 -- computes the first map of the tensor complex
• tensorProduct -- tensor product of Modules and LabeledModules, Matrices, Maps and LabeledModuleMaps
• toOrdinal -- turns the label of a basis element of a labeled module into a corresponding ordinal
• traceMap -- produces the trace map from a ring to a free module tensored with its dual
• underlyingModules -- gives the list of underlying modules of a labeled module