Expand description
Tensor algebra — index slots, contraction, symmetries, and canonicalisation.
This directory module supersedes the 0.18.0 single-file tensor.rs.
§Sub-modules
| module | purpose |
|---|---|
self | Tensor, IndexSlot, Symmetry, contract — basic algebra (0.18.0) |
graph | McKay refinement-individualisation graph canonical labelling engine (0.22.0) |
spec | Tensor symmetry specifications and index-group registry (0.22.0) |
canon | Tensor expression → graph → canonical form with dummy management (0.22.0) |
dummy | Dummy index refresh and validation (0.22.0) |
young | Explicit Young projector via permutation-sum expansion (0.22.0) |
Modules§
- canon
- Tensor expression canonicalisation via graph isomorphism.
- dummy
- Dummy index management for tensor canonicalisation.
- graph
- McKay refinement-individualisation graph canonical labelling engine.
- spec
- Tensor symmetry specifications for canonicalisation.
- young
- Explicit Young projector for tensor symmetries.
Structs§
- Index
Slot - A single index slot of a tensor: the index expression and its variance.
- Tensor
- A tensor: a named object with a list of index slots, an arity, and a slot symmetry.
- Tensor
Product - A product of tensors with free slots concatenated; dummies have been summed over.
Enums§
- Contracted
- The result of contracting a pair of tensors: either a scalar atom (when no dummies remain) or a product/sum expression.
- Index
Position - Position of an index in a tensor’s slot list: upper (contravariant) or lower (covariant).
- Symmetry
- Symmetry of a tensor’s index slots.
Functions§
- contract
- Contract two tensors by summing over shared dummy indices.
- symmetrise_
sign - Apply a tensor’s slot symmetry by permuting its slots to a canonical order (ascending label), returning the sign for antisymmetry.