obtenir le fichier - Educmath

Figure 1. A gauche, les propositions après la frappe de « ( ». Au milieu, lespropositions pour la frappe de \f devant x dans x∈Z(début des commandes Latex\forall et de \f). A droite, les propositions pour la frappe de « / » après x dans 3xyz.La souplesse d’epsilonwriter se décline de plusieurs façons. C’est, par exemple,la possibilité de supprimer le dénominateur d’une fraction en conservant lenumérateur, ou encore d’ajouter ou d’enlever une partie haute ou basse à ∫ ou ∑, ceque les éditeurs d’équations ne permettent pas.Coller ou déposer une formule dans une autre se fait avec un opérateur choisi parl’utilisateur dans un popup. Le glisser-déposer permet de faire des petits calculs.Ainsi, si dans 5x=2x-4 on fait un glisser-déposer de 2x vers la gauche de « = » et sil’on dépose avec « - » (choix dans le popup), on obtient 5x-2x=-4. Coller sur unesous-formule sélectionnée est réalisé comme une substitution mathématique. Dansun système d’équations contenant x=y-2z+5, on peut copier y-2z+5 puis sélectionnerx dans les autres équations et « coller » pour faire les substitutions de x par y-2z+5(des parenthèses apparaissent autour de y-2z+5 quand cela est nécessaire). Cesmanipulations peuvent en particulier servir à rédiger des corrections.2. Des remplacements mathématiques et des calculsChercher-remplacer dans epsilonwriter permet aussi de faire des substitutionsmathématiques. Ainsi, la substitution x=y-2z+5 peut s’appliquer à un système (ou àtoute autre formule) en entrant x dans la fenêtre « Rechercher », y-2z+5 dans lafenêtre « Remplacer par » et en utilisant les boutons « Chercher » et « Remplacer ».Chercher-remplacer fonctionne aussi « avec modèle » : des variables dites demodèle ou d’unification, représentées dans un cercle, permettent de demander uneunification avec une sous-expression au lieu d’une correspondance directe, voirfigure 2.Figure 2. Trois remplacements de u+u par 2u, u étant une variable d’unificationdans un chercher-remplacer aussi « avec modèle »Actes des journées mathématiques 2011ENS de Lyon • IFÉ179