3 ms·
Indeed, the Manifold{n} type from AbstractTensors.jl (https://github.com/chakravala/AbstractTensors.jl https://github.com/chakravala/AbstractTensors.jl) is defi
by DreamScatter 7y ago
Indeed, the Manifold{n} type from AbstractTensors.jl (https://github.com/chakravala/AbstractTensors.jl https://github.com/chakravala/AbstractTensors.jl) is defined as an abstract type in Julia. The parameter `n` is used to specify the Manifold dimension, which is locally isomorphic to R^n.
A VectorBundle is another abstract type, which standardizes an encoding format for concrete Signature and DiagonalForm types, or more. SubManifold can select subspaces of a VectorBundle or generally an arbitrary Manifold.
The design of the type system was optimized for algebra interoperability and adaptive subspace precompilation.
- aesthesia 7y agoOkay, so say I want to do computations with differential forms on some particular manifold, like a torus or RP^n. Maybe I want to evaluate the Hodge Laplacians on some forms. What would I need to do to implement that within this system? I see references to computing Betti numbers and Euler characteristics in the documentation, so I assume something like this is possible. I'm not very familiar with geometric algebra or its computational implementation, so apologies if this is either obvious or not even wrong. This looks very cool and useful, I just don't know how to connect it to the things I understand.