add zero linear maps to/from empty domains - Githubissues

opeltre / topos

Statistics and Topology

MIT License

8 stars 0 forks source link

add zero linear maps to/from empty domains #15

Closed opeltre closed 2 years ago

opeltre commented 2 years ago

Fixes bugs and problems of #7

A.delta(A.ones(0)) = 0 as Field on the empty domain