verify closure with respect to d()
list or set of differential forms
This routine is part of the liesymm package and is loaded via with(liesymm).
A set of differential forms is tested for closure with respect to the exterior derivative d().
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−w1⁢d⁡t−w2⁢d⁡x,−u2+w2⁢d⁡t &^ d⁡x+d⁡x &^ d⁡w2,d⁡t &^ d⁡w1+d⁡x &^ d⁡w2
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.