Maple packages for differential forms and Cartan-Kahler
Please send comments,
ideas to me here.
This is a Maple package for doing computations involving
It was written by Yunliang Yu of Duke University and maintained by
through Maple V, Release 4. It has been revised for Maple V,
Release 5 by myself, and for Maple 6 and higher by myself and Tom
Changes and improvements as of 10/6/2004 include:
This package is posted here
with Yunliang Yu's permission; installation instructions are
- IMPORTANT BUG FIX: Previously, if the definition of a form or
exterior derivative changed -- for example, if torsion
were renamed -- after its exterior derivative had originally
defined (or computed), subsequent references to the exterior
would sometimes use the original result rather than recomputing
resulting in errors in computations such as d(d(w)) = 0.
been fixed by eliminating the remember tables for all commands
package. Theoretically, this could result in a slight loss
computational efficiency, but it seems to me a small price to
- The commands "hook" and "LieDeriv" have been added.
is a more versatile version of "L", which has been retained only
- The help page now works and is accessible via "help(Forms);"
Cartan package (formerly Cartan_Kahler)
This is a Maple package that I wrote for doing computations for
Cartan-Kahler analysis of linear Pfaffian systems. It can
structure equations, absorb the torsion whenever possible (and
unabsorbable torsion when it is not possible), compute Cartan
characters and test for involutivity, and compute
Changes and improvements as of 10/6/2004 include:
Changes as of 1/22/2008 (only for Maple 6-14) include:
- The Forms package is now included as a subpackage of Cartan,
you don't have to install it separately unless you just want to
unless you want to continue to use the old version of
- Cartan is now a bona fide package, even in Maple V.5.
- The syntax of the "makebacksub" and "prolong" commands has
changed slightly, from
"makebacksub(sublist, backsublist);" and
"prolong(ideal, etas, pis, inteltspace, theta, p, newideal);"
which assigned the desired result to the last input parameter,
and "prolong(ideal, etas,
pis, inteltspace, theta, p);"
so that assignments are made via
makebacksub(sublist);" and "newideal:=
prolong(ideal, etas, pis, inteltspace, theta, p);"
I apologize for the fact that this change is not
for old worksheets, but it seemed like a much more intuitive
and I wonder why I didn't do it that way the first time!
- The ordering of the unabsorbable torsion list should now be
consistent between runs.
- The results of the CartanKahler command are now formatted so
to eliminate the superfluous commas that were there before, and
include statements such as "Solutions depend on 1 function of 2
variables" in the involutive case.
- There is now a help page, accessible via "help(Cartan);"
- I have added some warning messages to make CartanKahler more
idiot-proof. (Count me as idiot-in-chief.)
a warning message to alert the user when the forms in the ideal
scalar coefficients whose exterior derivatives have not been
is perfectly fine - e.g., when the forms in the ideal contain
parameters arising as the result of a prolongation. But if
scalars which are intended to be functions of other variables,
= d(z) - f*d(x) - q*d(y)
representing the PDE
you MUST hardwire their derivatives before running
CartanKahler. In the example above, this could be
f_x*d(x) + f_y*d(y);
(In this example, this could be equally well accomplished by
writing f(x,y) in place of f; however, this only works if you
coordinate 1-forms, as opposed to, say, Maurer-Cartan
doesn't matter what names you use for the derivatives; the point
that if f is a dependent variable, you have to tell Maple which
1-forms its exterior derivative depends on.
Changes as of 11/8/2010 include:
- The default wedge product command "&^" doesn't play nicely
with Maple's Document mode in newer versions of Maple.
only recently pointed out to me by a student; being an old dog
can't be bothered learning new tricks, I still use Worksheet
mode.) To address this, I have added an alternative
Document mode, replacing "&^" with "&w". (As
can choose whatever string you like using the WedgeProduct
strings beginning with the "&" character have more versatile
than strings that don't, in that you can, e.g., type "omega
&^omega" in lieu of "&^(omega, omega)." )
you still use Worksheet mode, there's nothing new to see here,
you like Document mode, download the appropriate version below.
The Forms package is used here with Yunliang Yu's permission;
installation instructions are included
WARNING: there appears to be an esoteric bug in the "solve" command
Maple 7 and 7.01 which sometimes prevents the package from
working. I don't know what to do about this except to use a
different version of Maple.
The development of the Cartan package was partially supported by the
National Science Foundation under Grant No. DMS-0908456. Any
opinions, findings and conclusions or recommendations expressed in
this material are those of the author and do not necessarily reflect
the views of the National Science Foundation (NSF).