pub trait TypedTensorReadEinsumIntoExt<T: TensorScalar> {
// Required methods
fn einsum_read_into<'out, O>(
&self,
subscripts: &str,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>
where O: Into<TypedTensorWrite<'out, T>>;
fn einsum_read_into_notation<'out, O>(
&self,
notation: &EinsumNotation,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>
where O: Into<TypedTensorWrite<'out, T>>;
fn einsum_read_into_subscripts<'out, O>(
&self,
subscripts: &EinsumSubscripts,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>
where O: Into<TypedTensorWrite<'out, T>>;
}Expand description
Backend-explicit preallocated-output einsum methods for typed borrowed views.
§Examples
use tenferro_cpu::CpuBackend;
use tenferro_einsum::TypedTensorReadEinsumIntoExt;
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 output = TypedTensor::<f64>::from_vec_col_major(vec![], vec![0.0])?;
let mut backend = CpuBackend::new();
backend.with_backend_session(|session| {
[lhs.as_view(), rhs.as_view()].einsum_read_into("i,i->", session, &mut output)
})?;
assert_eq!(output.as_slice()?, &[11.0]);Required Methods§
Sourcefn einsum_read_into<'out, O>(
&self,
subscripts: &str,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
fn einsum_read_into<'out, O>(
&self,
subscripts: &str,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
Execute an einsum from string notation over typed borrowed views into a caller-provided typed output.
§Examples
use tenferro_cpu::CpuBackend;
use tenferro_einsum::TypedTensorReadEinsumIntoExt;
use tenferro_tensor::{BackendSessionHost, TypedTensor};
let input = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![2.0, 3.0])?;
let mut output = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![0.0; 2])?;
let mut backend = CpuBackend::new();
backend.with_backend_session(|session| {
[input.as_view()].einsum_read_into("i->i", session, &mut output)
})?;
assert_eq!(output.as_slice()?, &[2.0, 3.0]);§Errors
Returns Error::InvalidSubscripts for malformed notation,
Error::Validation with a shape, rank, or dtype payload when inputs or
output do not match, or Error::Tensor for a typed backend failure.
Sourcefn einsum_read_into_notation<'out, O>(
&self,
notation: &EinsumNotation,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
fn einsum_read_into_notation<'out, O>(
&self,
notation: &EinsumNotation,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
Execute an einsum from rank-unresolved notation over typed views into output.
§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 output are invalid.
Sourcefn einsum_read_into_subscripts<'out, O>(
&self,
subscripts: &EinsumSubscripts,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
fn einsum_read_into_subscripts<'out, O>(
&self,
subscripts: &EinsumSubscripts,
session: &mut dyn BackendSession,
out: O,
) -> Result<()>where
O: Into<TypedTensorWrite<'out, T>>,
Execute an einsum from parsed integer-label subscripts over typed borrowed views into a caller-provided typed output.
§Examples
use tenferro_cpu::CpuBackend;
use tenferro_einsum::{EinsumSubscripts, TypedTensorReadEinsumIntoExt};
use tenferro_tensor::{BackendSessionHost, TypedTensor};
let input = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![2.0, 3.0])?;
let mut output = TypedTensor::<f64>::from_vec_col_major(vec![2], vec![0.0; 2])?;
let subscripts = EinsumSubscripts::new(&[&[0]], &[0]);
let mut backend = CpuBackend::new();
backend.with_backend_session(|session| {
[input.as_view()].einsum_read_into_subscripts(&subscripts, session, &mut output)
})?;
assert_eq!(output.as_slice()?, &[2.0, 3.0]);§Errors
Returns Error::Validation with a shape, rank, or dtype payload when
inputs or output do not match, or Error::Tensor for a typed backend
failure.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".