Cartan

Cartan package (formerly Cartan_Kahler) This is a Maple package that I wrote for doing computations for the Cartan-Kahler analysis of linear Pfaffian systems. It can compute structure equations, absorb the torsion whenever possible (and compute unabsorbable torsion when it is not possible), compute Cartan characters and test for involutivity, and compute prolongations.