julia> 10E30 + -10E30 + 1 1.0 julia> 10E30 + (-10E30 + 1) 0.0
GrassmannI have provided both the left and right contractions, but I personally consider the right contraction more fundamental than the left one, while Dorst considers the left more important and fundamental. In the package, I provide both methods, but have made the right contraction default when
⋅is used at the moment.
algebra.jlis currently a little overwhelming for me. Let me know if you're interested in docs PRs, I'm happy to contribute as I stumble along. Thanks for such a cool package, I'm really looking forward to using it more.
MultiGradetypes will help with that, but it takes a significant amount of extra effort to incorporate those in a type stable way, if you'd like to encourage me please consider donating at https://liberapay.com/chakravala
v123and don't need a representation for
stablelink on the announce post is broken, is that possible?