symbolica.community.idenso Python API

Raised when dummy-index canonicalization fails.

Immutable configuration for rewriting color invariants into a Casimir basis.

Immutable configuration for color simplification.

Immutable configuration for cooking symbolic functions and index payloads.

Selects the function occurrences or representation-index payloads to cook.

A tag predicate used to select which function heads are cooked.

Raised when a symbolic function or representation index cannot be cooked.

Raised when a Dirac adjoint cannot be constructed consistently.

Raised when compact dot notation cannot be expanded into a tensor expression.

Raised when conjugated gamma matrices cannot be rewritten consistently.

Immutable configuration for gamma-chain simplification.

Raised when a symbolic tensor network cannot be parsed or evaluated.

Immutable configuration for expression and network Schoonschip passes.

Selects how cooked function payloads are represented as symbols.

Controls how open gamma chains are reordered during simplification.

Selects the heuristic used to choose the next tensor-network contraction.

Selects whether a Schoonschip pass runs once or recursively.

Selects the recursive traversal order for a Schoonschip pass.

Replace nested tensor subexpressions by generated aliases.

Canonically order tensor factors and deterministically rename contracted indices.

Rewrite tensors with two slots in `representation` as explicit open-chain factors.

Join adjacent open chains for the supplied representation.

Factor an expression around tensors carrying fundamental, antifundamental, or adjoint color.

Factor an expression around recognized scalar color invariants such as Casimirs and indices.

Convert bispinor tensors into chain/trace shorthands and join adjacent gamma chains.

Complex-conjugate an expression and transpose tensor slots in `representation`.

Encode selected functions as symbols using reversible cooking by default.

Convert a single function call into a flattened variable symbol.

Convert complex nested index structures into flattened symbolic names.

Construct the physics-aware Dirac adjoint of a tensor expression.

Expand products around factors carrying registered bispinor indices.

Expand products around registered color factors.

Expand compact dot products into explicit metric and indexed-vector contractions.

Selectively expand around the supplied expression patterns.

Expand products around registered metric tensors.

Expand products around factors carrying registered Minkowski indices.

Expand products around factors carrying Minkowski or bispinor indices.

Lists the dangling (external, uncontracted) indices present in the expression.

Replace metric shorthand such as `g(p(rep), q(rep.dual()))` by `dot(p(rep), q(rep.dual()))`.

Convert chains whose endpoints coincide into trace shorthands.

Canonicalize compact dot-product shorthands without expanding their tensor structure.

Simplify tensor shorthands using the configured Schoonschip traversal.

Parse and contract a symbolic tensor network using Schoonschip rules.

Simplify registered Spenso color chains, traces, generators, and structure constants.

Simplify Levi-Civita/metric contractions and pairs of Levi-Civita tensors to a fixed point.

Simplify registered Spenso gamma chains and traces with Idenso's default rules.

Simplify products and linear combinations involving the time-like gamma matrix `gamma0`.

Rewrite conjugated gamma matrices as gamma0-sandwiched matrices with fresh spinor indices.

Simplifies contractions involving metric tensors and identity tensors.

Complex-conjugate an expression while keeping unevaluated conjugations explicit.

Replace supported `cof(N)` Casimir, Dynkin-index, and Gram invariants by dimension formulas.

Rewrite the supplied color-representation dimensions and invariants into a Casimir basis.

Converts contracted Lorentz/Minkowski indices into dot product notation.

Restore symbols produced by matching reversible cooking settings.

Expand Schoonschip, dot, chain, and trace shorthands into explicit tensor expressions.

Expand open-chain shorthands while leaving dots, traces, and Schoonschip forms compact.

Expand dot-product shorthands while leaving other tensor shorthands compact.

Expand Schoonschip tensor shorthands while leaving dots, chains, and traces compact.

Replace one-factor chain shorthands by their underlying tensor factor.

Expand trace shorthands while leaving dots, chains, and Schoonschip forms compact.

Expand around color structures and wrap each resulting scalar coefficient with `symbol`.

Wraps only the dummy (contracted) indices within the expression using a header symbol.

Wrap all abstract indices with a header symbol # Arguments - `expression`: input expression containing tensor indices - `header`: symbol to use as the wrapper function for all indices # Returns Expression with all indices wrapped by the header symbol.