spenso 0.4.1

A tensor (n-dim array) network, iterating, and contraction (using automatic abstract index matching) library.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

use std::ops::{Add, Div, Mul, Sub};

#[cfg(feature = "shadowing")]
use symbolica::atom::Atom;

pub trait FieldOps<Lhs, Rhs>
where
    for<'c, 'd> &'c Lhs: Add<&'d Rhs, Output = Lhs>
        + Mul<&'d Rhs, Output = Lhs>
        + Div<&'d Rhs, Output = Lhs>
        + Sub<&'d Rhs, Output = Lhs>,
{
}

pub trait Scalar: Clone
where
    for<'c, 'd> &'c Self: Add<&'d Self, Output = Self>
        + Mul<&'d Self, Output = Self>
        + Div<&'d Self, Output = Self>
        + Sub<&'d Self, Output = Self>,
{
    fn zero() -> Self;
    fn one() -> Self;
}

impl Scalar for f64 {
    fn zero() -> Self {
        0.0
    }

    fn one() -> Self {
        1.0
    }
}

#[cfg(feature = "shadowing")]
impl Scalar for Atom {
    fn zero() -> Self {
        Atom::new_num(0)
    }

    fn one() -> Self {
        Atom::new_num(1)
    }
}