1: \begin{abstract}

2:   We present a discrete analog of the recently introduced

3:   Hamilton--Pontryagin variational principle in Lagrangian mechanics.

4:   This unifies two, previously disparate approaches to discrete

5:   Lagrangian mechanics: either using the discrete Lagrangian to define

6:   a finite version of Hamilton's action principle, or treating it as a

7:   symplectic generating function.  This is demonstrated for a discrete

8:   Lagrangian defined on an arbitrary Lie groupoid; the often

9:   encountered special case of the pair groupoid (or Cartesian square)

10:   is also given as a worked example.

11: \end{abstract}

12: