Trait TypedTensorReadEinsumExt 

pub trait TypedTensorReadEinsumExt<T: TensorScalar> {
    // Required methods
    fn einsum_read(
        &self,
        subscripts: &str,
        session: &mut dyn BackendSession,
    ) -> Result<TypedTensor<T>>;
    fn einsum_read_notation(
        &self,
        notation: &EinsumNotation,
        session: &mut dyn BackendSession,
    ) -> Result<TypedTensor<T>>;
    fn einsum_read_subscripts(
        &self,
        subscripts: &EinsumSubscripts,
        session: &mut dyn BackendSession,
    ) -> Result<TypedTensor<T>>;
}

Backend-explicit einsum methods for typed borrowed views.

The _read suffix distinguishes this borrowed-view surface from TypedTensorEinsumExt, whose unsuffixed methods accept only owned compact typed tensors.

Examples

use tenferro_cpu::CpuBackend;
use tenferro_einsum::TypedTensorReadEinsumExt;
use tenferro_tensor::{BackendSessionHost, TypedTensor};

let lhs = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![1.0, 2.0])?;
let rhs = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![3.0, 4.0])?;
let mut backend = CpuBackend::new();
let result = backend.with_backend_session(|session| {
    [lhs.as_view(), rhs.as_view()].einsum_read("i,i->", session)
})?;
assert_eq!(result.as_slice()?, &[11.0]);

Required Methods

fn einsum_read( &self, subscripts: &str, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

Execute an einsum from string notation over typed borrowed views.

Examples

use tenferro_cpu::CpuBackend;
use tenferro_einsum::TypedTensorReadEinsumExt;
use tenferro_tensor::{BackendSessionHost, TypedTensor};

let input = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![2.0, 3.0])?;
let mut backend = CpuBackend::new();
let result = backend.with_backend_session(|session| {
    [input.as_view()].einsum_read("i->i", session)
})?;
assert_eq!(result.as_slice()?, &[2.0, 3.0]);

Errors

Returns Error::InvalidSubscripts for malformed notation, Error::Validation with shape or rank payloads for incompatible views, or Error::Tensor for a typed backend failure.

fn einsum_read_notation( &self, notation: &EinsumNotation, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

Execute an einsum from rank-unresolved notation over typed views.

Examples

use tenferro_einsum::{EinsumAxis, EinsumNotation};
let notation = EinsumNotation::new(&[&[EinsumAxis::Ellipsis]], &[]);
assert_eq!(notation.input_count(), 1);

Errors

Returns a typed validation or backend error when notation, views, or execution are invalid.

fn einsum_read_subscripts( &self, subscripts: &EinsumSubscripts, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

Execute an einsum from parsed integer-label subscripts over typed borrowed views.

Examples

use tenferro_cpu::CpuBackend;
use tenferro_einsum::{EinsumSubscripts, TypedTensorReadEinsumExt};
use tenferro_tensor::{BackendSessionHost, TypedTensor};

let input = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![2.0, 3.0])?;
let subscripts = EinsumSubscripts::new(&[&[0]], &[0]);
let mut backend = CpuBackend::new();
let result = backend.with_backend_session(|session| {
    [input.as_view()].einsum_read_subscripts(&subscripts, session)
})?;
assert_eq!(result.as_slice()?, &[2.0, 3.0]);

Errors

Returns Error::Validation with shape or rank payloads for incompatible views, or Error::Tensor for a typed backend failure.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, T: TensorScalar, const N: usize> TypedTensorReadEinsumExt<T> for [TypedTensorView<'a, T>; N]

fn einsum_read( &self, subscripts: &str, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

fn einsum_read_notation( &self, notation: &EinsumNotation, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

fn einsum_read_subscripts( &self, subscripts: &EinsumSubscripts, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

impl<'a, T: TensorScalar> TypedTensorReadEinsumExt<T> for [TypedTensorView<'a, T>]

fn einsum_read( &self, subscripts: &str, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

fn einsum_read_notation( &self, notation: &EinsumNotation, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

fn einsum_read_subscripts( &self, subscripts: &EinsumSubscripts, session: &mut dyn BackendSession, ) -> Result<TypedTensor<T>>

Implementors