Enum PatternN 

pub enum PatternN {
    Comp(Vec<PatternN>, PatternType),
    Tensor(Vec<PatternN>),
    Ket(KetState),
    Unitary(Box<AtomN>),
}

A normal-form patterns

Variants

Comp(Vec<PatternN>, PatternType)

A composition “p_1 . … . p_n” with given type

Tensor(Vec<PatternN>)

A tensor “p_1 x … x p_n”

Ket(KetState)

A single ket state “|x>”

Unitary(Box<AtomN>)

An “atomic” term. Compound terms are evaluated to pattern compositions/tensors.

Implementations

impl PatternN

pub fn to_inj_and_proj(&self) -> (Mat<Complex<f64>>, Mat<Complex<f64>>)

Convert a normal-form pattern of type qm < qn to an m x n isometry matrix i and an n x n projector p such that p + ii^dagger = id

pub fn quote(&self) -> PatternT

Return a PatternT which is the “quotation” of this normal-form pattern. Realises that all normal-form patterns are also patterns.

pub fn squash(&mut self)

Simplifies compositions, tensors, and identities in the given normal-form pattern.

Trait Implementations

impl Buildable for PatternN

fn comp(iter: impl DoubleEndedIterator<Item = Self>, ty: &TermType) -> Self

Build a composition object from a sequence of subobjects and a given type. Subobjects should be given in diagrammatic order, not function composition order.

fn tensor(iter: impl Iterator<Item = Self>) -> Self

Build a tensor product from a sequence of subobjects.

fn atom(atom: AtomN) -> Self

Build an object from an atom.

impl Clone for PatternN

fn clone(&self) -> PatternN

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PatternN

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for PatternN

fn eq(&self, other: &PatternN) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for PatternN