Casimir function of a Poisson manifold (source code)

= Casimir function of a Poisson manifold

A Casimir function $C$ Poisson-commutes with every smooth function, $\{C,f\}=0$. Its regular level sets are unions of <symplectic leaves>.