TensorComplexes : Index
- basisList -- gives the list used to label the basis elements of a labeled module
- basisList(LabeledModule) -- 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
- cauchyMap(ZZ,LabeledModule) -- 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
- flattenedGenericTensor(List,Ring) -- Make a generic tensor of given format
- fromOrdinal -- outputs the label of a basis element of a labeled module
- fromOrdinal(ZZ,LabeledModule) -- outputs the label of a basis element of a labeled module
- hyperdeterminant -- computes the hyperdeterminant of a boundary format tensor
- hyperdeterminant(LabeledModuleMap) -- computes the hyperdeterminant of a boundary format tensor
- hyperdeterminantMatrix -- computes a matrix whose determinant equals the hyperdeterminant of a boundary format tensor
- hyperdeterminantMatrix(LabeledModuleMap) -- 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
- labeledModule(Module) -- makes a labeled module
- labeledModule(Ring) -- 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
- minorsMap(LabeledModuleMap,LabeledModule) -- creates a map of labeled free modules whose image is the minors of a map of labeled free modules
- minorsMap(Matrix,LabeledModule) -- 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
- multiSubsets(List,ZZ) -- produce all subsets of a given size, allowing repetitions
- multiSubsets(ZZ,ZZ) -- 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
- symmetricMultiplication(LabeledModule,ZZ,ZZ) -- 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
- tensorComplex1(LabeledModuleMap) -- computes the first map of the tensor complex
- tensorComplex1(LabeledModuleMap,List) -- computes the first map of the tensor complex
- TensorComplexes -- multilinear algebra for the construction of tensor complexes
- 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
- toOrdinal(Thing,LabeledModule) -- 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
- traceMap(LabeledModule) -- 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
- underlyingModules(LabeledModule) -- gives the list of underlying modules of a labeled module