liesymm[Lrank] - the Lie Rank of a set of forms
|
Calling Sequence
|
|
Lrank(form)
|
|
Parameters
|
|
form
|
-
|
list or set of differential forms
|
|
|
|
|
Description
|
|
•
|
This routine is part of the liesymm package and is loaded via with(liesymm) .
|
•
|
It removes forms which are redundant with respect to the generation of the determining equations.
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
![forms := [d(u)-w1*d(x)-w2*d(t), `&^`(d(w2), d(t))+(w1+u^2)*`&^`(d(x), d(t)), -`&^`(d(w1), d(x))-`&^`(d(w2), d(t))]](/support/helpjp/helpview.aspx?si=7525/file04230/math77.png)
| (4) |
>
|
|
| (5) |
|
|