Add K.nabla(p) : tangent map of K.Deff

opeltre / topos

Statistics and Topology

MIT License

8 stars 0 forks source link

Closed opeltre closed 2 years ago

opeltre commented 2 years ago

N.B: K.nabla(p, deg) extends to a differential on all degrees satisfying nabla ** 2 = 0

opeltre commented 2 years ago

All components are ready for BP algorithms and diffusions

TODO:

arithmetic on Functional instances such as K.Deff, currently only matmul = composition implemented
pieces of documentation for each of the operators
algorithms
empty domain for K[-1] or K[deg + 1] etc., with zero vector only