C. S3c1=xs1-/, 0D0*XDET) S3C2=-XI1/3

C. S5c1=, 0D0*XDET) S5C3=(3, 0D0-XS2/XDET2/60.0D0 D5C3=-(9.0D0+XSI)/XDET/60.0D0 C S7C1=(4.0D0*XDET+17.0D0*XS3-15.0D0*XDET*XSI)/(2520.0D0*XDET3)0D0*XDET2) S7C3=((6.0D0*XSI12-1.0D2*XI1)*XDET+53.0D0*XS2)/(2520.0D0*XDET2) S7C4=(15.0D0-XDET*XI3-2.0D0*XSI)

C. Am, H. , R. Ipar-)-writeham0,-'time=-',, T. Am, R. Ham et al., AM(3) DIMENSION, ) WRITE (6,*) 'ERR HAM=',(HAM1-HAM0)/IPAR) HAM=AM(1)**2/RPAR(11)+AM(2)**2/RPAR(12)+AM(3)**2/RPAR(13) HAM=HAM/2.0D0+POT RETURN END c) DIMENSION Q(4) DIMENSION IPAR(*),RPAR(*) POT=Q(1)**2-Q(2)**2-Q(3)**2+Q(4)**2 POT=0.0D0 RETURN END c SUBROUTINE POTENP(Q,POTP,RPAR,IPAR) IMPLICIT REAL*8 (A-H,O-Z) DIMENSION Q(4),POTP(3) DIMENSION IPAR(*),RPAR(*) POTP(1)=-2*(Q(1)*Q(2)+Q(3)*Q

A. A. Agrachev, B. Bonnard, M. Chyba, and I. Kupka, Analyse pour les B-séries : une loi de susbstitution Résumé de la thèse en français Bibliography, Chapitres 1?2 Sub-Riemannian sphere in Martinet flat case. ESAIM/COCV (Control, Optimisation and Calculus of Variations), pp.377-448, 1997.

F. [. Blanes, . [. Casas, A. M. Benettin, F. Cherubini, and . Fassò, On the necessity of negative coefficients for operator splitting schemes of order higher than two A changing-chart symplectic algorithm for rigid bodies and other Hamiltonian systems on manifolds, Appl. Num. Math. SIAM J. Sci. Comput, vol.54, issue.23, pp.23-371189, 2001.

M. [. Bonnard, I. Chyba, and . Kupka, Non integrable geodesics in SR-Martinet geometry, Proceedings of the 1997 Summer Research Institute on Differential Geometry and Control, pp.119-134, 1999.

A. M. Bloch, P. E. Crouch, J. E. Marsden, and T. S. Ratiu, The symmetric representation of the rigid body equations and their discretization, Nonlinearity, vol.15, issue.4, pp.1309-1341, 2002.
DOI : 10.1088/0951-7715/15/4/316

F. [. Blanes, J. Casas, and . Ros, Symplectic integrators with processing: a general study, SIAM J. Sci. Comput, vol.21, pp.149-161, 1999.

F. [. Blanes, J. Casas, and . Ros, Processing symplectic methods for nearintegrable Hamiltonian systems, Celestial Mechanics and Dynamical Astronomy, vol.77, issue.1, pp.17-35, 2000.
DOI : 10.1023/A:1008311025472

F. [. Blanes, J. Casas, and . Ros, High-order Runge???Kutta???Nystr??m geometric methods with processing, Applied Numerical Mathematics, vol.39, issue.3-4, pp.245-259, 2001.
DOI : 10.1016/S0168-9274(00)00035-0

E. [. Bandrauk, H. Dehghanian, and . Lu, Complex integration steps in decomposition of quantum exponential evolution operators, Chemical Physics Letters, vol.419, issue.4-6, pp.346-350, 2006.
DOI : 10.1016/j.cplett.2005.12.006

F. [. Bates and . Fassò, The conjugate locus for the Euler top I. The axisymmetric case, International Mathematical Forum, vol.2, issue.43, pp.2109-2139, 2007.
DOI : 10.12988/imf.2007.07190

A. [. Benettin and . Giorgilli, On the Hamiltonian interpolation of near-to-the identity symplectic mappings with application to symplectic integration algorithms, Journal of Statistical Physics, vol.73, issue.5-6, pp.1117-1143, 1994.
DOI : 10.1007/BF02188219

. [. Bibliography, G. Bonnard, E. Launay, and . Trelat, The transcendence needed to compute the sphere and wave front in martinet sr-geometry, J. Math. Sci, vol.103, issue.6, pp.688-708, 1999.

J. [. Bonnans and . Laurent-varin, Computation of order conditions for symplectic partitioned Runge-Kutta schemes with application to optimal control, Numerische Mathematik, vol.103, issue.1, pp.1-10, 2006.
DOI : 10.1007/s00211-005-0661-y
URL : https://hal.archives-ouvertes.fr/inria-00070605

]. D. Bro37 and . Brouwer, On the accumulation of errors in numerical integration, Astronomical Journal, vol.46, pp.149-153, 1937.

]. Bro00, . Ch, and . Brouder, Runge-Kutta methods and renormalization, Euro. Phys. J. C, vol.12, pp.521-534, 2000.

E. [. Bonnard and . Trelat, On the role of abnormal minimizers in sr-geometry

]. J. But63 and . Butcher, Coefficients for the study of Runge-Kutta integration processes, J. Austral. Math. Soc, vol.3, pp.185-201, 1963.

]. J. But64a and . Butcher, Implicit Runge-Kutta processes, Math. Comput, vol.18, pp.50-64, 1964.

]. J. But64b and . Butcher, Integration processes based on Radau quadrature formulas, Math. Comput, vol.18, pp.233-244, 1964.

]. J. But69 and . Butcher, The effective order of Runge-Kutta methods, Proceedings of Conference on the Numerical Solution of Differential Equations, pp.133-139, 1969.

]. J. But72 and . Butcher, An algebraic theory of integration methods, Math. Comput, vol.26, pp.79-106, 1972.

F. Castella, P. Chartier, S. Descombes, and G. Vilmart, Splitting methods with complex times for parabolic equations, BIT Numerical Mathematics, vol.150, issue.3, 2008.
DOI : 10.1007/s10543-009-0235-y
URL : https://hal.archives-ouvertes.fr/hal-00777092

D. Calaque, K. Ebrahimi-fard, and D. Manchon, Two Hopf algebras of trees interacting, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00288313

E. [. Chartier, A. Faou, and . Murua, An Algebraic Approach to Invariant Preserving Integators: The Case of Quadratic and Hamiltonian Invariants, Numerische Mathematik, vol.29, issue.3, pp.575-590, 2006.
DOI : 10.1007/s00211-006-0003-8

E. Celledoni, F. Fassò, N. Säfström, and A. Zanna, The Exact Computation of the Free Rigid Body Motion and Its Use in Splitting Methods, SIAM Journal on Scientific Computing, vol.30, issue.4, pp.2084-2112, 2008.
DOI : 10.1137/070704393

A. [. Creutz and . Gocksch, Higher-order hybrid Monte Carlo algorithms, Physical Review Letters, vol.63, issue.1, pp.9-12, 1989.
DOI : 10.1103/PhysRevLett.63.9

]. J. Cha03 and . Chambers, Symplectic integrators with complex time steps, Astron. J, vol.126, pp.1119-1126, 2003.

]. M. Chsc08a, T. Chyba, R. N. Haberkorn, S. K. Smith, and . Choi, Autonomous underwater vehicles: Development and implementation of time and energy efficient trajectories, Ship Technology Research, vol.55, issue.2, pp.36-48, 2008.

M. Chyba, T. Haberkorn, R. N. Smith, and S. K. Choi, Design and implementation of time efficient trajectories for autonomous underwater vehicles, Ocean Engineering, vol.35, issue.1, 2008.
DOI : 10.1016/j.oceaneng.2007.07.007
URL : https://hal.archives-ouvertes.fr/hal-00367481

E. [. Chartier, G. Hairer, and . Vilmart, A substitution law for B-series vector fields, INRIA Report, issue.5498, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00070509

E. [. Chyba, G. Hairer, and . Vilmart, Symplectic integrators in sub- Riemannian geometry: the Martinet case, INRIA Report, issue.6017, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00113372

P. Chartier, E. Hairer, and G. Vilmart, Modified differential equations, ESAIM: Proceedings, vol.21, pp.16-20, 2007.
DOI : 10.1051/proc:072102
URL : https://hal.archives-ouvertes.fr/hal-00847919

P. Chartier, E. Hairer, and G. Vilmart, Numerical integrators based on modified differential equations, Mathematics of Computation, vol.76, issue.260, pp.1941-1953, 2007.
DOI : 10.1090/S0025-5718-07-01967-9
URL : https://hal.archives-ouvertes.fr/hal-00847907

E. [. Chyba, G. Hairer, and . Vilmart, The role of symplectic integrators in optimal control. Optimal Control, Applications and Methods, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00772085

D. [. Connes and . Kreimer, Hopf Algebras, Renormalization and Noncommutative Geometry, Communications in Mathematical Physics, vol.199, issue.1, pp.203-242, 1998.
DOI : 10.1007/s002200050499

D. [. Connes and . Kreimer, Renormalization in Quantum Field Theory and the Riemann-Hilbert Problem I: The Hopf Algebra Structure of Graphs and the Main Theorem, Communications in Mathematical Physics, vol.210, issue.1, pp.249-273, 2000.
DOI : 10.1007/s002200050779

H. [. Connes and . Moscovici, Hopf Algebras, Cyclic Cohomology and the Transverse Index Theorem, Communications in Mathematical Physics, vol.198, issue.1, pp.199-246, 1998.
DOI : 10.1007/s002200050477

M. P. Calvo, A. Murua, and J. M. Sanz-serna, Modified equations for ODEs, Contemporary Mathematics, vol.172, pp.63-74, 1994.
DOI : 10.1090/conm/172/01798

]. M. Cro05 and . Crouzeix, Approximation of parabolic equations, 2005.

J. [. Channell and . Scovel, Symplectic integration of Hamiltonian systems, Nonlinearity, vol.3, issue.2, pp.231-259, 1990.
DOI : 10.1088/0951-7715/3/2/001

N. [. Celledoni and . Säfström, Efficient time-symmetric simulation of torqued rigid bodies using Jacobi elliptic functions, Journal of Physics A: Mathematical and General, vol.39, issue.19, pp.5463-5478161, 1994.
DOI : 10.1088/0305-4470/39/19/S08

]. S. Des01 and . Descombes, Convergence of a splitting method of high order for reactiondiffusion systems, Bibliography [Dia96] B.O. Dia. Méthodes de directions alternées d'ordre élevé en temps, pp.1481-1501, 1996.

B. [. Dullweber, R. Leimkuhler, and . Mclachlan, Symplectic splitting methods for rigid body molecular dynamics, The Journal of Chemical Physics, vol.107, issue.15, pp.5840-5851, 1997.
DOI : 10.1063/1.474310

M. [. Descombes and . Ribot, Convergence of the Peaceman-Rachford approximation for reaction-diffusion systems, Numerische Mathematik, vol.95, issue.3, pp.503-525, 2003.
DOI : 10.1007/s00211-002-0434-9

]. A. Dür86 and . Dür, Möbius functions, incidence algebras and power series representations, In Lecture Notes in Math, vol.1202, 1986.

]. L. Eul68 and . Euler, Institutionum Calculi Integralis. Opera omnia, 1768.

]. L. Eva83 and . Evans, An introduction to mathematical optimal control theory, version 0.1. Lecture notes available at http://math.berkeley.edu/~evans/control.course.pdf, 1983. [Fas03] F. Fassò. Comparison of splitting algorithm for the rigid body, J. Comput. Phys, vol.189, pp.527-538, 2003.

]. K. Fen86 and . Feng, Difference schemes for Hamiltonian formalism and symplectic geometry, J. Comp. Math, vol.4, pp.279-289, 1986.

A. [. Fassò, N. Giacobbe, and . Sansonetto, Periodic flows, rank-two Poisson structures, and nonholonomic mechanics. Regular and Chaotic Dynamics, pp.267-284, 2005.

E. [. Faou, T. Hairer, and . Pham, Energy Conservation with Non-Symplectic Methods: Examples and Counter-Examples, BIT Numerical Mathematics, vol.83, issue.1?4, pp.699-709, 2004.
DOI : 10.1007/s10543-004-5240-6

]. E. For89 and . Forest, Canonical integrators as tracking codes, AIP Conference Proceedings, vol.184, pp.1106-1136, 1989.

O. [. Fauve and . Thual, Localized structures generated by subcritical instabilities, J. Phys. France, vol.49, pp.1829-1833, 1988.
URL : https://hal.archives-ouvertes.fr/jpa-00210864

K. Feng, H. M. Wu, M. Qin, and D. L. Wang, Construction of canonical difference schemes for Hamiltonian formalism via generating functions, J. Comp. Math, vol.7, pp.71-96, 1989.

A. [. Guibout and . Bloch, A discrete maximum principle for solving optimal control problems, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), pp.1806-1811, 2004.
DOI : 10.1109/CDC.2004.1430309

T. [. Goldman and . Kaper, th-Order Operator Splitting Schemes and Nonreversible Systems, SIAM Journal on Numerical Analysis, vol.33, issue.1, pp.349-367, 1996.
DOI : 10.1137/0733018

J. [. Ge and . Marsden, Lie-Poisson Hamilton-Jacobi theory and Lie-Poisson integrators, Phys. Lett. A, vol.133, pp.134-139, 1988.

J. [. Gegechkori, M. Rogava, and . Tsiklauri, High degree precision decomposition method for the evolution problem with an operator under a split form, ESAIM: Mathematical Modelling and Numerical Analysis, vol.36, issue.4, pp.693-704, 2002.
DOI : 10.1051/m2an:2002030

[. Gegechkori, J. Rogava, and M. Tsiklauri, The fourth order accuracy decomposition scheme for an evolution problem, ESAIM: Mathematical Modelling and Numerical Analysis, vol.38, issue.4, pp.707-722, 2004.
DOI : 10.1051/m2an:2004031

]. W. Hag99, ]. W. Hagerhag00, and . Hager, Optcon_xrk, Fortran software for solving unconstrained control problems using explicit Runge-Kutta discretizations. http://www.math.ufl Runge-Kutta methods in optimal control and the transformed adjoint system, Numer. Math, vol.87, issue.2, pp.247-282, 1999.

]. E. Hai94 and . Hairer, Backward analysis of numerical integrators and symplectic methods, Annals of Numerical Mathematics, vol.1, pp.107-132, 1994.

]. E. Hai99 and . Hairer, Backward error analysis for multistep methods, Numer. Math, vol.84, pp.199-232, 1999.

]. E. Hai05 and . Hairer, Long-time energy conservation of numerical integrators, Found. of Comput. Math, pp.162-180, 2005.

]. P. Hen62 and . Henrici, Discrete Variable Methods in Ordinary Differential Equations, 1962.

]. K. Heu00 and . Heun, Neue Methode zur approximativen Integration der differentialgleichungen einer unabhängigen veränderlichen, Zeitschr. für Math. u. Phys, vol.45, pp.23-38, 1900.

]. N. Hig93 and . Higham, The accuracy of floating point summation, SIAM J. Sci. Comput, vol.14, pp.783-799, 1993.

C. [. Hairer, G. Lubich, and . Wanner, Geometric Numerical Integration. Structure-Preserving Algorithms for Ordinary Differential Equations, Series in Computational Mathematics 31, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01403326

R. [. Hairer, A. Mclachlan, and . Razakarivony, Achieving Brouwer???s law with implicit Runge???Kutta methods, BIT Numerical Mathematics, vol.58, issue.4, pp.231-243, 2008.
DOI : 10.1007/s10543-008-0170-3

R. [. Hairer, R. D. Mclachlan, and . Skeel, On energy conservation of the simplified Takahashi-Imada method, ESAIM: Mathematical Modelling and Numerical Analysis, vol.43, issue.4, 2008.
DOI : 10.1051/m2an/2009019

]. E. Ho08a, A. Hansen, and . Ostermann, Exponential splitting for unbounded operators, 2008.

]. E. Ho08b, A. Hansen, and . Ostermann, High order splitting methods for analytic semigroups exist, 2008.

G. [. Hairer and . Vilmart, Preprocessed discrete Moser???Veselov algorithm for the full dynamics of a rigid body, Journal of Physics A: Mathematical and General, vol.39, issue.42, pp.13225-13235, 2006.
DOI : 10.1088/0305-4470/39/42/003

G. [. Hairer, C. G. Wanner, and . Jacobi, On the Butcher group and general multi-value methods Computing Sur la rotation d'un corps, Journal für die reine und angewandte Matematik, pp.1-15293, 1974.

]. W. Kah65 and . Kahan, Further remarks on reducing truncation errors, Comm. ACM, vol.8, p.40, 1965.

]. Kos94 and . Koseleff, Formal calculus for Lie methods in Hamiltonian mechanics, 1994.

]. R. Koz07 and . Kozlov, Conservative discretizations of the Kepler motion, J. Phys. A, vol.40, pp.4529-4539, 2007.

I. [. Kolmogoroff, N. S. Petrovsky, and . Piscounoff, Etude de l'équation de la diffusion avec croissance de la quantité de matière et son application a un problème biologique. Bulletin de l, pp.1-25, 1937.

E. [. Kustaanheimo and . Stiefel, Perturbation theory of Kepler motion based on spinor regularization, J. Reine Angew. Math, vol.218, pp.204-223, 1965.

]. W. Kut01 and . Kutta, Beitrag zur näherungsweisen Integration totaler Differentialgleichungen, Zeitschr. für Math. u. Phys, vol.46, pp.435-453, 1901.

T. [. Leok, N. H. Lee, and . Mcclamroch, Attitude maneuvers of a rigid spacecraft in a circular orbit, Proceedings of the IEEE American Control Conference, pp.1742-1747, 2006.

P. [. Laskar, High order symplectic integrators for perturbed Hamiltonian systems, Celestial Mechanics and Dynamical Astronomy, vol.80, issue.1, pp.39-62, 2001.
DOI : 10.1023/A:1012098603882
URL : https://hal.archives-ouvertes.fr/hal-00618038

S. [. Leimkuhler and . Reich, Simulating Hamiltonian Dynamics, Cambridge Monographs on Applied and Computational Mathematics, vol.14, 2004.
DOI : 10.1017/CBO9780511614118