Arithmetic operations on functionals + graded objects

opeltre / topos

Statistics and Topology

MIT License

8 stars 0 forks source link

Open opeltre opened 2 years ago

opeltre commented 2 years ago

Add support for +-*/ on functionals :slot_machine:

cast numbers to constant valued fields - as multiples of D.eye() only work for [D, D]
arithmetic on the values
compose names

Inherit support for +-*/ from Graded, dispatching calls to each component
-> GradedLinear, GradedFunctional

(Would bring close to support a GradedField class for inhomogeneous fields, acted on by GradedLinear)

opeltre commented 2 years ago

N.B: the constant functional return 1 is affine not linear e.g. (translation 1 . return 0)

So maybe keep casting scalars to multiples of identity when possible on Linear

opeltre commented 2 years ago

Right now linear instances don't support arithmetics either. Misses the name attribute, so maybe add to Vect so that Fields inherit this as well