idenso 0.3.0

Tensor identities for symbolica
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

use spenso::structure::slot::{AbsInd, DummyAind, ParseableAind, SlotError};
use std::sync::atomic::AtomicUsize;
use symbolica::{
    atom::{Atom, AtomView},
    function, symbol,
};

static DUMMYCOUNTER: AtomicUsize = AtomicUsize::new(0);
/// A type that represents the name of an index in a tensor.
#[derive(Debug, Copy, Clone, Ord, PartialOrd, Eq, PartialEq, Hash)]
pub enum Parsind {
    Dummy(usize),
}

impl AbsInd for Parsind {}

impl DummyAind for Parsind {
    fn new_dummy() -> Self {
        Parsind::Dummy(DUMMYCOUNTER.fetch_add(1, std::sync::atomic::Ordering::Relaxed))
    }

    fn new_dummy_at(i: usize) -> Self {
        Parsind::Dummy(i)
    }
    fn is_dummy(&self) -> bool {
        true
    }
}

impl ParseableAind for Parsind {
    type Error = SlotError;
    fn from_view(view: AtomView<'_>) -> Result<Self, Self::Error> {
        view.try_into()
    }
    fn to_atom(&self) -> Atom {
        (*self).into()
    }
}

impl std::fmt::Display for Parsind {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "parsind")
    }
}

impl From<usize> for Parsind {
    fn from(value: usize) -> Self {
        Parsind::Dummy(value)
    }
}

impl From<Parsind> for Atom {
    fn from(value: Parsind) -> Self {
        match value {
            Parsind::Dummy(i) => function!(symbol!("dummy"), i as i64),
        }
    }
}
impl From<Parsind> for symbolica::atom::AtomOrView<'_> {
    fn from(value: Parsind) -> Self {
        symbolica::atom::AtomOrView::Atom(Atom::from(value))
    }
}

impl TryFrom<AtomView<'_>> for Parsind {
    type Error = SlotError;

    fn try_from(_: AtomView<'_>) -> Result<Self, Self::Error> {
        Ok(Parsind::Dummy(0))
    }
}