liesymm
&mod
reduce a form modulo an exterior ideal
Calling Sequence
Parameters
Description
Examples
f &mod formlist
f
-
differential form
formlist
list or set of differential forms
This routine is part of the liesymm package and is loaded via with(liesymm).
Reduce the form f modulo the exterior ideal generated by formlist. Use a closed formlist to specify a differential ideal.
withliesymm:
setupt,x,u,w1,w2
t,x,u,w1,w2
a1≔du−w1dt−w2dx
a2≔w2+u2dx&ˆdt−dw2&ˆdx
a2≔−u2+w2dt&ˆdx+dx&ˆdw2
du&ˆdt&moda1,a2
−w2dt&ˆdx
du&ˆdt&modclosea1,a2
See Also
liesymm[&^]
liesymm[close]
liesymm[d]
liesymm[Lie]
liesymm[setup]
with
Download Help Document