Thanks, I am looking at it and thinking.
I really want something targeted toward exterior algebra as a thing in
itself, and this seems targeted to Differential Geometry, Differential
Forms and exterior calculus. exterior algebra itself has a simple
Axiomatic structure. I keep thinking that t
Perhaps this work by Kurt Pagani will be of some interest:
https://groups.google.com/d/msg/fricas-devel/FRDGVFsoAKw/IbJT3b6PAQAJ
https://github.com/nilqed/fricas_input/tree/master/deploy
This code includes innner product and Hodge dual on differential forms.
On 8 January 2018 at 09:18, Raymo
I apologize if this is the wrong forum for posting coding requests.
Perhaps Sandbox instead?
I have had this in mind for years but never had a practical example. One
has a set of simultaneous equations that one wants to investigate. The two
logical possibilities are Groebner analysis and ext