spenso 0.6.0

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
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

use ahash::AHashMap;
#[cfg(feature = "shadowing")]
use ahash::{AHashSet, HashMap};
#[cfg(feature = "shadowing")]
use anyhow::anyhow;
use bincode::{Decode, Encode};
use bitvec::vec::BitVec;
use graph::{NAdd, NMul, NetworkGraph, NetworkLeaf};
use linnet::half_edge::involution::EdgeData;
use linnet::half_edge::subgraph::{BaseSubgraph, ModifySubgraph, SubGraph};
use linnet::half_edge::tree::SimpleTraversalTree;
use linnet::half_edge::{
    builder::HedgeGraphBuilder,
    involution::{Flow, Hedge, Orientation},
};
use linnet::half_edge::{HedgeGraph, HedgeGraphError, NodeIndex};
use linnet::tree::child_pointer::ParentChildStore;
use rayon::iter::IntoParallelIterator;
use ref_ops::{RefAdd, RefMul};
use std::borrow::Cow;
use std::fmt::format;
use std::ops::{Add, Mul, Neg};
#[cfg(feature = "shadowing")]
use std::sync::Arc;
use store::{NetworkStore, TensorScalarStoreMapping};

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

use crate::algebraic_traits::{One, Zero};
use crate::structure::representation::LibraryRep;
use crate::structure::slot::{IsAbstractSlot, Slot};
// use log::trace;
use serde::{Deserialize, Serialize};
use slotmap::{new_key_type, DenseSlotMap, Key, SecondaryMap};
#[cfg(feature = "shadowing")]
use symbolica::{
    atom::{representation::FunView, AddView, Atom, AtomView, MulView, Symbol},
    coefficient::ConvertToRing,
    domains::{
        factorized_rational_polynomial::{
            FactorizedRationalPolynomial, FromNumeratorAndFactorizedDenominator,
        },
        float::{Complex as SymComplex, NumericalFloatLike, Real, SingleFloat},
        rational::Rational,
        rational_polynomial::{FromNumeratorAndDenominator, RationalPolynomial},
        EuclideanDomain,
    },
    evaluate::{
        CompileOptions, CompiledCode, CompiledEvaluator, EvalTree, EvaluationFn, ExportedCode,
        ExpressionEvaluator, FunctionMap, InlineASM,
    },
    id::Pattern,
    poly::{factor::Factorize, gcd::PolynomialGCD, polynomial::MultivariatePolynomial, Variable},
    utils::BorrowedOrOwned,
};

#[cfg(feature = "shadowing")]
use symbolica::{
    atom::{AtomCore, KeyLookup},
    id::BorrowReplacement,
    poly::PositiveExponent,
    symbol,
};

#[cfg(feature = "shadowing")]
use crate::{
    complex::{Complex, RealOrComplexTensor},
    contraction::RefZero,
    data::{DataIterator, DenseTensor, SetTensorData, SparseTensor},
    iterators::IteratableTensor,
    parametric::atomcore::ReplaceBuilderGeneric,
    parametric::{
        atomcore::PatternReplacement, AtomViewOrConcrete, CompiledEvalTensor, EvalTensor,
        EvalTreeTensor, MixedTensor, ParamTensor, SerializableCompiledCode,
        SerializableCompiledEvaluator, SerializableExportedCode,
    },
    shadowing::{ShadowMapping, Shadowable},
    structure::{StructureContract, ToSymbolic},
    symbolica_utils::{IntoArgs, IntoSymbol, SerializableAtom},
    tensor_library::{LibraryTensor, TensorLibrary},
    upgrading_arithmetic::{FallibleAdd, TrySmallestUpgrade},
};

use crate::{
    arithmetic::ScalarMul,
    contraction::{Contract, ContractionError, Trace},
    data::{DataTensor, GetTensorData, HasTensorData},
    structure::{
        representation::{LibrarySlot, RepName},
        slot::DualSlotTo,
        CastStructure, HasName, HasStructure, ScalarTensor, TensorStructure, TracksCount,
    },
    upgrading_arithmetic::FallibleMul,
};

#[cfg(feature = "shadowing")]
use crate::{
    data::StorageTensor,
    parametric::atomcore::{TensorAtomMaps, TensorAtomOps},
};

use super::store::TensorScalarStore;
use super::Network;