Enum NormalizedInstanceTerm 

pub enum NormalizedInstanceTerm {
    Discrete(DiscreteInstanceTerm),
    Modal(ModalInstanceTerm),
}

The flat normal form of a single instance term, as produced by normalize_instance_term: a composite model morphism applied to a base of generators. Doctrine-specific because each has its own term type.

Variants

Discrete(DiscreteInstanceTerm)

A term of an instance of a discrete double model.

Modal(ModalInstanceTerm)

A term of an instance of a modal double model (unital or non-unital).

Implementations

impl NormalizedInstanceTerm

pub fn render(&self) -> String

Renders the term in its flat normal form mor @ base, exposing the single (composite) model morphism acting on a base of generators. A term whose morphism is the identity (a pure base) is rendered as just its base. This is deliberately distinct from the applicative reconstruction used in instance summaries: the point of norm is to show the composite, e.g. t(@tensor [s(x0), s(x0)]) normalizing to (@tensor [s, s] ; t) @ @tensor [x0, x0].