Hi, does anyone know if it is possible to use maple to handle equations involving differential forms (antisymmetric tensors). Basically i have a set of equations that involve forms of various degrees, with some indices contracted with vectors etc. Now most of the components of the forms are zero, but the equations are still very tedious to handle by hand. It would be useful if i could input the equation into maple, tell it all the various non-zero form components, and then let maple substitute the components into the equation. Naturally i would need to specify the values of the free indices in the equation, so that the tensor equation reduses to a standard equation. And presumably Maple would need to understand the einstein summation convention etc.