> I'll just focus on vector calculus. Let me experiment a bit and > hopefully, I'll be able to decide on which way to go from here.
I's not vector calculus but rather abstract vector algebra but you might want to look at: "Rule-Based Simplification in Vector-Product Spaces" by Songxin Liang and David J. Jeffrey. I have an almost finished implementation/port for Axiom: https://github.com/raoulb/fricas_code/tree/master/vecalg -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy?hl=en. For more options, visit https://groups.google.com/groups/opt_out.