Struct Standard 

pub struct Standard<T>(/* private fields */);

Typed standard arithmetic algebra (add = +, mul = *).

The type parameter T carries the scalar type, making the algebra Alg::Scalar-centric. This is the canonical core model — HasAlgebra provides UX sugar for automatic inference (e.g., f64 → Standard<f64>).

This is the default algebra for built-in numeric types (f32, f64, Complex32, Complex64).

Examples

use tenferro_algebra::{HasAlgebra, Standard};

// f64 maps to Standard<f64> algebra automatically
fn check_algebra<T: HasAlgebra<Algebra = Standard<T>>>() {}
check_algebra::<f64>();
check_algebra::<f32>();

Trait Implementations

impl<T: Scalar> Algebra for Standard<T>

type Scalar = T

The scalar element type for tensors under this algebra.

impl<T: Scalar + Zero + One> Semiring for Standard<T>

Standard arithmetic implements Semiring with + and *.

Examples

use tenferro_algebra::{Semiring, Standard};

let z = <Standard<f64> as Semiring>::zero();
let o = <Standard<f64> as Semiring>::one();
assert_eq!(z, 0.0);
assert_eq!(o, 1.0);

fn zero() -> T

Additive identity element.

fn one() -> T

Multiplicative identity element.

fn add(a: T, b: T) -> T

Semiring addition.

fn mul(a: T, b: T) -> T

Semiring multiplication.