1: \begin{abstract}

2: Central issues of the Dirac constraint formalism are discussed in

3: relation to the algorithmic methods of commutative algebra based on

4: the \Gr basis techniques.

5:  For a wide class

6:  of finite dimensional polynomial degenerate Lagrangian

7:  systems, we describe an algorithmic scheme of computation of

8:  the complete set of constraints, their  separation into subsets of first

9:  and second class constraints as well as the construction of

10:  a generator of local symmetry transformations.

11:  The proposed scheme is exemplified by considering the so-called

12:  light-cone Yang-Mills mechanics with an $SU(2)$ gauge structure group.

13: \end{abstract}

14: