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