Constraint surface (source code)

= Constraint surface
{title2=$C_a=0$}

The common zero locus of constraint functions $C_a$ in <phase space> is the constraint surface. A physical trajectory lies on this surface, but off-surface identities are often needed when analyzing a <constraint algebra>.