On 12 mei, 01:11, Jason Grout <jason-s...@creativetrax.com> wrote:

> > I was wondering if there is any interest in a Sage package to compute
> > with differential forms.  
>
> I am interested.  I'm particularly interested in applications to
> teaching multivariable calculus.

This raises the interesting possibility (which I didn't consider
previously) of coercing differential forms (on RR^3, say) into vector-
valued functions and showing that d^2 = 0 implies all those identies
Div Curl = 0, Curl Grad = 0, etc...

> This sort of gives us functions over modules (sort of a function from
> SR^2 --> SR^3 in this example).  However, Sage doesn't treat f as a
> function as much as it treats f as a vector of functions (though you can
> still call f, take its derivative, etc.).
>

I've added the patches to my Sage and I agree that this looks good.
In particular, this would be a good starting point to treat vector
fields in RR^n and their pairing with differential forms.  I'll try to
make this more concrete with an example in the next few days.

Thanks a lot for your answer,

Joris

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to