Expand description
Tensor symmetry specifications for canonicalisation.
A [TensorSpec] declares which function heads represent tensors and how
their slots behave under permutation (symmetric, antisymmetric subsets,
cyclic). Used by super::canon to encode tensor expressions into the
graph-isomorphism engine.
Structsยง
- Symmetry
Spec - Slot symmetry for a tensor: a set of slot-index subsets that are symmetric, antisymmetric, or form a cycle.
- Tensor
Registry - Complete tensor specification: which function heads are tensors and what symmetries their slots have.