LIE ANALYSIS SYMBOL
DeclareInvariant
DeclareInvariant[class,f]
declares the invariant for the symbol class to be the pure function f.
DeclareInvariant[class,{f1,f2,…}]
declares the invariant for the symbol class based on the pure functions fi.