Let G be a Lie group with multiplication * and define diffeomorphisms L_a: G -> G and R_a: G -> G by L_a(g) = a*g and R_a(g) = g*a.  A vector field X on G is left invariant if (L_a)_*(X_b) = X_(a*b) and right invariant if (R_a)_*(X_b) = X_(b*a).  A differential form omega on G is left invariant if (L_a)^*(omega_(a*b)) = omega_(b) and right invariant if (R_a)^*(omega_(b*a)) = omega_(b).

The command InvariantVectorsAndForms(LG) returns up to a sequence of four lists XL, OmegaL, XR, OmegaR, where XL is a frame of left invariant vector fields, OmegaL is a coframe of left invariant 1-forms, XR is a frame of right invariant vector fields, and OmegaR is a frame of right invariant 1-forms.

The output option allows the user to dictate precisely which lists of invariant vector fields and forms are returned and the order in which they are returned.  The default is output = ["LeftVectors", "LeftForms", "RightVectors", "RightForms"].

The command InvariantVectorsAndForms is part of the DifferentialGeometry:-GroupActions package.  It can be used in the form InvariantVectorsAndForms(...) only after executing the commands with(DifferentialGeometry) and with(GroupActions), but can always be used by executing DifferentialGeometry:-GroupActions:-InvariantVectorsAndForms(...).