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.
with⁡liesymm:
setup⁡t,x,u,w1,w2
t,x,u,w1,w2
a1 ≔ d⁡u−w1⁢d⁡t−w2⁢d⁡x
a1≔d⁡u−w1⁢d⁡t−w2⁢d⁡x
a2 ≔ w2+u2⁢d⁡x &^ d⁡t−d⁡w2 &^ d⁡x
a2≔−u2+w2⁢d⁡t&ˆd⁡x+d⁡x&ˆd⁡w2
d⁡u &^ d⁡t &mod a1,a2
−w2⁢d⁡t&ˆd⁡x
d⁡u &^ d⁡t &mod close⁡a1,a2
See Also
liesymm[&^]
liesymm[close]
liesymm[d]
liesymm[Lie]
liesymm[setup]
with
Download Help Document
What kind of issue would you like to report? (Optional)