|
liesymm[&mod] - reduce a form modulo an exterior ideal
|
|
Calling Sequence
|
|
f &mod formlist
|
|
|
Parameters
|
|
|
f
|
-
|
differential form
|
|
formlist
|
-
|
list or set of differential forms
|
|
|
|
|
|
Description
|
|
|
•
|
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.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
![[t, x, u, w1, w2]](/support/helpjp/helpview.aspx?si=7510/file04227/math72.png)
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
![`&mod`(`&^`(d(u), d(t)), [a1, a2])](/support/helpjp/helpview.aspx?si=7510/file04227/math90.png)
|
|
| (4) |
|
>
|
![`&mod`(`&^`(d(u), d(t)), close([a1, a2]))](/support/helpjp/helpview.aspx?si=7510/file04227/math97.png)
|
|
| (5) |
|
|
