compute the closure of a set of differential forms
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 closed with respect to the exterior derivative d() by adding additional forms to the original set.
a1 ≔ d⁡u−w1⁢d⁡t−w2⁢d⁡x
a2 ≔ w2+u2⁢d⁡x &^ d⁡t−d⁡w2 &^ d⁡x
Download Help Document
What kind of issue would you like to report? (Optional)