Casimir function of a Poisson manifold (source code)

= Casimir function of a Poisson manifold

= Casimir functions of a Poisson manifold
{c}
{synonym}

= Casimir function
{c}
{synonym}

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