convert(eqlist, forms, eqlist, w)
|
Generates a set of forms that
|
or
|
when closed characterize the equations
|
makeforms(eqns, flist, w)
|
in eqlist in the sense of Cartan.
|
|
|
convert(forms, system, vlist)
|
Generates a set of partial differential
|
or
|
equations represented by the given
|
annul(forms, vlist)
|
forms.
|
|
|
close(forms)
|
Extends the given list of forms to
|
|
achieve closure under application of d().
|
|
|
hasclosure(forms)
|
Checks if the forms list is closed under
|
|
applications of d()
|
|
|
&mod
|
Reduces a form modulo an
|
|
exterior ideal (specified by a
|
|
closed list of forms).
|
|
|
determine(forms, V)
|
Given a list of forms describing a
|
|
particular set of partial differential
|
|
equations with coordinates
|
|
the calling sequence produces a set of first
|
|
order equations for the isovector
|
|
vector (V1, ..., Vn). The resulting
|
|
equations are expressed using alias and
|
|
an inert Diff rather than diff but
|
|
evaluation can be forced by using
|
|
value().
|
|
|
determine(f, V, h(t, x), w)
|
As above, but with f as an
|
|
equation and with the extra
|
|
arguments used by makeforms()
|
|
to construct the initial
|
|
forms list.
|