Struct Tensor 

pub struct Tensor<'a> { /* private fields */ }

A tensor: a named object with a list of index slots, an arity, and a slot symmetry.

Implementations

impl<'a> Tensor<'a>

pub fn new(name: Symbol, slots: Vec<IndexSlot<'a>>) -> Self

Create a new tensor with the given slots and no symmetry.

pub fn with_symmetry(self, symmetry: Symmetry) -> Self

Builder: set the slot symmetry.

pub fn name(&self) -> Symbol

The tensor name.

pub fn slots(&self) -> &[IndexSlot<'a>]

The index slots.

pub fn symmetry(&self) -> Symmetry

The slot symmetry.

pub fn rank(&self) -> usize

The tensor arity (number of slots).

pub fn dummy_labels(&self) -> Vec<Atom<'a>>

Return the dummy indices (labels occurring exactly twice across all slots, once upper and once lower) — these are the ones that will be contracted in a product.

pub fn to_atom(&self, ctx: &'a AtomArena<'a>) -> Atom<'a>

Render this tensor as an Atom function node name(slot, slot, ...) in the supplied arena. Symmetrisation is not applied here — the atom preserves the slot order of self.

Trait Implementations

impl<'a> Clone for Tensor<'a>

fn clone(&self) -> Tensor<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Tensor<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for Tensor<'a>

impl<'a> PartialEq for Tensor<'a>

fn eq(&self, other: &Tensor<'a>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for Tensor<'a>