Dream Scatter

Higher order derivatives are also usable, although there is still a small bug with nested ones. ```Julia julia> ∂12 * (:(x1^2*x2^2)*ϵ2) (4 * x1 * x2)∂₁₂ϵ² ``` You can also...

To clarify what the epsilons are, my differential geometric algebra is more complicated than just geometric algebra. The epsilon notation is a new notation I am using to help unify...

My next planned task for [Grassmann.jl](https://github.com/chakravala/Grassmann.jl) is to implement the null basis with the correct geometric properties, I have shared my ideas in discussions with @enkimute, I have a special...

I have managed to implement a null-basis satisfying these properties in [Grassmann.jl](https://github.com/chakravala/Grassmann.jl) v0.1.4 ```Julia julia> using Grassmann; @basis S"∞∅++" (⟨∞∅++⟩, v, v∞, v∅, v₁, v₂, v∞∅, v∞₁, v∞₂, v∅₁, v∅₂,...

[Grassmann.jl](https://github.com/chakravala/Grassmann.jl) has `` for contractions and `` for the symmetrization (e.g. a*b+b*a) and anti-symmetrization (commutator a*b-b*a) In my [paper](https://crucialflow.com/grassmann-juliacon-2019.pdf) you can find the formula I use for converting between left...

My definitions are based on the discussion I had previously with @orbots https://github.com/chakravala/Grassmann.jl/issues/27 On Tue, Nov 19, 2019, 3:38 PM Eric Wieser wrote: > it is simply that aa >...

@eric-wieser well, what happened is I originally had the same GA4CS definition as you Then @orbots came along and opened https://github.com/chakravala/Grassmann.jl/issues/27 to discuss this definition We settled on the definition...

Alright, well the original definition I used is the original Grassmann definition as discussed by John Browne in his [book](https://grassmannalgebra.com), which comes out as ``` complementhodge(a) ∨ b ``` which,...

> Not what Dorst's left complement would give you. Actually, it is the same result as Dorst's left complement, check with some examples below: ```Julia dorst(a,b) = ~((~b)⋅(~a)) grassmann(a,b) =...

> Better to check your definitions against another lib. Here's what ganja.js says: it looks to me more like ganja.js is not using the correct left contraction definition, instead it...