Chancelier, J. Ph.

Sulem, A.

Numérisation de Documents Anciens Mathématiques

CahiersenbergGUTm MACROTEX : UN GÉNÉRATEUR DE CODELATEX IMPLÉMENTÉ EN MACSYMAP J. Ph. Chancelier, A. SulemCahiers GUTenberg, n 3 (1989), p. 32-39.<http://cahiers.gutenberg.eu.org/fitem?id=CG_1989___3_32_0>© Association GUTenberg, 1989, tous droits réservés.L’accès aux articles des Cahiers GUTenberg(http://cahiers.gutenberg.eu.org/),implique l’accord avec les conditions généralesd’utilisation (http://cahiers.gutenberg.eu.org/legal.html).Toute utilisation commerciale ou impression systématiqueest constitutive d’une infraction pénale. Toute copie ou impressionde ce fichier doit contenir la présente mention de copyright.un générateur de code BTEX implémenté en MACSYMA J.Ph. CHANCELIER et A. SULEM INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cédez, France Abstract MA- is a code generator producing BTEX code from Macsyma, a system for symbolic calculus. MA- contains both translation functions from Macsyma into UTFX and paper generation facihties. SO it adds the power of Macsyma to the quality of texts edited through UTEX. MA- is written in Common-Lisp. 1. Introduction Macsyma [4] est un langage de calcul for- mel conçu pour faire des calculs numé- riques et des manipulations algébriques (dérivation, intégration, résolution d’équa- tions, simplification d’expressions, calcul matriciel . . .). BTEX [l] est un programme permet- tant d’obtenir une grande qualité d’édi- tion, en particulier d’édition scientifique. (Rappelons que ~&TEX rajoute à T@ une collection de commandes permettant de simplifier l’édition de texte). Notre but est de réunir Macsyma et I&TEX afin d’obtenir un outil facile à uti- liser associant la puissance de manipula- tion algébrique de Macsyma et la quali- té d’édition de I&TEX. Un utilisateur peut ainsi faire du calcul algébrique dans Mac- syma et générer du code BTEX sans avoir à connaître la syntaxe Z&TEX. Nous avons donc écrit un générateur de code I~TEX en Common Lisp que nous avons appe- lé “MACIUYQX”. Ce programme tourne sur Machine Symbolics Lisp, release-7 en 32 Common Lisp [5] et sur Sun en Franz Lisp. MA- comprend un ensemble d’ins- tructions pour la traduction d’expres- sions mathématiques Macsyma en syntaxe I&TEX (en particulier une instruction per- mettant de découper les grosses formules automatiquement). De plus, des facilités sont rajoutées pour générer un document I&TEX au niveau Macsyma. 2. Description de MA- 2.1. Le traducteur Macsyma-uTj+ On décrit ici les fonctions de base du tra- ducteur illustrées d’exemples (on donnera l’instruction MA- suivie du code @TEX généré). Une documentation plus complète avec un manuel de référence se trouve en [a]. l La fonction de base TEX( exp) a pour argument une expression mathématique en syntaxe Mac- syma qu’elle traduit en syntaxe I4TEX et facul- tativement une étiquette pour la numéroter. (Cl) TEX(SIN(X)+X/Y-IN'EGRATE (F(X),X,~,~),LABEL); x l -- J y 0 F(X) dX + sin (X) (1) *La fonction EXPTXT(ezp) est analogue à la fonction TEX pour une formule à insérer dans du texte. *La fonction FORMATT(string, args) est simi- laire à la fonction Lisp format [5], avec les direc- tives de formattage supplémentaires suivantes : o-k- and -L traduisent des formules en UT$ utilisant respectivement les fonctions TEX et EXPTXT. MA- O-N traduit des expressions non mathéma- tiques en DTEX. s-Y et -Z permettent d’insérer respecti- vement des références d’équations ou des références bibliographiques. (C3) FORMATT(" Exemple de -N dans du texte : -L.","foxmule", SUM(X(I) ,I,A,B)) ; Exemple de formule dans du texte : xf=, X(I) l La fonction LISTEXPT a pour argument une liste d’expressions mathématiques et facultati- vement un argument précisant l’alignement et une étiquette. Elle écrit le système d’expres- sions l’une en dessous de l’autre en syntaxe BTEX selon l’alignement souhaité : centré (par défaut), rectifié à droite ou à gauche. (CS) LISTEXFT( [SUM(X(I> ‘N3,I. Nl,N2), INTEGRATE(F(X), X,O,INF)I) ; E 0 x I N3 I=N1 J t- F(X) dX 0oLa fonction DECOUPET permet de découper une longue formule. (C6) DECMJPET(F(X), CCOS(Y),1.23* INTEGRATE(G(X),X,O.l), SIN(X)l,["+"."-'Il); F(X) = Cos 07 J 1 + 1.23 G(X) dX s91n (X) l La macro-instruction DECOUPEM s’utilise quand on ne sait pas a priori comment découper une longue formule. Elle a pour premier argument une formule Macsyma qu’elle traduit en Latex apres l’avoir découpée en sous- formules dont la taille est contrôlée par la valeur d’un deuxième argument (l’étiquette est optionnelle). (~7) DECOUPEM (MATRIX ([SVM(SUM(XCI,JI,I,1,Nl), J,l,N2), INTEGRATE(F(X) ,X,0,1)1 > CDIFF(F(X) ,X[ll ,N) > PRODUCT(X[Il ,I,l,N)I) > LAB ,601; L’utilisateur peut lui-même définir des fonctions de traduction particulières d’opé- rateurs Macsyma. f El E2 \ (2) E2 = J ’ F(X) dX 02.2. Le générateur de documents UTEX 2.2.1. Les instructions démentaires Ce sont les fonctions du traducteur Macsy- ma-uT$ (TEX, EXPTXT, FORMATT, . . .) et des fonctions Macsyma qui génèrent une instruction LATEX particulière telles que décrites dans le tableau 1. On a égale- ment défini des instructions de mise à jour de listes, comme ADDJtEFERENCET et ADD-NOTATIONT qui permettent de stocker dans des piles les références et les notations utiles pour la génération d’un document. L’instruction CONTEXTT ini- tialise ces piles et précise les paramètres de style du document. 2.2.2. Les macro-instructions Les macro-instructions sont des com- mandes qui génèrent plusieurs instruc- 33 J. Ph. Chancelier et A. Sulem Tableau 1 : Fonctions du traducteur MA. documentstylet( “article” 11) labelt ( “Euler”) reft (“Newton”) citet (“aut 1”) sectiont ( U méthode de ~N”,“résolution”) l&TEX \documentstyle[llpt]{article} \label{Euler} \ref{Newton) \Cite{ aut 1) \Section[ méthode de résolution] { méthode de résolution1 Tableau 2 : Quelques macro-instructions MAW abstractm(prog) itemizem (item1 . . .) stylem (doc,font,height,width,top,odd, even,par) citem([keyl,sourcel], . . .) notationm() bibliom() reportm(titre,auteurs,résumé,chapitres) BTEX \begin{abstract} wx \end{ abstract} \begin(itemize} \item item1 . . . \end{itemize} \documentstyle[font]{doc} \textheight= height pt \textwidth=width pt \topmargin=top pt \oddsidemargin=odd pt \evensidemargin=even pt \marginparwidth=par pt \cite[keyl] et met à jour la pile des références \section{notation} \begin{itemize} notation1 . *. \end{itemize} \begin{thebibliography}{3} \bibitem{keyl) source1 . . D \end{thebibliography} style titre auteurs \begin{document} \maketitle \tableofcontents résumé notations chapitres références \end{document} tions élémentaires. Le tableau 2 en montre 34 quelques-unes. 2.2.3. Génération du code l&TEX Un programme MACROTEX est construit en programmant dans Macsyma. C’est une liste Macsyma composée d’instructions MA- (instructions élémentaires ou macro-instructions). Chaque instruction est une liste Macsyma dont le premier élé- ment est une fonction MACRGQX et les suivants sont ses arguments. La traduction en BTEX est faite par l’appel de la fonction EXECUTE sur cette liste Macsyma. Par exemple, ezectite([tez, a + b]) sera équiva- lent à tez(a + 6). Il est possible d’envoyer directement le code généré dans un fichier. 3. Exemple de rapport généré L’exemple suivant montre l’utilisation de MA- pour générer un article. On définit pour cela la fonction Macsyma décrite dans la figure 1. Cette fonction utilise les constantes et les fonctions Macsyma montrée dans la figure 2. L’appel de la fonction control(2, 2, v, [l,l], [u[l], u[2]], u[112 + 42]“, “stochas- tique”) génère l’article l&TEX se trouvant en fin de cet article. Références bibliographiques 111 PI PI L. LAMPORT. I&TEX. A Docu- ment Preparation System. Addison- Wesley Publishing Company, 1986. J.P. CHANCELIER - A.SULEM. MACROl&X : A LATEX CODE GENERATOR IN MACSYMA. Rap- port technique Inria no93 (décembre 1987). J.P. CHANCELIER - A.SULEM. “MACROW : A LATEX CODE GENERATOR IN MACSYMA”, MACSYMA newsletter, Volume 5, number 3, July 1988. [4] MACSYMA Reference Manual. Ver- sion 12 (1986). Symbolics, Inc. [5] G. STEELE. COMMON LISP. The Zanguage. Digital Press. 35 J. Ph. Chancelier et A. Sulem control(nl,n2,v,df,dr,cf,alea):=block( CONTEXTTO, ADD,REFERENCET(CFleming," FLEMING,W.H.-RISHEL,R.(l975). Deterministic and Stochastic Optimal Control. Springer Verlag, New York."]), ADD,NOTATIONT([FORMATT," variables d'\\'etat: '1. ", xx], [FoRMATT, 11 variables de contr\\-ole: 'L ",uul, execute( CREPORTM , CTITLET, "Un probl\\‘eme de contr\\-ole "N ", alea], [AUTHORT,l?J.P. Chancelier-A.Sulem", i'Inria"]], CABSTRACTM, CFORMATT, "On consid\\'ere un probl\\'eme de contr\\-ole *N que l'on r\\'esout par la programmation dynamique. Il, alea 11, C CSXTI~NT, "M\\'ethode de la programmation dynamique"], CFORMATT, "Le co\\^ut optimal satisfait l'\\'equation de Bellman 'Y avec des conditions dirichlet homog\\‘ene.",Fleming], [TEX, minim(uu,auv+cf)-v = 0, eq], [FORMATT, "avec 'K", hamiltonien(df,dr,nl,v)l, CSOBSECTIONT, "Discr\\'etisation:"l, [FORMATT,"On note "L le i-\\'eme pas de discr\\'etisation. On d\\9efinit:",\h[\i]l], CLISTEXPT, translation(nl,~~,~)1 , [FORMUT, "L'\\'equation de Bellman discr\\'etis\\'ee est obtenue en rempla\\c(c)ant l'op\\'erateur $A$ par 'L dans l'\\'equation -Z avec", A[\h], eql, [DECOUPEM, funmake(A[\h],uu).v = factorise(df,dr,nl,v)], CFORMATT, "Cela s'interpr\\‘ete comme un probl\\'eme de contr\\^ole de cha\\-C\\i)ne de Markov. La matrice de transition est:'K", matrice(df,dr,nl,xx,v)]ll))$ Figure 1 : Fonction Macsyma utilisée dans l’exemple 36 xx:makelist(\xCil ,i,l,nl), uu:makelist(\uiil,i,l,n2), auv:funmake('A,uu).v, translation(n,xx,v):=makelist(sCil(v) =funmake(v,subst(xx[i~+\h[i],xx[i],xx)),i,l,n~$ hamiltonien(aa,b,n,v):= auv=sum(aa[i].(D[i]'2>.v+b[i] SD[i3.v,i,l,n>$ discret(a,b,n,v):= expand(sum(a[il*d2(i,v)+b[i~*dl(i,v),i,l,n))$ factorise(a,b,n,v):= apply("+",map(lembda(Cxl, coeff(discret(a,b,n,v),x).x), append(Cvl,makelist(s[il .v,i,l,n), mak,elist(sCil-'(-l).v,i,l,n))))$ matrice(a,b,n,xx,v):= apply(matrix, append( [['lPt-Initial","Pt-Final", "Probabilit\\'e-transition"l p cxx,xx,011, makelist(lign(discret(a,b,n,v),i,\hCil, S[i] .v,n,xx,v),i,l,n), makelist(lign(discret(a,b,n,v),i,-\hCil, S[i]--(-l>.v,n,xx,v>,i,l,n>>)$ lign(l,i,sl,s2,n,xx,v):=Cxx, subst(xx[il+sl,xxCil,xx>, ratsimp(coeff(l,s2)/-coeff(l,v))l$ Figure 2 : Constantes tfonctions Macsyma utilisées parl'exemple 37 J. Ph. Chancelier et A. Sulem Un problème de contrôle stochastique J.P. Chancelier-A. Sulem Inria Résumé On considhe un probléme de contrôle stochastique que l’on résout par la programmation dynamique. 1. Notations l Variables d’état: [zr,~] l Variables de contrôle: [ur, u2] 2. Méthode de la programmation dynamique Le coût optimal V satisfait l’équation de Bellman [l] avec des conditions de Dirichlet homogène. avec $; (A(w2)V i- u; + u:) - V = 0 (1) A(~I, U2)V = u&V + I?;v + UlDlV + D;2V 2.1. Discrétisation On note hi le i-ème pas de discrétisation. On définit: SI(V) = V(a + hl>d S2(V) = V(w3~2 + hz) L’équation de Bellman discrétisée s’obtient en remplaçant l’opérateur A par Ah dans l’équation (1) avec &(U1> U2)V = E5+E4+E3+E2+El El = E2 = E3 = ( -2hT2 - 2hF2) V E4 = f 0.5Ul - \ hl t hT2 > &V E5 = 38 Cela s’interprète comme un problème de contrôle de chaîne de Markov. La matrice de transition est: Pt - Initial Pt - Final Probabilité - transition [Zl> 221 [a 7 321 0 b1921 h+h,z2] (hw + 2p; (4h$ + 4hf) h 221 [21>22 + h2] (qh2u2 + 2h3 (4h; + 4h:) k1921 bl - hl,z2] _ (hlw - 2)h; (4h; + 4hf) [a,~21 h>~2 - hz] _ (h:hw - 2h:) (4h; + 4h:) Références bibliographiques [l] FLEMING,W.H.-RISHEL,R.(1975). Deterministic and Stochastic Optimal Control. Springer Verlag, New York. 39 

MACROTeX : un générateur de code LaTeX implémenté en MACSYMA

http://www.numdam.org/item/CG_1989___3_32_0.pdf

MACROTeX : un générateur de code LaTeX implémenté en MACSYMA

Abstract

Similar works

Full text

Available Versions

Numérisation de Documents Anciens Mathématiques