  We use the methods of geometric control theory to study extremal trajectories
of vertical rolling disk. We focus on the role of symmetries of the underlying
geometric structures. We demonstrate the computations in the CAS Maple package
DifferentialGeometry.
