  A brief sketch of computer methods of involutivity analysis of differential
equations is presented in context of its application to study degenerate
Lagrangian systems. We exemplify the approach by a detailed consideration of a
finite-dimensional model, the so-called light-cone SU(2) Yang-Mills mechanics.
All algorithms are realized in computer algebra system Maple.
