summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r--Master/texmf-dist/doc/generic/xlop/LISEZ.MOI58
-rw-r--r--Master/texmf-dist/doc/generic/xlop/README49
-rw-r--r--Master/texmf-dist/doc/generic/xlop/XLOP0335
-rw-r--r--Master/texmf-dist/doc/generic/xlop/fr-user.pdfbin0 -> 283832 bytes
-rw-r--r--Master/texmf-dist/doc/generic/xlop/fr-user.tex2387
-rw-r--r--Master/texmf-dist/doc/generic/xlop/history.txt55
-rw-r--r--Master/texmf-dist/doc/generic/xlop/xlop.tex3948
7 files changed, 6532 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/xlop/LISEZ.MOI b/Master/texmf-dist/doc/generic/xlop/LISEZ.MOI
new file mode 100644
index 00000000000..01be2e2d666
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/LISEZ.MOI
@@ -0,0 +1,58 @@
+PRÉSENTATION RAPIDE
+-------------------
+L'extension xlop s'articule autour de deux fonctionnalités
+générales. La première consiste à afficher les opérations de façon
+automatique (posées ou en ligne), c'est-à-dire en ne fournissant que
+les opérandes de l'opération. La seconde consiste à permettre de
+manipuler des nombres de taille quelconque, la seule limitation étant
+la mémoire de TeX. Ces manipulations incluent toutes les opérations
+usuelles, les entrées-sorties, la notion de variable numérique, les
+tests et quelques opérations de haut niveau (sans permettre les
+opérations nécessitant un traitement infini telles que la racine
+carrée, l'exponentielle, les fonctions trigonométriques, etc.).
+
+DISTRIBUTION
+------------
+Contenu
+-------
+La distribution comporte les fichiers suivants :
+ - LISEZ.MOI (celui que vous êtes en train de lire) ;
+ - README (la même en anglais) ;
+ - XLOP03 qui indique ce que devrait fournir la version prochaine ;
+ - history.txt qui retrace l'historique rapide du projet ;
+ - manual.sty qui est le fichier de style nécessaire à la compilation
+ du fichier fr-user.tex ;
+ - fr-user.tex qui est le source du manuel de l'utilisateur de xlop ;
+ - fr-user.pdf qui est le manuel de l'utilisateur de xlop ;
+ - xlop.tex qui contient le code de l'extension ;
+ - xlop.sty qui permet d'utiliser xlop comme une extension LaTeX.
+
+Installation
+------------
+L'extension étant prévue pour pouvoir fonctionner aussi bien sous TeX
+que sous LaTeX, les recommandations de la TDS indiquent que l'endroit
+le plus correct pour placer ces fichiers (xlop.tex et xlop.sty) est :
+[texmf]/tex/generic/xlop/.
+
+Il reste les fichiers de documentation (LISEZ.MOI, README,
+history.txt, manual.sty et fr-user.*). Leur place normale devrait
+être [texmf]/doc/generic/xlop/.
+
+Il reste à rafraichir la base en lançant la commande texhash (ou
+mktexlsr, ou ...) et tout devrait être opérationnel.
+
+BOGUES ET AUTRES DÉSAGREMENTS
+-----------------------------
+Si vous détectez un bogue, quel que soit sa gravité (cela peut
+simplement être des espaces parasites par exemple) essayez de réaliser
+un exemple le plus court possible reproduisant le bogue. En
+particulier, ne mettez aucune autre extension non nécessaire. Envoyez
+le source ainsi qu'une explication, éventuellement très courte, du
+problème rencontré à l'adresse suivante :
+
+Jean-Come.Charpentier@wanadoo.fr
+
+Si vous souhaitez une certaine fonctionnalité pour une version
+ultérieure de l'extension, n'hésitez pas à en faire part à
+l'auteur. Pour aider mon logiciel antispam, écrivez 'xlop' dans le
+sujet du message.
diff --git a/Master/texmf-dist/doc/generic/xlop/README b/Master/texmf-dist/doc/generic/xlop/README
new file mode 100644
index 00000000000..c87c71c828a
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/README
@@ -0,0 +1,49 @@
+OVERVIEW
+--------
+Package xlop proposes two main features. First, xlop prints
+operations (displayed or running), that is, user write only
+operands. Second, xlop is able to deal with unlimited numbers, in
+fact, limitations are due to TeX memory. This features include
+basic arithmetic operations, input/ouput, numeric variables, tests,
+and some high level operation (without operations which imply infinite
+processing such roots, exponential, trigonometric functions, etc.).
+
+DISTRIBUTION
+------------
+Contents
+--------
+Distribution consists of files:
+ * README (the file you are reading)
+ * LISEZ.MOI (same in french)
+ * XLOP03 indicates what features the next version should be provide
+ * history.txt relates project history
+ * manual.sty package file to compile fr-user.tex
+ * fr-user.tex xlop user's manual input file
+ * fr-user.pdf xlop user's manual
+ * xlop.tex xlop code
+ * xlop.sty allow the use of xlop as LaTeX package
+
+Installation
+------------
+xlop can be used under TeX or LaTeX. Thus, TDS recommendations are
+that the best place to put files (xlop.tex and xlop.sty) is
+[texmf]/tex/generic/xlop/.
+
+For documentation files (README, history.txt, manual.sty, and
+fr-user.*), best place should be [texmf]/doc/generic/xlop/.
+
+You have just to run texhash command (or mktexlsr, or ...) to refresh
+your texmf base and all should work fine.
+
+BUGS AND TROUBLES
+-----------------------------
+If you detect some bug, whatever its seriousness (that could be just
+spurious spaces), try to illustre this error with an example as short
+as possible. Particularly, don't use unecessary package. Sent your
+code with a short explanation at:
+
+Jean-Come.Charpentier@wanadoo.fr
+
+If you wish for some feature in a future version, ask to the author.
+To help my antispam soft, could you please write 'xlop' in the message
+subject?
diff --git a/Master/texmf-dist/doc/generic/xlop/XLOP03 b/Master/texmf-dist/doc/generic/xlop/XLOP03
new file mode 100644
index 00000000000..b742723029a
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/XLOP03
@@ -0,0 +1,35 @@
+xlop is still under construction. In fact, xlop 0.2 is just a beta
+release; xlop 0.3 will provide:
+
+ * Full redefinition about internal number representation (faster
+ and less memory space).
+ * Some macros improved (\opprint, \opdisplay, \opput, ...).
+ * New parameters (format=normal/sci/eng, carrymul,
+ hyphen (multiline for very long numbers), fine division and
+ multiplication control, ...)
+ * Calculation on basis 2 to 36
+ e.g. \opadd[style=text]{"2"11010}{"2"10010} will display
+ 11010 + 10010 = 101100
+ * Support language (languages defined in babel, oldrussian, and
+ babylon) e.g. \div[displayintermediary=all]{33}{2} displays
+
+ language= french english
+
+ 33 | 2 16.5
+ -2 |--- ______
+ --- | 16,5 2 ) 33
+ 13 | 20
+ -12 | --
+ ---- | 13
+ 10 | 12
+ -10 | ----
+ --- | 1.0
+ 0 | 1.0
+ ---
+ 0
+ Language define decimal separator, thousand separator, type of
+ displayed multiplication, type of displayed division (Author knows
+ 3 types of multiplications and 2 types of divisions) .
+ * High level functions (exp, log, sin, asin, sinh, argsin, (idem
+ for cos, tan, and cot), sqrt, root).
+ * last but not least, english documentation!
diff --git a/Master/texmf-dist/doc/generic/xlop/fr-user.pdf b/Master/texmf-dist/doc/generic/xlop/fr-user.pdf
new file mode 100644
index 00000000000..4e30e3edc6c
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/fr-user.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/generic/xlop/fr-user.tex b/Master/texmf-dist/doc/generic/xlop/fr-user.tex
new file mode 100644
index 00000000000..9a8a37be4fc
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/fr-user.tex
@@ -0,0 +1,2387 @@
+\documentclass[12pt]{report}
+\usepackage{manual}
+\usepackage[frenchb]{babel}
+\fvset{label=source}% français
+
+\begin{document}
+\begin{titlepage}
+ \null\par\vfill
+ \begin{center}
+ \begin{minipage}{0.75\linewidth}
+ \hrule width\linewidth height2pt depth0pt
+ \hrule width0pt height3pt depth0pt
+ \hrule width\linewidth height1pt depth0pt
+ \hrule width0pt height18pt depth0pt
+ \begin{center}
+ \Huge\bfseries XLOP v \fileversion\par\vskip18pt
+ Manuel de l'utilisateur
+ \end{center}
+ \hrule width0pt height6pt depth0pt
+ \hrule width\linewidth height1pt depth0pt
+ \hrule width0pt height3pt depth0pt
+ \hrule width\linewidth height2pt depth0pt
+ \end{minipage}
+ \end{center}
+ \vfill
+ \begin{center}
+ Jean-Côme Charpentier\\
+ \today
+ \end{center}
+ \vfill\null\par
+\end{titlepage}
+\newpage
+\pagenumbering{roman}
+\tableofcontents
+\newpage
+\pagenumbering{arabic}
+
+\chapter{Présentation}
+\label{chap:Présentation}
+L'extension \package{xlop} a été développée pour permettre de réaliser
+automatiquement des calculs arithmétiques sur des nombres de taille
+quelconque et d'afficher les résultats sous forme posée ou en
+ligne. Voici un premier exemple permettant de donner un aperçu de la
+syntaxe de base :
+\begin{SideBySideExample}
+ \opadd{45,05}{78,4}
+\end{SideBySideExample}
+Ce premier exemple appelle quelques commentaires qui permettront de
+donner une idée sur la façon de manipuler l'extension.
+
+L'addition est posée \og comme à l'école \fg{} : il s'agit de la
+présentation par défaut. On a un alignement sur la virgule des
+opérandes et du résultat, le symbole opératoire placé à gauche est
+centrée verticalement entre les deux opérandes et le séparateur
+décimal est un point malgré le fait d'avoir indiquer les opérandes
+avec une virgule dans l'appel de la macro. Enfin, on notera la
+présence d'une retenue au dessus de la première opérande.
+
+Mis à part l'alignement sur la virgule qui est obligatoire pour
+l'addition posée, toutes les autres caractéristiques décrites
+ci-dessus sont paramétrables. Certaines macros de l'extension et, en
+tout cas, toutes les macros affichant les opérations arithmétiques
+admettent un argument optionnel qui permettra de contrôler la
+présentation. Pour cela, on utilisera une syntaxe \og à la keyval
+\fg{} : on spécifie une suite de modifications de paramètres par une
+liste d'affectations séparées par des virgules. Une affectation a
+une des deux syntaxes possibles ci-dessous :
+\begin{verbatim}
+ <paramètres>=<valeur>
+ <paramètre>
+\end{verbatim}
+la seconde possibilité étant en fait un raccourci pour :
+\begin{verbatim}
+ <paramètre>=true
+\end{verbatim}
+Dans cette liste d'affectation, on peut faire suivre les virgules par
+un ou plusieurs espaces mais il ne faut pas mettre d'espace de part et
+d'autre du signe égal ou avant la virgule : un paramètre ou une valeur
+pouvant (potentiellement) comporter le caractère espace.
+
+Ainsi, si l'on veut un séparateur décimal qui soit une virgule, un
+symbole opératoire placé en face de la seconde opérande et en
+supprimant la présence des retenues, il suffit d'indiquer :
+\begin{SideBySideExample}
+ \opadd[decimalsepsymbol={,},
+ voperator=bottom,
+ carryadd=false]{45.05}{78.4}
+\end{SideBySideExample}
+On notera la petite astuce consistant à mettre la virgule entre
+accolades dans la définition du symbole du séparateur décimal. En
+effet, la syntaxe :
+\begin{Verbatim}[xrightmargin=0pt]
+ \opadd[decimalsepsymbol=,,voperator=bottom,
+ carryadd=false]{45.05}{78.4}
+\end{Verbatim}
+est fautive : \package{xlop} ne comprenant plus trop bien ce qu'est
+cette \og liste \fg{} !
+
+Un autre point important quoique moins visible, est que les chiffres
+sont disposés à des emplacements très précis. Chaque chiffre est placé
+dans une boîte de largeur et de hauteur fixes (paramétrables), le
+séparateur décimal est, par défaut, placé dans une boîte de largeur
+nulle et toutes les lignes sont régulièrement espacées qu'il y ait ou
+non un trait horizontal. Cela permet d'obtenir des alignements
+rigoureux et permet également de placer ce que l'on veut à
+l'emplacement que l'on veut.
+\begin{SideBySideExample}
+ \psset{xunit=\opcolumnwidth,
+ yunit=\oplineheight}
+ \opadd{45.05}{78.4}
+ \oplput(1.5,3){retenue}
+ \psline{->}(1,3.15)(-3.25,3.15)
+\end{SideBySideExample}
+Cet exemple a été réalisé en utilisant l'extension
+\package{pstricks}\index{pstricks@\package{pstricks}}
+
+Nous avons dit précédemment que \package{xlop} était capable de
+manipuler des nombres de taille quelconque. Nous reviendrons plus en
+détail sur cette possibilité et nous nous contenterons ici de ne donner
+qu'un exemple de ce que cela peut offrir. Ne regardez pas trop le
+code, les explications seront données plus loin dans ce manuel, pour
+l'instant, admirez seulement le résultat !
+\begin{CenterExample}[xrightmargin=0pt]
+ \opdiv[style=text,period]{1}{49}
+\end{CenterExample}
+
+L'extension \package{xlop} offre quelques autres fonctionnalités. Il
+est ainsi possible de manipuler les nombres par l'intermédiaire de
+variables, ces variables pouvant être créées par une assignation
+simple ou bien comme résultat d'un calcul. On peut également manipuler
+les chiffres de façon individuelle :
+\begin{SideBySideExample}
+ \opadd*{45.05}{78.4}{r}%
+ Le premier chiffre après la virgule de
+ $45.05+78.4$ est un
+ \opgetdecimaldigit{r}{1}{d}%
+ $\opprint{d}$.
+\end{SideBySideExample}
+effectuer des tests :
+\begin{SideBySideExample}
+ \opadd*{45.05}{78.4}{r}%
+ La somme $45.05+78.4$ est
+ \opcmp{r}{100}%
+ \ifopgt strictement supérieure
+ \else\ifoplt strictement inférieure
+ \else égale
+ \fi\fi
+ à $100$.
+\end{SideBySideExample}
+avoir accès à quelques opérations ou fonctions :
+\begin{SideBySideExample}
+ Le pgcd de $182$ et $442$ est
+ \opgcd{182}{442}{d}$\opprint{d}$
+\end{SideBySideExample}
+pouvoir réaliser des calculs complexes sous forme infixe :
+\begin{SideBySideExample}
+ \opexpr{(2+3^2)/(gcd(22,33))}{r}%
+ $$\frac{2+3^2}{\gcd(22,33)} =
+ \opprint{r}$$
+\end{SideBySideExample}
+
+\chapter{Instruction \package{xlop}}
+\`A quelques exceptions près qui seront étudiées en temps voulu, les
+macros de \package{xlop} peuvent éventuellement avoir un argument
+optionnel entre crochets pour modifier localement la valeur des
+paramètres de fonctionnement, les autres arguments (obligatoires)
+étant des nombres. Les deux sections de ce chapitre décrivent en
+détail ce qu'est un nombre pour \package{xlop} et comment se servir
+de ses paramètres.
+
+\section{Au début était le nombre}
+\label{sec:Au début etait le nombre}
+\subsection{Taille}
+\label{subsec:Taille}
+Avant de voir la syntaxe générale d'un nombre, nous allons nous
+pencher sur la particularité de \package{xlop} qui est de pouvoir
+manipuler des nombres de taille quelconque.
+
+\index{nombre!taille}Pour être tout à fait précis, la taille théorique
+maximum d'un nombre est de $2^{31}-1$ chiffres. En pratique, cette
+limite ne pourra pas être atteinte pour deux raisons essentielles. La
+première est qu'une multiplication avec deux opérandes ayant $2^{25}$
+chiffres demanderait plus de $7\,000$ années de calcul sur
+l'ordinateur de l'auteur ! La seconde est beaucoup plus restrictive
+car elle est liée aux limites de taille des piles de \TeX{}. Voici un
+tableau indiquant une compilation sous \TeX{} avec une multiplication
+de deux opérandes de même taille sur une machine Linux, pentium~II~600
+et 256~Mo de RAM :
+\begin{center}
+ \begin{tabular}{|l|*{6}{c|}}
+ \hline
+ nombre de chiffres & 100 & 200 & 300 & 400 & 425 & 450 \\\hline
+ temps de compilation (s) & 2 & 8 & 18 & 32 & 36 & crash \\\hline
+ \end{tabular}
+\end{center}
+Le \og crash \fg{} indiqué dans le tableau est dû au débordement de la
+table de hachage (hash table).
+\index{hash table}%
+\index{depassement de capacite@dépassement de capacité}%
+Sous \LaTeX{}, la limite avant crash sera plus réduite. D'autre part,
+ces tests ont été effectués sur un fichier minimum : avec un document
+source classique, cette limite sera un peu plus basse. Une autre
+limite qui risque d'être atteinte relativement rapidement est la
+taille du spouleur (spool size).
+\index{spool size}%
+Pour composer ce document qui contient un grand nombre d'appel aux
+macros de \package{xlop}, l'auteur a augmenté la taille du spouleur
+à~$250\,000$ ($125\,000$ s'étant révélé insuffisante) en éditant la
+ligne \verb+pool_size+ du fichier \file{texmf.cnf}. De même, la table
+de hachage a dû être augmentée en stipulant la valeur \texttt{1000} au
+niveau de la ligne \verb+hash_extra+ du fichier \file{texmf.cnf}.
+
+\subsection{Syntaxe}
+\label{subsec:Syntaxe}
+Nous allons présenter cette syntaxe avec la grammaire BNF mais des
+explications plus humaines suivront :
+\begin{syntaxBNF}
+ \*nombre* & \{\*signe*\}\*nombre_positif* \alt \*nom* \\
+ \*signe* & + \alt - \\
+ \*nombre_positif* & \*entier* \alt \*sep*\*entier* \alt \\
+ \sameline \*entier*\*sep* \alt \*entier*\*sep*\*entier* \\
+ \*sep* & . \alt , \\
+ \*entier* & \*chiffre*\{\*chiffre*\} \\
+ \*nom* & \*début*\{caractère\} \\
+ \*début* & caractère \textnormal{autre que } \*signe*\textnormal{,}
+ \*sep* \\
+ \sameline \textnormal{et} \*chiffre*
+\end{syntaxBNF}
+
+Le symbole \texttt{caractère} désigne presque n'importe quel caractère
+accepté par \TeX{}. Les seules exceptions sont les caractères \verb+%+,
+et \verb+#+ qui sont totalement interdits. En fait, les caractères
+actifs risquent de poser des problèmes. Par exemple, la définition de
+\verb+~+ sous \LaTeX{} empêche ce caractère de pouvoir faire partie
+d'un nom. D'autre part, le caractère \verb+\ +conserve sont rôle de
+caractère d'échappement, c'est-à-dire que le nom sera celui obtenu
+après développement de la macro introduite. Il n'y a aucune autre
+contrainte comme le montre le code suivant :
+\begin{SideBySideExample}
+ \newcommand\prefix{a/b}
+ \opadd*{2}{2}{a/b_{^c}!&$}
+ \opprint{\prefix_{^c}!&$}
+\end{SideBySideExample}
+On notera en particulier que \verb+a/b_{^c}!&$+ et
+\verb+\prefix_{^c}!&$+ représentent exactement le même nom, si
+\verb+\prefix+ a la définition adéquate évidemment. Cette possibilité
+d'obtenir un nom en utilisant des macros peut sembler inutile mais il
+n'en est rien. On peut ainsi réaliser des boucles avec des noms tels
+que \verb+r1+, \verb+r2+, \ldots, \verb+r<n>+ en utilisant le code
+\verb+r\the\cpt+ comme nom où \verb+cpt+ est un compteur (au sens
+\TeX{}, le mécanisme des compteurs avec \LaTeX{} empêche d'être aussi
+flexible). Nous verrons un exemple d'utilisation de cette forme à la
+section~\ref{sec:Creation d'operations complexes}
+page~\pageref{sec:Creation d'operations complexes}.
+
+\index{nombre!valide}En pratique, que signifient toutes ces règles ?
+Elles indiquent d'abord qu'un nombre écrit sous forme décimale peut
+être précédé par n'importe quelle séquence de signes plus et moins.
+Évidemment, le nombre sera négatif lorsqu'il y aura un nombre impair
+de signes moins. Ensuite, un nombre ne peut comporter qu'un seul
+séparateur décimal qui peut être le point ou la virgule, celui-ci
+pouvant être placé n'importe où dans le nombre. Enfin, l'écriture d'un
+nombre s'effectue obligatoirement en base~10. Attention : ces règles
+signifient également que \verb+-a+ n'est pas valide.
+
+L'extension utilise quelques noms de façon interne et il est plus
+prudent de ne pas commencer un nom de variable par le caractère
+\texttt{@}.
+
+\section{Paramètres de \package{xlop}}
+\label{sec:Parametres de xlop}
+\index{parametre@paramètre!syntaxe|(}
+Les affectations de paramètres restent locales à la macro lorsqu'elles
+sont indiquées au niveau de son argument optionnel. Pour rendre de
+telles affectations globales, il faut utiliser la macro
+\macro{opset}. Par exemple
+\begin{Verbatim}[xrightmargin=0pt]
+ \opset{decimalsepsymbol={,}}
+\end{Verbatim}
+fera que le symbole du séparateur décimal sera la virgule pour tout le
+reste du document, ou, du moins, jusqu'à une prochaine redéfinition
+par la macro \verb+\opset+. Dans ce manuel, ce sera le cas à partir de
+maintenant.\opset{decimalsepsymbol={,}}
+
+\subsection{Symboles}
+\label{subsecSymboles}
+Le paramètre \parameter{afterperiodsymbol} indique le symbole qui
+suit l'écriture d'un quotient en ligne lors d'une division avec
+recherche de période. Sa valeur par défaut est \verb+$\ldots$+
+
+Le paramètre \parameter{equalsymbol} indique le symbole utilisé pour
+l'égalité. Sa valeur par défaut est \verb+$=$+. En réalité, le
+paramètre est défini avec :
+\begin{Verbatim}[xrightmargin=0pt]
+ \opset{equalsymbol={$=$}}
+\end{Verbatim}
+c'est-à-dire avec des accolades pour protéger le signe égal. Sans les
+accolades, il y aurait une erreur à la compilation. On doit procéder
+de cette façon lorsque la valeur comporte le signe égal ou une
+virgule\index{parametre@paramètre!avec \og = \fg{} ou \og ,\fg}
+
+Le paramètre \parameter{approxsymbol} indique le symbole utilisé pour
+les approximations. Sa valeur par défaut est \verb+$\approx$+.
+
+Le paramètre \parameter{decimalsepsymbol} indique le symbole utilisé
+pour le séparateur décimal. Sa valeur par défaut est le point.
+
+Les paramètres \parameter{addsymbol}, \parameter{subsymbol},
+\parameter{mulsymbol} et \parameter{divsymbol} indiquent les symboles
+utilisés pour les quatre opérations arithmétiques. Les valeurs par
+défaut sont respectivement \verb!$+$!, \verb!$-$!, \verb!$\times$! et
+\verb!$\div$!.
+
+\subsection{Présentation générale}
+\label{subsec:Presentation generale}
+Le paramètre \parameter{voperation} indique la façon dont une
+opération posée sera placée par rapport à la ligne de base. Les
+valeurs possibles sont \verb+top+, \verb+center+ et \verb+bottom+
+(valeur par défaut).
+\begin{SideBySideExample}
+ top\quad
+ \opadd[voperation=top]{45}{172}\par
+ center\quad
+ \opadd[voperation=center]{45}{172}\par
+ bottom\quad
+ \opadd[voperation=bottom]{45}{172}
+\end{SideBySideExample}
+
+Le paramètre \parameter{voperator} indique comment sera placé le
+symbole opératoire par rapport aux opérandes. Les valeurs possibles
+sont \verb+top+, \verb+center+ (valeur par défaut) et \verb+bottom+.
+\begin{SideBySideExample}
+ top\quad
+ \opadd[voperator=top]{45}{172}\par
+ center\quad
+ \opadd[voperator=center]{45}{172}\par
+ bottom\quad
+ \opadd[voperator=bottom]{45}{172}
+\end{SideBySideExample}
+
+Le paramètre \parameter{deletezero} indique si certains nombres d'une
+opération doivent être affichés avec ou sans les zéros non
+significatifs. Le rôle exact de ce paramètre varie en fonction de
+l'opération et nous y reviendrons lors de la présentation des
+différentes opérations.
+
+Le paramètre \parameter{style} indique si l'opération doit être posée
+(valeur \verb+display+ qui est la valeur par défaut) ou bien être
+affichée en ligne (valeur \verb+text+). On reviendra sur ce paramètre
+lors de la présentation de la division car les possibilités sont alors
+un peu plus nombreuses.
+\begin{SideBySideExample}
+ \opadd[style=text]{45}{172}
+\end{SideBySideExample}
+Dans les opérations en ligne, \package{xlop} fait attention à ne pas
+composer la formule en mode mathématique de façon directe. Cela permet
+de spécifier ce que l'on veut comme dans l'exemple qui suit et c'est
+également pour cela qu'il faut indiquer les valeurs classiques des
+symboles entre délimiteurs mathématiques.
+\begin{SideBySideExample}
+ \opadd[addsymbol=plus,
+ equalsymbol=\'egal,
+ style=text]{42}{172}
+\end{SideBySideExample}
+Cependant, \package{xlop} introduit exactement les mêmes pénalités de
+coupures et exactement les mêmes espacements que pour une formule
+mathématique.
+
+Le paramètre \parameter{parenthesisnegative} indique comment composer
+les nombres négatifs dans les opérations en ligne. Les valeurs
+possibles sont :
+\begin{itemize}
+\item \texttt{none} qui compose les nombres négatifs sans parenthèse ;
+\item \texttt{all} qui compose les nombres négatifs en les plaçant
+ entre parenthèses ;
+\item \texttt{last} qui compose les nombres négatifs en les plaçant
+ entre parenthèses s'il ne s'agit pas de la première opérande.
+\end{itemize}
+\begin{SideBySideExample}
+ \opadd[style=text,
+ parenthesisnegative=none]
+ {-12}{-23}\par
+ \opadd[style=text,
+ parenthesisnegative=all]
+ {-12}{-23}\par
+ \opadd[style=text,
+ parenthesisnegative=last]
+ {-12}{-23}
+\end{SideBySideExample}
+
+\subsection{Dimensions}
+\label{subsec:Dimensions}
+Dans les opérations posées, les chiffres sont placés dans des boîtes
+de dimensions fixées. La largeur est donnée par le paramètre
+\parameter{columnwidth} et la hauteur par le paramètre
+\parameter{lineheight}. La valeur par défaut de \texttt{lineheight}
+est \verb+\baselineskip+ ce qui fait que les lignes des opérations
+seront espacées, par défaut, comme les lignes d'un paragraphe. La
+valeur par défaut de \texttt{columnwidth} est de \texttt{2ex} car la
+largeur \og normale \fg{} des chiffres aurait donné des résultats peu
+lisibles.
+\begin{SideBySideExample}
+ \opadd[columnwidth=0.5em]
+ {45.89}{127.5}
+\end{SideBySideExample}
+Ce piètre résultat est dû en partie au fait que la virgule est placé
+dans une boîte dont la largeur est contrôlée par le paramètre
+\parameter{decimalsepwidth} dont la valeur par défaut est nulle. Un
+essai d'amélioration peut être effectué en donnant à ce paramètre la
+largeur \fg{} normale \og d'une virgule.
+\begin{SideBySideExample}
+ \opadd[columnwidth=0.5em,
+ decimalsepwidth=0.27778em]
+ {45.89}{127.5}
+\end{SideBySideExample}
+C'est meilleur mais le fait de donner une largeur non nulle à la boîte
+contenant le séparateur décimal risque de poser des difficultés si
+l'on veut placer des éléments externes : cela va à l'encontre de
+l'idée de placer les chiffres dans une grille fixe. Ceci est donc à
+éviter en temps normal.
+
+Les deux paramètres \parameter{columnwidth} et \parameter{lineheight}
+correspondent aux deux seules dimensions que l'extension rend
+publiques, à savoir respectivement
+\verb+\opcolumnwidth+\index{opcolumnwidth@\texttt{$\backslash$opcolumnwidth}}
+et
+\verb+\oplineheight+\index{oplineheight@\texttt{$\backslash$oplineheight}}.
+Il est cependant dangereux de vouloir modifier ces dimensions de façon
+directe puisque une modification par voie normale n'a pas pour seule
+conséquence d'obtenir une nouvelle valeur pour ces
+dimensions. L'extension \package{xlop} a rendu ces dimensions
+publiques uniquement pour pouvoir les lire, pas pour les modifier.
+
+Les deux paramètres suivants permettent de spécifier les largeurs des
+traits horizontaux et verticaux tracés par \package{xlop}. Il s'agit
+des paramètres \parameter{hrulewidth} et \parameter{vrulewidth} dont
+la valeur par défaut est \texttt{0.4pt}.
+
+Ces traits sont composés sans perturber la grille, c'est-à-dire sans
+ajouter d'espace vertical. Ainsi, avec des valeurs importantes pour
+l'épaisseur, les traits risquent de déborder au niveau des opérandes.
+\begin{SideBySideExample}
+ \opadd[hrulewidth=8pt]{42}{172}
+\end{SideBySideExample}
+
+Il existe également un paramètre permettant de contrôler le décalage
+horizontal du séparateur décimal. Il s'agit de
+\parameter{decimalsepoffset} dont la valeur par défaut est égale
+à~\texttt{-0.35}. Cette valeur par défaut indique une longueur en
+prenant \verb+\opcolumnwidth+ comme unité. Un exemple d'utilisation de
+ce paramètre sera donné à la section~\ref{sec:Division}
+page~\pageref{sec:Division}.
+
+\subsection{Styles des chiffres}
+\label{subsec:Styles des chiffres}
+L'extension \package{xlop} distingue cinq types de nombres et y
+associe cinq paramètres de style :
+\begin{itemize}
+\item les opérandes avec \parameter{operandstyle} ;
+\item le résultat avec \parameter{resultstyle} ;
+\item les restes avec \parameter{remainderstyle} ;
+\item les résultats intermédiaires avec \parameter{intermediarystyle}
+ ;
+\item les retenues avec \parameter{carrystyle}.
+\end{itemize}
+\begin{SideBySideExample}
+ \opadd[operandstyle=\blue,
+ resultstyle=\red,
+ carrystyle=\scriptsize\green]
+ {45.89}{127.5}
+\end{SideBySideExample}
+Rappelons que dans ce manuel, nous utilisons l'extension
+\package{pstricks}\index{pstricks}.
+
+\index{parametre@paramètre!indexé|(}%
+En réalité, la gestion de ces styles est encore plus puissante car on
+peut distinguer les différents nombres d'une même classe. Dans une
+même opération, on a plusieurs opérandes et, éventuellement plusieurs
+restes et plusieurs nombres intermédiaires. On accède alors au style
+de ces nombres individuels en indexant le paramètre de style
+correspondant.
+\begin{SideBySideExample}
+ \opadd[operandstyle=\blue,
+ operandstyle.1=\lightgray,
+ resultstyle=\red,
+ carrystyle=\scriptsize\green]
+ {45.89}{127.5}
+\end{SideBySideExample}
+Sur cet exemple, on a indiqué que la première opérande devait être
+composée avec le style \verb+\lightgray+ et comme rien n'était indiqué
+pour la seconde opérande, celle-ci a repris le style de base de sa
+classe (donc a été composée avec le style \verb+\blue+).
+
+Ce mécanisme va encore plus loin car on peut indicer à deux niveaux
+les styles des classes opérande, reste et nombre intermédiaire et à un
+niveau les styles des classes résultat et retenue pour accéder au
+style de chacun des chiffres de ces nombres. Afin de rendre les
+indexations plus facile à gérer, un index positif indiquera le rang
+d'un chiffre de la partie entière (numérotée de droite à gauche,
+l'index~1 correspondant au chiffre des unités) et un index négatif
+indiquera le rang d'un chiffre de la partie décimale (numérotée de
+gauche à droite, l'index $-1$ correspondant au chiffre des dixièmes).
+\begin{SideBySideExample}
+ \opadd[operandstyle.1.1=\white,
+ operandstyle.1.-2=\white,
+ operandstyle.2.3=\white,
+ resultstyle.2=\white,
+ deletezero=false]
+ {045.89}{127.50}
+\end{SideBySideExample}
+On peut également utiliser une macro à un paramètre comme style.
+\begin{SideBySideExample}
+ \newcommand\hole[1]{$\bullet$}
+ \opadd[operandstyle.1.1=\hole,
+ operandstyle.1.-2=\hole,
+ operandstyle.2.3=\hole,
+ resultstyle.2=\hole]
+ {45.89}{127.5}
+\end{SideBySideExample}
+Lorsque le style est une macro, le chiffre constitue le dernier
+argument de cette macro. Voici un exemple plus compliqué et utilisant
+l'extension \package{pst-node} de la suite \package{pstricks} :
+\begin{SideBySideExample}
+ \newcommand\OPoval[3]{%
+ \dimen1=#2\opcolumnwidth
+ \ovalnode{#1}
+ {\kern\dimen1 #3\kern\dimen1}}
+ \opadd[voperation=top,
+ operandstyle.1.1=\OPoval{A}{0},
+ operandstyle.2.2=\OPoval{C}{0.8}]
+ {45}{172}\qquad
+ \begin{minipage}[t]{2cm}
+ \pnode(0,0.2em){B}\ chiffre
+ \ncarc{->}{A}{B}\par
+ \pnode(0,0.2em){D}\ nombre
+ \ncarc{<-}{D}{C}
+ \end{minipage}
+\end{SideBySideExample}
+
+Comme les chiffres, le séparateur décimal tient compte du style d'un
+nombre. Pour accéder au style du séparateur décimal de façon
+individuelle, il faut employer l'indice \texttt{d} au lieu des indices
+numériques des chiffres.
+\begin{SideBySideExample}
+ \newcommand\hole[1]{\texttt{\_}}
+ \opmul[intermediarystyle=\hole,
+ resultstyle=\hole,
+ resultstyle.d=\white]{2.46}{35.7}
+\end{SideBySideExample}
+\index{parametre@paramètre!indexé|)}%
+\index{parametre@paramètre!syntaxe|)}
+
+\chapter{Opérations arithmétiques}
+\label{chap:Opérations arithmétiques}
+\section{Addition}
+\label{sec:Addition}
+L'addition est gérée par la macro \macro{opadd}. L'addition,
+lorsqu'elle est posée, n'affiche que des nombres positifs. Cela va
+avoir comme conséquence d'afficher une soustraction lorsqu'une des
+opérandes est négative.%
+\index{nombre!négatifs dans une opération posée}
+\begin{SideBySideExample}
+ \opadd{-245}{72}
+\end{SideBySideExample}
+De façon générale, le principe est de poser l'opération qui permet de
+retrouver le résultat comme on le ferait à la main. En revanche,
+l'affichage en ligne donnera toujours une addition puisqu'on peut
+maintenant écrire des nombres négatifs.
+\begin{SideBySideExample}
+ \opadd[style=text]{-245}{72}
+\end{SideBySideExample}
+ Outre les paramètres généraux décrits à la
+ section~\ref{sec:Parametres de xlop}, la macro \verb+\opadd+ est
+ sensible aux paramètres \texttt{carryadd}, \texttt{lastcarry} et
+ \texttt{deletezero}.
+
+Le paramètre \parameter{carryadd} est un paramètre
+booléen\index{parametre@paramètre!booléen} c'est-à-dire n'acceptant
+que les valeurs \texttt{true} et \texttt{false}. Comme il d'usage,
+l'omission du signe égal et de la partie droite de l'affectation
+équivaut à \texttt{=true}. Ce paramètre indique si les retenues
+doivent être ou non affichées. Sa valeur par défaut est
+\texttt{true}.
+
+Le paramètre \parameter{lastcarry} est également un paramètre
+booléen. Il indique si une retenue sans chiffre correspondant au
+niveau des deux opérandes doit être ou non affichée. Sa valeur par
+défaut est \texttt{false}. On fera attention au rôle exact de ce
+paramètre. Ainsi, si la seconde opérande dans l'exemple qui suit avait
+été~15307, la dernière retenue aurait été affichée quelle que soit la
+valeur du paramètre \texttt{lastcarry} puisqu'il y aurait eu un
+chiffre correspondant au niveau de la seconde opérande.
+\begin{SideBySideExample}
+ \opadd{4825}{5307}
+\end{SideBySideExample}
+\begin{SideBySideExample}
+ \opadd[carryadd=false]{4825}{5307}
+\end{SideBySideExample}
+\begin{SideBySideExample}
+ \opadd[lastcarry]{4825}{5307}
+\end{SideBySideExample}
+
+Le paramètre \parameter{deletezero} est également un paramètre booléen
+et son rôle et d'indiquer si les zéros non significatifs doivent être
+supprimés ou non. Sa valeur par défaut est \texttt{true}. Si ce
+paramètre vaut \texttt{false}, les opérandes et le résultats auront le
+même nombre de chiffres, \package{xlop} ajoutant des zéros non
+significatifs pour y parvenir. Les zéros non significatifs des
+opérandes ne sont pas supprimés également.
+\begin{SideBySideExample}
+ \opadd{012.3427}{5.2773}\par
+ \opadd[deletezero=false]
+ {012.3427}{5.2773}
+\end{SideBySideExample}
+
+Ce paramètre a exactement le même rôle dans l'affichage en ligne que
+dans l'affichage posé.
+\begin{SideBySideExample}
+ \opadd[style=text]{02.8}{1.2}\par
+ \opadd[style=text,
+ deletezero=false]{02.8}{1.2}\par
+\end{SideBySideExample}
+
+\section{Soustraction}
+\label{sec:soustraction}
+La soustraction est gérée par la macro \macro{opsub}. La soustraction,
+lorsqu'elle est posée n'affiche que des nombres positifs. Cela va
+avoir pour conséquence d'affficher une addition lorsqu'une des
+opérandes est négative.
+\begin{SideBySideExample}
+ \opsub{-245}{72}
+\end{SideBySideExample}
+De façon générale, le principe est de poser l'opération qui permet de
+retrouver le résultat comme on le ferait à la main. En revanche,
+l'affichage en ligne donnera toujours une soustraction puisqu'on peut
+maintenant écrire des nombres négatifs.
+\begin{SideBySideExample}
+ \opsub[style=text]{-245}{72}
+\end{SideBySideExample}
+Ce principe s'applique également lorsque la première opérande est
+inférieure à la seconde (cas positif) où on aura une inversion des
+opérandes.
+\begin{SideBySideExample}
+ \opsub{1.2}{2.45}
+\end{SideBySideExample}
+Bien entendu, l'opération en ligne donnera le résultat exact.
+\begin{SideBySideExample}
+ \opsub[style=text]{1.2}{2.45}
+\end{SideBySideExample}
+
+
+Outre les paramètres généraux vus à la section~\ref{sec:Parametres de
+ xlop}, \verb+\opsub+ est sensible aux paramètres
+\texttt{carrysub}, \texttt{lastcarry}, \texttt{offsetcarry},
+\texttt{deletezero} et \texttt{behaviorsub}.
+
+Le paramètre \parameter{carrysub} est un paramètre booléen
+qui indique si les retenues doivent être ou non présentes. Sa valeur
+par défaut est \texttt{false} (rappelons que le paramètre
+\texttt{carryadd} avait une valeur par défaut égale à \texttt{true}).
+\begin{SideBySideExample}
+ \opsub[carrysub]{1234}{567}
+\end{SideBySideExample}
+
+Dans l'exemple précédent, nous pouvons voir qu'il manque en fait une
+retenue au niveau du dernier chiffre de 1234, cette façon de faire
+étant assez courante. Néanmoins, on peut contrôler l'affichage de
+cette dernière retenue avec le paramètre \parameter{lastcarry}. Ce
+paramètre n'a pas tout à fait le même rôle que pour l'addition puisque
+la dernière retenue ne sera pas affichée dans le cas où la seconde
+opérande n'a pas de chiffre correspondant (alors que pour l'addition,
+il fallait que les deux opérandes n'aient pas de chiffres
+correspondant).
+\begin{SideBySideExample}
+ \opsub[carrysub,lastcarry]{1234}{567}
+\end{SideBySideExample}
+On peut noter dans ce dernier cas qu'il est sans doute préférable de
+mettre le paramètre \parameter{deletezero} à \texttt{false} pour
+obtenir une présentation plus correcte.
+\begin{SideBySideExample}
+ \opsub[carrysub,
+ lastcarry,
+ deletezero=false]{1234}{567}
+\end{SideBySideExample}
+
+L'affichage des retenues au niveau des soustractions peut sembler un
+peu trop compact. On peut élargir la boîte des chiffres avec le
+paramètre \parameter{opcolumnwidth} mais également indiquer le
+décalage des retenues avec le paramètre \parameter{offsetcarry}. La
+valeur par défaut de ce paramètre est \texttt{-0.35}.
+\begin{SideBySideExample}
+ \opsub[carrysub,
+ lastcarry,
+ deletezero=false]{12.34}{5.67}
+
+ \bigskip
+ \opsub[carrysub,
+ lastcarry,
+ columnwidth=2.5ex,
+ offsetcarry=-0.4,
+ decimalsepoffset=-3pt,
+ deletezero=false]{12.34}{5.67}
+\end{SideBySideExample}
+
+Il peut arriver qu'une soustraction de deux nombres positifs, le
+premier étant inférieur au second, soit le signe d'une erreur de
+l'utilisateur. Dans ce cas, et uniquement dans ce cas, le paramètre
+\parameter{behaviorsub} permet d'obtenir un rappel à l'ordre. Les
+trois valeurs possibles de ce paramètre sont \texttt{silent} qui est
+la valeur par défaut et qui donne le résultat, \texttt{warning} qui
+donne également le résultat mais affiche le message d'avertissement :
+\begin{Verbatim}[xrightmargin=0pt,frame=none]
+ xlop warning. Substraction with first operand less than second one
+ See documentation for further information.
+\end{Verbatim}
+et enfin \texttt{error} qui affichera le message d'erreur :
+\begin{Verbatim}[xrightmargin=0pt,frame=none]
+ xlop error. See documentation for further information.
+ Type H <return> for immediate help.
+ ! Substraction with first operand less than second one.
+\end{Verbatim}
+et l'opération ne sera pas effectuée.
+
+\section{Multiplication}
+\label{sec:Multiplication}
+La multiplication est gérée par la macro \macro{opmul}.
+
+Nous présenterons les paramètres \texttt{hfactor},
+\texttt{displayintermediary}, \texttt{shiftintermediarysymbol},
+\texttt{displayshiftintermediary} et finalement \texttt{deletezero},
+les autres paramètres ayant été vus à la section~\ref{sec:Parametres
+ de xlop}.
+
+Le paramètre \parameter{shiftintermediarysymbol} indique quel symbole
+sera utilisé (sa valeur par défaut est \verb+$\cdot$+) pour visualiser
+les décalages des nombres intermédiaires. Le paramètre
+\parameter{displayshiftintermediary} peut prendre les valeurs
+\texttt{shift} (valeur par défaut) qui ne montre ce symbole que
+lorsque le décalage est supérieur à un rang, \texttt{all} qui indique
+que ce symbole de décalage sera systématiquement affiché et
+\texttt{none} qui indique que ce symbole ne sera jamais affiché.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opmul[displayshiftintermediary=shift]{453}{1001205}\qquad
+ \opmul[displayshiftintermediary=all]{453}{1001205}\qquad
+ \opmul[displayshiftintermediary=none]{453}{1001205}
+\end{CenterExample}
+
+En réalité, le non affichage des nombres intermédiaires nuls est dû à
+la valeur par défaut \texttt{none} du paramètre
+\parameter{displayintermediary}. La valeur \texttt{all} va afficher
+tous les nombres intermédiaires.
+\begin{SideBySideExample}
+ \opmul[displayintermediary=all]
+ {453}{1001205}
+\end{SideBySideExample}
+On notera que les nombres intermédiaires nuls sont affichés avec
+autant de chiffres que le premier facteur.
+
+Le paramètre \parameter{displayintermediary} admet la valeur
+\texttt{nonzero} qui a le même rôle que la valeur \texttt{none} sauf
+dans le cas où le second facteur ne comporte qu'un seul chiffre.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opmul{3.14159}{4}\qquad
+ \opmul[displayintermediary=nonzero]{3.14159}{4}
+\end{CenterExample}
+
+Le paramètre \parameter{hfactor} permet d'indiquer comment doit se
+faire l'alignement des opérandes. La valeur par défaut \texttt{right}
+donne une composition au fer à droite tandis que la valeur
+\texttt{decimal} donne un alignement au niveau de la virgule.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opmul{3.1416}{12.8}\qquad\opmul[hfactor=decimal]{3.1416}{12.8}
+\end{CenterExample}
+
+Pour la multiplication posée, le paramètre \parameter{deletezero} ne
+concerne que les opérandes, le résultat gardant ses éventuels zéros
+non significatifs puisque ceux-ci sont nécessaires pour effectuer
+correctement le décalage de la virgule lorsqu'on travaille \og à la
+main \fg{}.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opmul[deletezero=false]{01.44}{25}\qquad
+ \opmul{01.44}{25}
+\end{CenterExample}
+En revanche, dans la multiplication en ligne, ce paramètre retrouve
+son comportement normal.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opmul[deletezero=false,style=text]{01.44}{25}\qquad
+ \opmul[style=text]{01.44}{25}
+\end{CenterExample}
+
+\section{Division}
+\label{sec:Division}
+L'extension gère la division \og classique \fg{} avec la macro
+\macro{opdiv} et la division euclidienne avec la macro
+\macro{opidiv}. En raison de sa complexité, la division est l'opération
+qui prend en compte le plus de paramètres.
+
+\subsection{Contrôle de l'arrêt}
+\label{subsec:Controle de l'arret}
+Dans ce qui suivra, le terme d'\emph{étape} indique l'ensemble des
+calculs permettant d'obtenir un chiffre au niveau du quotient. Ce
+nombre d'étapes est contrôlé en partie par les paramètres
+\parameter{maxdivstep}, \parameter{safedivstep} et \parameter{period}.
+En partie seulement car une division classique s'arrêtera
+automatiquement lors de l'obtention d'un reste nul, quelles que que
+soient les valeurs de ces trois paramètres et une division euclidienne
+s'arrêtera sur un quotient entier, sans tenir compte de ces trois
+paramètres.
+\begin{SideBySideExample}
+ \opdiv{25}{7}
+\end{SideBySideExample}
+\begin{SideBySideExample}
+ \opidiv{25}{7}
+\end{SideBySideExample}
+Le premier exemple s'arrête en raison de la valeur de
+\parameter{maxdivstep} qui est égale, par défaut, à~10. On prendra
+garde à ce que le nombre maximum d'étapes peut entraîner des résultats
+aberrants lorsqu'il est trop faible.
+\begin{SideBySideExample}
+ \opdiv[maxdivstep=2]{1248}{3}
+\end{SideBySideExample}
+Le résultat précédent est clairement faux mais \package{xlop} a fait
+ce qu'on lui a demandé, en l'occurrence avoir deux chiffres (maximum)
+au quotient.
+
+L'affichage en ligne va également différer selon que la division s'est
+arrêtée avec un reste final nul ou non ou selon qu'il s'agit d'une
+division classique ou euclidienne.
+\begin{SideBySideExample}
+ \opdiv[style=text]{3.14}{2}\par
+ \opdiv[style=text]{3.14}{3}\par
+ \opidiv[style=text]{314}{2}\par
+ \opidiv[style=text]{314}{3}
+\end{SideBySideExample}
+On notera l'emploi de \parameter{equalsymbol} ou
+\parameter{approxsymbol} selon le cas ainsi que l'affichage avec une
+troncature et non un arrondi. Nous verrons comment obtenir un arrondi
+à la section~\ref{sec:Operations evoluees}
+
+L'affichage en ligne de \verb+\opdiv+ tient compte de
+\parameter{maxdivstep}. Cela signifie que l'on peut obtenir des
+résultats vraiment faux avec des valeurs trop faible de ce paramètre
+et, contrairement à l'affichage posé, l'affichage en ligne ne
+permettra pas de comprendre ce qu'il s'est passé.
+\begin{SideBySideExample}
+ \opdiv[maxdivstep=2,style=text]
+ {1248}{3}
+\end{SideBySideExample}
+Si en plus, le dernier reste calculé est nul, on atteint un summum :
+\begin{SideBySideExample}
+ \opdiv[maxdivstep=1,style=text]
+ {1208}{3}
+\end{SideBySideExample}
+puisqu'il n'y a même plus d'approximation !
+
+Une division non euclidienne peut également s'arrêter sur la détection
+de la survenue d'une période. Pour cela, il suffit de donner la valeur
+\texttt{true} au paramètre \parameter{period}.
+\begin{SideBySideExample}
+ \opdiv[period]{100}{3}
+\end{SideBySideExample}
+
+Pour ne pas avoir à effectuer des comparaisons de chaque reste avec
+tous les restes précédents, \package{xlop} calcule dès le départ la
+longueur de la période ce qui permet de n'effectuer qu'une seule
+comparaison à chaque étape et donc d'accélérer notablement les
+calculs\footnote{Je remercie à cette occasion Olivier Viennet pour ses
+ précisions mathématiques qui ont permis d'implanter correctement ces
+ calculs.}. Malheureusement, ces calculs se font avec des nombres
+directement accessibles à \TeX{} ce qui a pour conséquence de ne pas
+pouvoir utiliser d'opérandes dont la valeur absolue excède
+$\left\lfloor\frac{2^{31}-1}{10}\right\rfloor = 214748364$.
+
+Pour ne pas entraîner des calculs trop long, \package{xlop} ne
+dépassera pas la valeur du paramètre \parameter{safedivstep} dans les
+divisions avec détection de période. Sa valeur par défaut est égale
+à~50. Cependant, \package{xlop} signalera le problème. Par exemple si
+on demande un tel calcul avec le code :
+\begin{Verbatim}[xrightmargin=0pt,frame=none]
+ \opdiv[period]{1}{289}
+\end{Verbatim}
+on obtiendra le message d'avertissement :
+\begin{Verbatim}[xrightmargin=0pt,frame=none]
+ xlop warning. Period of division is too big (272 > safedivstep).
+ Division will stop before reach it.
+ See documentation for further information.
+\end{Verbatim}
+qui indique que la période de cette division est de~272 et qu'elle ne
+sera donc pas atteinte à cause de la valeur de \texttt{safedivstep}.
+
+L'affichage en ligne d'une telle division présente quelque
+particularités.
+\begin{SideBySideExample}
+ \opdiv[period,style=text]{150}{7}
+\end{SideBySideExample}
+On obtient donc une égalité au lieu d'une approximation, la présence
+d'un trait sous la période et des points de suspension à la suite de
+la période. Tous ces éléments peuvent être configurés. Le symbole
+d'égalité est donné par le paramètre \parameter{equalsymbol} (valeur
+par défaut \verb+{$=$}+), la largeur du trait par le paramètre
+\parameter{hrulewidth} (valeur par défaut \texttt{0.4pt}), sa position
+verticale par le paramètre \parameter{vruleperiod} (valeur par défaut
+\texttt{-0.2}) qui indique un décalage vertical en prenant
+\verb+\oplineheight+ comme unité et les points de suspension sont
+donnés par le paramètre \parameter{afterperiodsymbol} (valeur par
+défaut \verb+$\ldots$+).
+\begin{SideBySideExample}
+ \opdiv[period,style=text,
+ equalsymbol=$\approx$,
+ hrulewidth=0.2pt,
+ vruleperiod=0.7,
+ afterperiodsymbol=]
+ {150}{7}
+\end{SideBySideExample}
+
+\subsection{Éléments supplémentaires}
+\label{subsec:Elements supplementaires}
+Les divisions posées peuvent comporter les soustractions successives
+permettant le calcul des restes. Pour \package{xlop}, les nombres qui
+sont soustraits sont des nombres intermédiaires donc les différentes
+façons de représenter les soustractions utiliserons le paramètre
+\parameter{displayintermediary} déjà vu pour la multiplication. La
+valeur \texttt{none} (défaut) n'affichera aucune soustraction, la
+valeur \texttt{all} affichera toutes les soustractions et la valeur
+\texttt{nonzero} affichera les soustractions avec un nombre non nul.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opdiv[displayintermediary=none,voperation=top]
+ {251}{25}\quad
+ \opdiv[displayintermediary=nonzero,voperation=top]
+ {251}{25}\quad
+ \opdiv[displayintermediary=all,voperation=top]
+ {251}{25}
+\end{CenterExample}
+
+Lorsqu'on pose une division, on peut dessiner un \og pont \fg{}
+au-dessus de la partie du dividende qui sera prise en compte pour la
+première étape du calcul. L'extension \package{xlop} permet d'afficher
+ce symbole grâce au paramètre booléen \parameter{dividendbridge}
+(valeur par défaut \texttt{false}).
+\begin{SideBySideExample}
+ \opdiv[dividendbridge]{1254}{30}
+\end{SideBySideExample}
+
+\subsection{Nombres non entiers et négatifs}
+\label{subsec:Nombres non entiers et negatifs}
+La présentation d'opérandes non entières est gérée par le paramètre
+\parameter{shiftdecimalsep}. Sa valeur par défaut est \texttt{both} et
+indique que le séparateur décimal sera décalé pour obtenir un diviseur
+et un dividende entiers. La valeur \texttt{divisor} indique qu'il y
+aura le décalage nécessaire pour obtenir un diviseur entier et la
+valeur \texttt{none} indique qu'il n'y aura aucun décalage.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opdiv[shiftdecimalsep=both]{3.456}{25.6}\quad
+ \opdiv[shiftdecimalsep=divisor]{3.456}{25.6}\quad
+ \opdiv[shiftdecimalsep=none]{3.456}{25.6}
+\end{CenterExample}
+
+Un symbole indiqué par le paramètre \parameter{strikedecimalsepsymbol}
+est réservé pour montrer l'ancien emplacement de la virgule lorsqu'on
+effectue un décalage. La valeur par défaut de ce paramètre est vide ce
+qui fait que l'on ne voyait rien sur les exemples précédents.
+\begin{CenterExample}[xrightmargin=0pt]
+ \opset{strikedecimalsepsymbol={\rlap{,}\rule[-1pt]{3pt}{0.4pt}}}
+ \opdiv[shiftdecimalsep=both]{3.456}{25.6}\quad
+ \opdiv[shiftdecimalsep=divisor]{3.456}{25.6}\quad
+ \opdiv[shiftdecimalsep=none]{3.456}{25.6}
+\end{CenterExample}
+
+La présence d'un symbole non vide pour le séparateur décimal barré
+peut laisser les zéros non significatifs au niveau des opérandes.
+\begin{SideBySideExample}
+ \opdiv[shiftdecimalsep=divisor,
+ strikedecimalsepsymbol=%
+ \hspace{-3pt}\tiny$\times$]
+ {0.03456}{2.56}
+\end{SideBySideExample}
+
+Comme nous l'avons déjà vu, la macro \macro{opidiv} donne un quotient
+entier, cela même si les opérandes sont non entières. Il est un peu
+bizarre de vouloir réaliser une division euclidienne sur des nombres
+non entiers et la macro \macro{opidiv} sera assez stricte sur sa
+présentation. Les paramètres \parameter{maxdivstep},
+\parameter{safedivstep} et \parameter{period} seront sans effet ainsi
+que le paramètre \parameter{shiftdecimalsep}, les deux opérandes étant
+rendues entières.
+\begin{SideBySideExample}
+ \opidiv[strikedecimalsepsymbol=%
+ \hspace{-3pt}\tiny$\times$]
+ {34.57}{7}
+\end{SideBySideExample}
+
+Lorsque les opérandes sont négatives, l'affichage en ligne de
+\macro{opidiv} différera des données obtenues avec l'affichage
+posée. Le reste sera nécessairement un nombre compris entre zéro
+(inclus) et la valeur absolue du diviseur (exclu).
+\begin{SideBySideExample}
+ \opdiv[style=text]{124}{7}\par
+ \opidiv[style=text]{124}{7}\par
+ \opidiv[style=text]{124}{-7}\par
+ \opidiv[style=text]{-124}{7}\par
+ \opidiv[style=text]{-124}{-7}
+\end{SideBySideExample}
+
+Cette condition sur le reste reste valable même avec un diviseur non
+entier.
+\begin{SideBySideExample}
+ \opidiv[style=text]{1.24}{0.7}\par
+ \opidiv[style=text]{1.24}{-0.7}\par
+ \opidiv[style=text]{-1.24}{0.7}\par
+ \opidiv[style=text]{-1.24}{-0.7}
+\end{SideBySideExample}
+
+\chapter{Autres commandes}
+\label{chap:Autres commandes}
+\section{Macros étoilées}
+\label{sec:Macros etoilees}
+Les cinq macros vues au chapitre précédent ont une version
+étoilée. Ces macros étoilées réalisent le calcul mais ne procèdent à
+aucun affichage, le résultat étant stocké dans une variable donnée en
+dernier argument.
+
+Comme ces commandes n'affichent rien, les paramètres ne seront pas
+acceptés pour les macros \macro{opadd*}, \macro{opsub*},
+\macro{opmul*} et \macro{opidiv*}. En revanche, les paramètres
+\parameter{maxdivestep}, \parameter{safedivstep} et \parameter{period}
+influencent les calculs et la macro \macro{opdiv*} acceptera donc un
+argument optionnel pour pouvoir en tenir compte.
+\begin{SideBySideExample}
+ \opmul*{2}{2}{a}%
+ \opmul*{a}{a}{a}\opmul*{a}{a}{a}%
+ \opadd[style=text]{a}{1}
+\end{SideBySideExample}
+Pour les macros \macro{opdiv} et \macro{opidiv}, il y aura deux
+arguments supplémentaires pour pouvoir recevoir le quotient et le
+reste final.
+\begin{SideBySideExample}
+ \opdiv*[maxdivstep=1]{-88}{16}{q}{r}%
+ \opmul*{q}{16}{bq}%
+ \opmul[style=text]{16}{q}\par
+ \opadd[style=text]{bq}{r}
+\end{SideBySideExample}
+
+\section{Entrées-sorties}
+\label{sec:Entree-sorties}
+La macro \macro{opcopy} recopie son premier argument dans son deuxième
+argument. Le premier argument est donc un nombre écrit sous forme
+décimale ou via une variable alors que le second sera considérée comme
+un nom de variable.
+
+La macro \macro{opprint} affiche son argument. L'exemple qui suit
+utilise le compteur \macro{time} qui indique le nombre de minutes
+écoulés depuis minuit.
+\begin{SideBySideExample}
+ \opidiv*{\the\time}{60}{h}{m}%
+ Il est \opprint{h}~heures et
+ \opprint{m}~minutes
+\end{SideBySideExample}
+On verra à la section~\ref{sec:Comparaisons} comment améliorer cet
+affichage avec des tests.
+
+La macro \macro{opdisplay} affiche également un nombre mais en
+écrivant chaque chiffre dans une boîte de largeur donnée par
+\parameter{columnwidth} et de hauteur donnée par
+\parameter{lineheight}. Le style est spécifié par le premier argument
+et cette macro accepte un argument optionnel pour permettre de donner
+un style particulier aux chiffres individuels.
+\begin{SideBySideExample}
+ \opdisplay[resultstyle.1=\bfseries,
+ resultstyle.-2=\bfseries]
+ {resultstyle}{129.192}
+\end{SideBySideExample}
+
+Les macros \macro{oplput} et \macro{oprput} permettent de placer un
+objet à un emplacement déterminé. La syntaxe de ces deux commandes ne
+suit pas celle des autres macros de \package{xlop} puisque
+l'emplacement est indiqué sous forme de coordonnées entre
+parenthèses. Les coordonnées utilisent \macro{opcolumnwidth} et
+\macro{oplineheight} comme unités ce qui permet à l'utilisateur de
+construire lui-même ses propres \og opérations \fg.
+\begin{SideBySideExample}
+ \psset{xunit=\opcolumnwidth,
+ yunit=\oplineheight}%
+ \psgrid[subgriddiv=1,gridlabels=7pt,
+ griddots=5](0,1)(10,-2)
+ \oplput(2,0){Bonjour}
+ \oprput(8,-1){le monde}
+ $\bullet$
+\end{SideBySideExample}
+Sur l'exemple ci-dessus, on peut voir que ces deux macros ne modifient
+pas le point de référence. Elles prennent même la précaution d'inhiber
+l'espace automatique qui les suit pour qu'il ne soit pas nécessaire de
+mettre un \verb+%+ en fin de ligne.
+
+Les macros \macro{ophline} et \macro{opvline} complète les deux
+précédentes pour donner à l'utilisateur les outils lui permettant de
+construire ses propres opérations. La macro \macro{ophline} permet de
+placer un trait horizontal dont la longueur est donné par le paramètre
+qui suit les coordonnées. La macro \macro{opvline} fait de même avec
+les traits verticaux. On rappelle que les paramètres
+\parameter{hrulewidth} et \parameter{vrulewidth} indiquent les
+épaisseurs respectives de ces types de traits.
+\begin{CenterExample}[xrightmargin=0pt]
+ \par\vspace{2\oplineheight}
+ \oplput(1,2){O}\oplput(2,2){N}\oplput(3,2){E}
+ \oplput(0,1.5){$+$}
+ \oplput(1,1){O}\oplput(2,1){N}\oplput(3,1){E}
+ \ophline(0,0.8){4}
+ \oplput(1,0){T}\oplput(2,0){W}\oplput(3,0){O}
+\end{CenterExample}
+
+\section{Chiffres d'un nombre}
+\label{sec:Chiffres d'un nombre}
+Les macros \macro{opwidth}, \macro{opintegerwidth} et
+\macro{opdecimalwidth} indiquent respectivement le nombre de chiffres
+du nombre dans sa totalité, de sa partie entière et de sa partie
+décimale. Le premier argument est le nombre sur lequel s'effectue le
+comptage et le second argument indique la variable où sera stocké le
+résultat.
+\begin{SideBySideExample}
+ \opcopy{123456.1234}{a}%
+ \opwidth{a}{na}%
+ \opintegerwidth{a}{ia}%
+ \opdecimalwidth{a}{da}%
+ \opprint{a} s'\'ecrit avec \opprint{na}
+ chiffres (\opprint{ia} en partie
+ enti\`ere et \opprint{da} en partie
+ d\'ecimale).
+\end{SideBySideExample}
+
+La macro \macro{opunzero} permet de supprimer les zéros non
+significatifs\index{zeros non significatifs@zéros non significatifs}
+du nombre passé en argument.
+\begin{SideBySideExample}
+ \opcopy{00150.00250}{a}%
+ Avant : \opprint{a}\par
+ \opunzero{a}%
+ Apr\`es : \opprint{a}
+\end{SideBySideExample}
+
+Les macros \macro{integer} et \macro{opdecimal} donnent respectivement
+la partie entière et la partie décimale d'un nombre. Le premier
+argument est le nombre à traiter et le second est la variable qui
+contiendra le résultat.
+\begin{SideBySideExample}
+ \opcopy{-37.69911}{a}%
+ \opinteger{a}{ia}%
+ \opdecimal{a}{da}%
+ Partie enti\`ere : \opprint{ia}\par
+ Partie d\'ecimale : \opprint{da}
+\end{SideBySideExample}
+
+Six macros servent à écrire ou lire un chiffre d'un nombre. On peut
+lire ou écrire un chiffre selon son rang dans le nombre, dans sa
+partie entière ou dans sa partie décimale. Les chiffres pour le nombre
+dans sa totalité ou pour sa partie entière sont numérotés de droite à
+gauche et, pour sa partie décimale de gauche à droite. Ainsi, avec le
+nombre 1234,56789, le deuxième chiffre est 8, le deuxième chiffre de
+sa partie entière est 3 et le deuxième chiffre de sa partie décimale
+est 6. Il est alors facile de deviner le rôle respectif des six macros
+:
+\begin{itemize}
+\item \parameter{opgetdigit} ;
+\item \parameter{opsetdigit} ;
+\item \parameter{opgetintegerdigit} ;
+\item \parameter{opsetintegerdigit} ;
+\item \parameter{opgetdecimaldigit} ;
+\item \parameter{opsetdecimaldigit} ;
+\end{itemize}
+La syntaxe est la même pour ces six macros. Le premier argument est le
+nombre sur lequel doit porter la lecture ou l'écriture, le deuxième
+argument est l'index donnant la position du chiffre et le troisième
+argument est le nom de la variable qui contiendra le chiffre lu ou
+bien ce qui devra être écrit. Si l'index est en dehors du nombre, les
+macros de lecture donneront \texttt{0} comme résultat et les macros
+d'écriture étendront le nombre pour pouvoir atteindre cet index en
+créant des zéros dans les nouvelles positions.
+
+\section{Comparaisons}
+\label{sec:Comparaisons}
+Lorsqu'on désire concevoir des macros évoluées, il est très souvent
+utile de pouvoir réaliser des tests. Pour cela, \package{xlop} met à
+disposition la macro \macro{opcmp} dont les deux arguments sont des
+nombres et qui mettra à jour les tests \macro{ifopgt}, \macro{ifopge},
+\macro{ifople}, \macro{ifoplt}, \macro{ifopeq} et \macro{ifopneq} pour
+respectivement indiquer que la première opérande est strictement
+supérieure, supérieure, inférieure, strictement inférieure, égale ou
+différente de la seconde opérande.
+
+Pour des raisons techniques, \package{xlop} donne des définitions
+globales aux six tests précédents. Ceux-ci ne seront donc pas protégés
+par les groupes. Comme ces tests sont utilisés par un grand nombre de
+macros de \package{xlop}, une conséquence pratique est qu'il faut
+\textbf{toujours} réaliser les tests \verb+\ifop...+ immédiatement
+après le \macro{opcmp}, ou, du moins, avant toute autre utilisation de
+macros de \package{xlop} sous peine de bogues éventuels difficiles à
+comprendre !
+
+On va reprendre la macro d'affichage de l'heure donnée à la
+section~\ref{sec:Entree-sorties} mais en vérifiant si l'argument est
+compris entre~0 (inclus) et~1440 (exclu) puis en réalisant les tests
+nécessaires pour voir si \og heure \fg{} doit être ou non au pluriel
+ainsi que \og minute \fg{}.
+
+\begin{CenterExample}[xrightmargin=0pt]
+ \newcommand\heure[1]{%
+ \opcmp{#1}{0}\ifopge
+ \opcmp{#1}{1440}\ifoplt
+ \opidiv*{#1}{60}{h}{m}%
+ \opprint{h} heure%
+ \opcmp{h}{1}\ifopgt
+ s%
+ \fi
+ \opcmp{m}{0}\ifopneq
+ \space\opprint{m} minute%
+ \opcmp{m}{1}\ifopgt
+ s%
+ \fi
+ \fi
+ \fi\fi
+ }
+ \heure{60} -- \heure{1080} -- \heure{1081} -- \heure{1082}
+\end{CenterExample}
+
+\section{Opérations évoluées}
+\label{sec:Operations evoluees}
+Les macros qui nous restent à voir proviennent soit de commandes
+utilisées de façon interne et qu'il aurait été dommage de ne pas
+rendre publiques, soit de demandes d'utilisateurs.
+
+Les macros utilisées de façon interne sont \macro{opgcd} qui donne le
+pgcd de deux nombres et \macro{opdivperiod} qui donne la longueur de
+la période d'un quotient de deux nombres. Pour des raisons
+d'efficacité, ces macros n'utilisent pas les nombres de \package{xlop}
+mais des nombres directement accessibles à \TeX{}. Cela a pour
+conséquence que les nombres passés en paramètres dans les deux
+premiers arguments ne devront pas excéder \texttt{2147483647} pour
+\macro{opgcd} et \texttt{214748364} pour \macro{opdivperiod}. Un
+message d'avertissement rappellera à l'ordre en cas de dépassement. Le
+résultat sera stocké dans la variable indiqué en troisième paramètre.
+
+Il y aura également quelques vérifications sur les deux premiers
+paramètres. Un pgcd ne peut pas avoir d'argument nul et le calcul de
+la longueur d'une période ne pourra pas se faire avec un quotient
+nul. D'autre part, si un nombre non entier est passé en paramètre,
+seule la partie entière sera prise en compte.
+\begin{SideBySideExample}
+ \opcopy{5376}{a}%
+ \opcopy{2304}{b}%
+ \opgcd{a}{b}{gcd(ab)}%
+ \newcommand\pgcd{%
+ \mathop{\mathrm{pgcd}}}%
+ $\pgcd(\opprint{a},\opprint{b}) =
+ \opprint{gcd(ab)}$
+\end{SideBySideExample}
+Si vous voulez vous amuser à trouver de grandes périodes de divisions,
+sans entrer dans les détails mathématiques, les carrés de nombres
+premiers sont de bons candidats. Par exemple, avec $257^2=66049$ on
+trouve :
+\begin{SideBySideExample}
+ \opdivperiod{1}{66049}{p}%
+ $\frac{1}{66049}$ a une p\'eriode
+ de longueur $\opprint{p}$.
+\end{SideBySideExample}
+
+Les macros \macro{opcastingoutnines} et \macro{opcastingoutelevens}
+vont permettre de composer des preuves par neuf et par onze.
+L'extension \package{xlop} ne propose pas directement ces compositions
+puisqu'elles nécessitent des traits en diagonal et donc le recours à
+d'autres extensions. En réalité, la macro \macro{opcastingoutnines} va
+faire la somme modulo~9 des chiffres du premier argument et stockera
+le résultat dans le second argument tandis que la macro
+\macro{opcastingoutelevens} fera la somme des chiffres de rangs
+impairs, la somme des chiffres de rangs pairs puis la différence
+modulo~11 de ces deux sommes.
+\begin{SideBySideExample}
+ \newcommand\castingoutnines[3]{%
+ \opcastingoutnines{#1}{cna}%
+ \opcastingoutnines{#2}{cnb}%
+ \opmul*{cna}{cnb}{cna*cnb}
+ \opcastingoutnines{cna*cnb}{cna*cnb}%
+ \opcastingoutnines{#3}{cn(a*b)}%
+ \begin{pspicture}(-3.5ex,-3.5ex)%
+ (3.5ex,3.5ex)
+ \psline(-3.5ex,-3.5ex)(3.5ex,3.5ex)
+ \psline(-3.5ex,3.5ex)(3.5ex,-3.5ex)
+ \rput(-2.75ex,0){\opprint{cna}}
+ \rput(2.75ex,0){\opprint{cnb}}
+ \rput(0,2.75ex){\opprint{cna*cnb}}
+ \rput(0,-2.75ex){\opprint{cn(a*b)}}
+ \end{pspicture}
+ }
+ \castingoutnines{157}{317}{49669}
+\end{SideBySideExample}
+Incidemment, cet exemple montre que $157\times317\neq49669$ ! La
+réponse correcte est \opmul[style=text]{157}{317}.
+
+Les deux macros suivantes sont très simples. Il s'agit de
+\macro{opneg} qui calcul l'opposé de son premier argument et le
+sauvegarde dans la variable indiquée par le second argument et de
+\macro{opabs} qui réalise la même chose mais avec la valeur absolue.
+
+La macro \macro{oppower} permet de calculer des puissances entières de
+nombres. Cette macro demande trois paramètres, le troisième paramètre
+étant la variable recevant le résultat du premier paramètre à la
+puissance le deuxième paramètre. Le deuxième paramètre doit être un
+nombre entier. Lorsque le premier argument est nul, si le deuxième
+paramètre est nul, le résultat sera~1, s'il est strictement positif,
+le résultat sera nul et s'il est strictement négatif il y aura une
+erreur et aucun résultat ne sera fourni. Il n'y a aucune limitation
+sur le premier paramètre ce qui peut entraîner quelques problèmes. Par
+exemple :
+\begin{CenterExample}[xrightmargin=0pt]
+ \opcopy{0.8}{a}\opcopy{-17}{n}%
+ \oppower{a}{n}{r}%
+ $\opprint{a}^{\opprint{n}} = \opprint{r}$
+\end{CenterExample}
+Avec $0{,}7$ au lieu de $0{,}8$, le problème aurait été encore pire :
+\begin{CenterExample}[xrightmargin=0pt]
+ \opcopy{0.7}{a}\opcopy{-8}{n}%
+ \oppower{a}{n}{r}%
+ \opdecimalwidth{r}{dr}
+ $\opprint{a}^{\opprint{n}}$ a \opprint{dr} chiffres apr\`es la
+ virgule.
+\end{CenterExample}
+Tout cela est dû au fait que lorsque l'exposant est négatif,
+\package{xlop} calcule \emph{d'abord} l'inverse du nombre pour
+\emph{ensuite} calculer la puissance avec l'opposé de l'exposant. Si
+on avait laissé $-17$ au lieu de $-8$ dans l'exemple précédent, les
+capacités de \TeX{} auraient été dépassées.
+
+Les trois macros qui suivent permettent de contrôler la précision des
+nombres manipulés. Elles permettent de construire un nombre en donnant
+une valeur approchée par défaut, par excès ou un arrondi d'un nombre
+donné en précisant le rang où devra se faire l'arrondi. Ces macros
+sont respectivement \macro{opfloor}, \macro{opceil} et
+\macro{opround}. Elles demandent trois paramètres qui seront dans
+l'ordre le nombre de départ, le rang de l'arrondi et le nom de la
+variable qui contiendra le résultat.
+
+Le rang est indiqué par une valeur entière donnant le nombre de
+chiffres après la virgule qui doivent être présents. Si le rang est
+négatif, l'arrondi se fera avant la virgule. Si le rang positif
+indique plus de chiffres que la partie décimale n'en a, des zéros
+seront ajoutés. Si le rang négatif indique plus de chiffres que la
+partie entière n'en a, l'arrondi restera bloqué pour donner au moins
+le premier chiffre du nombre.
+
+Voici un tableau récapitulatif pour mieux comprendre le fonctionnement
+de ces trois macros.
+\begin{center}
+ \opcopy{3838.3838}{a}
+ \begin{tabular}{|r|l|l|l|}
+ \hline
+ \multicolumn{4}{|c|}{\textbf{\texttt{\textbackslash
+ op\ldots{}\{3838.3838\}\{n\}\{r\}}}}\\\hline
+ \multicolumn{1}{|c|}{\textbf{\texttt{n}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{floor}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{ceil}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{round}}} \\\hline
+ \opcopy{6}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{4}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{3}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{0}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-1}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-2}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-6}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\\hline
+ \end{tabular}
+ \opcopy{-3838.3838}{a}
+ \begin{tabular}{|r|l|l|l|}
+ \hline
+ \multicolumn{4}{|c|}{\textbf{\texttt{\textbackslash
+ op\ldots{}\{-3838.3838\}\{n\}\{r\}}}}\\\hline
+ \multicolumn{1}{|c|}{\textbf{\texttt{n}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{floor}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{ceil}}} &
+ \multicolumn{1}{c|}{\textbf{\texttt{round}}} \\\hline
+ \opcopy{6}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{4}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{3}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{0}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-1}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-2}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\
+ \opcopy{-6}{n}$\opprint{n}$ &
+ \opfloor{a}{n}{r}$\opprint{r}$ &
+ \opceil{a}{n}{r}$\opprint{r}$ &
+ \opround{a}{n}{r}$\opprint{r}$ \\\hline
+ \end{tabular}
+\end{center}
+
+La dernière macro qui nous reste à voir est \macro{opexpr} qui permet
+de réaliser le calcul d'une expression complexe. Cette macro demande
+deux paramètres : le premier est l'expression à calculer donnée sous
+forme infixe (la forme habituelle pour un humain) et le second est le
+nom de la variable qui contiendra le résultat.
+
+Initialement, la formule devait être donnée sous forme polonaise
+inverse (la notation des calculatrices HP ou du langage PostScript par
+exemple) mais un travail commun avec Christophe Jorssen a finalement
+abouti à la possibilité de donner l'expression sous une forme plus
+agréable pour l'utilisateur.
+
+Les formules acceptent les opérateurs arithmétiques habituels
+\texttt{+}, \texttt{-}, \texttt{*} et \texttt{/} ainsi que l'opérateur
+\texttt{:} pour la division euclidienne et \verb+^+ pour
+l'exponentiation. L'opérateur \texttt{-} a les deux rôles d'opérateur
+binaire de la soustraction et d'opérateur unaire pour l'opposé.
+L'opérateur \texttt{+} a également les deux rôles d'opérateur binaire
+de l'addition et d'opérateur unaire ne faisant \ldots{} rien ! Les
+opérandes sont écrites sous forme décimale ou par l'intermédiaire de
+nom de variable cependant, la macro \macro{opexpr} va introduire une
+petite restriction sur les noms de variables puisque ceux-ci devront
+être différents des noms de fonctions reconnus par cette macro. Les
+fonctions accessibles sont :
+\begin{itemize}
+\item \texttt{abs(a)} ;
+\item \texttt{ceil(a,i)} ;
+\item \texttt{decimal(a)} ;
+\item \texttt{floor(a,i)} ;
+\item \texttt{gcd(a,b)} ;
+\item \texttt{integer(a)} ;
+\item \texttt{mod(a,b)} qui donne le résultat de \texttt{a} modulo
+ \texttt{b} ;
+\item \texttt{rest(a,b)} qui donne le reste de la division de
+ \texttt{a} par \texttt{b} (la différence entre reste et modulo est
+ la différence qui existe entre division non euclidienne et division
+ euclidienne) ;
+\item \texttt{round(a,i)}.
+\end{itemize}
+où les fonctions non décrites ci-dessus font appel aux macros
+correspondantes (la fonction \texttt{xxx} faisant appel à la macro
+\verb+\opxxx+). Pour les fonctions \texttt{ceil}, \texttt{floor} et
+\texttt{round}, le nombre \texttt{i} indique le rang sur lequel doit
+se faire l'arrondi.
+
+La macro \macro{opexpr} accepte un argument optionnel puisqu'elle peut
+réaliser des divisions et que ces divisions doivent pouvoir être
+contrôlées via les paramètres \parameter{maxdivstep},
+\parameter{safedivstep} et \parameter{period}.
+Notre premier exemple est assez basique :
+\begin{CenterExample}[xrightmargin=0pt]
+ \opexpr{3--gcd(15*17,25*27)*2}{r}%
+ $3--\gcd(15\times17,25\times27)\times2 = \opprint{r}$
+\end{CenterExample}
+
+Voici un autre exemple montrant que des données peuvent provenir d'une
+macro :
+\begin{CenterExample}[xrightmargin=0pt]
+ \newcommand\try{2}%
+ \opexpr{\try+1/
+ (\try+1/
+ (\try+1/
+ (\try+1/
+ (\try+1/
+ (\try)))))}{r}
+ La fraction continue de base $u_n=2$ vaut \opprint{r} au rang~5.
+\end{CenterExample}
+
+\appendix
+\chapter{Aide-mémoire}
+\label{chap:Aide-mémoire}
+\section{Temps de compilation}
+\label{sec:Temps de compilation}
+Les temps de compilation ont été mesurés sur une machine à processeur
+Pentium~II~600\,MHz ayant 256\,Mo de RAM et tournant sous linux
+(Debian woody). Le principe a été de faire un fichier TeX{} minimum
+dont le schéma général est donné par :
+\begin{verbatim}
+ \input xlop
+ \count255=0
+ \loop
+ \ifnum\count255<1000
+ <opération à tester>
+ \advance\count255 by1
+ \repeat
+ \bye
+\end{verbatim}
+Le temps de compilation avec \verb+<opération à tester>+ vide a été
+soustrait des autres tests et seul le temps utilisateur a été pris en
+compte. Les résultats sont donnés en millisecondes et sont évidemment
+à prendre avec beaucoup de précautions.
+
+\index{compilation (temps de)|(}\index{temps de calcul|(}%
+Le tableau suivant donne le temps de compilation des opérations en
+millisecondes. Les opérandes utilisées l'ont été avec une écriture
+sous forme de chiffres mais des essais avec des opérandes sous forme
+de noms de variable ont montré que les différences étaient vraiment
+minimes.
+
+La première ligne indique le nombre de chiffres des deux
+opérandes. Ces nombres ont été construits de la façons suivantes :
+\begin{itemize}
+\item $\mathrm{A} = 1$ et $\mathrm{B} = 9$ pour un chiffre ;
+\item $\mathrm{A} = 12$ et $\mathrm{B} = 98$ pour deux chiffres ;
+\item $\mathrm{A} = 123$ et $\mathrm{B} = 987$ pour trois chiffres ;
+\item $\mathrm{A} = 12345$ et $\mathrm{B} = 98765$ pour cinq chiffres ;
+\item $\mathrm{A} = 1234567890$ et $\mathrm{B} = 9876543210$ pour dix
+ chiffres ;
+\item $\mathrm{A} = 12345678901234567890$ et $\mathrm{B} =
+ 98765432109876543210$ pour vingt chiffres ;
+\end{itemize}
+Voici les résultats, quelques commentaires suivront :
+
+\bigskip\noindent\hbox to\linewidth{\hss
+ \begin{tabular}{|r|*{6}{l|}}
+ \cline{2-7}
+ \multicolumn{1}{l|}{} &
+ \multicolumn{1}{c|}{1} &
+ \multicolumn{1}{c|}{2} &
+ \multicolumn{1}{c|}{3} &
+ \multicolumn{1}{c|}{5} &
+ \multicolumn{1}{c|}{10} &
+ \multicolumn{1}{c|}{20} \\\hline
+ \verb+\opadd*{A}{B}{r}+ &
+ 1.1 & 1.4 & 1.6 & 2.1 & 3.3 & 5.8 \\\cline{2-7}
+ \verb+\opadd*{B}{A}{r}+ &
+ 1.1 & 1.4 & 1.6 & 2.1 & 3.3 & 5.8 \\\hline
+ \verb+\opsub*{A}{B}{r}+ &
+ 1.7 & 2.1 & 2.4 & 3.0 & 4.8 & 8.3 \\\cline{2-7}
+ \verb+\opsub*{B}{A}{r}+ &
+ 1.5 & 1.7 & 2.0 & 2.6 & 4.0 & 7.0 \\\hline
+ \verb+\opmul*{A}{B}{r}+ &
+ 4.6 & 6.3 & 8.2 & 12.8 & 29.9 & 87.0 \\\cline{2-7}
+ \verb+\opmul*{B}{A}{r}+ &
+ 5.0 & 6.6 & 8.5 & 13.2 & 30.3 & 87.8 \\\hline
+ \verb+\opdiv*{A}{B}{q}{r}+ &
+ 46.4 & 53.8 & 53.8 & 64.3 & 85.8 & 124.7 \\\cline{2-7}
+ \verb+\opdiv*{B}{A}{q}{r}+ &
+ 12.4 & 48.9 & 55.7 & 58.6 & 72.8 & 111.0 \\\hline
+ \verb+\opdiv*[maxdivstep=5]{A}{B}{q}{r}+ &
+ 26.8 & 30.0 & 32.6 & 37.6 & 49.5 & 73.5 \\\cline{2-7}
+ \verb+\opdiv*[maxdivstep=5]{B}{A}{q}{r}+ &
+ 12.4 & 29.1 & 32.6 & 35.2 & 43.3 & 67.9 \\\hline
+ \verb+\opidiv*{A}{B}{q}{r}+ &
+ 10.8 & 12.2 & 13.5 & 16.0 & 22.3 & 35.5 \\\cline{2-7}
+ \verb+\opidiv*{B}{A}{q}{r}+ &
+ 11.6 & 13.0 & 14.2 & 16.6 & 23.0 & 36.7 \\\hline
+ \verb+\opidiv*{A}{2}{q}{r}+ &
+ 10.7 & 12.0 & 15.3 & 22.3 & 42.9 & 83.0 \\\hline
+ \end{tabular}
+ \hss
+}
+\par\bigskip
+Il est normal que l'inversion des opérandes n'ait aucune influence
+pour l'addition. Il peut alors sembler anormal qu'elle en ait une pour
+la soustraction mais en fait, avoir une seconde opérande supérieure à
+la première va entraîner quelques instructions supplémentaires (double
+inversion, gestion plus longue du signe du résultat).
+
+Il est normal que le temps de la division soit supérieur à celui de la
+multiplication. Il peut alors sembler anormal que la division ait
+l'air de \og rattraper \fg{} son retard. En fait, une multiplication
+voit sa complexité fortement augmenter avec la taille des opérandes
+mais la division normale est bloquée par le paramètre
+\parameter{maxdivstep}. On le voit bien sur l'exemple où on limite ce
+maximum à 5~étapes.
+
+Quelques résultats semblent bizarres. Ainsi,
+\verb+\opdiv*{9}{1}{q}{r}+ est anormalement rapide : cela est dû
+au fait d'avoir un quotient à un seul chiffre. Plus bizarre encore,
+\verb+\opdiv*{123}{987}{q}{r}+ est plutôt rapide. Ici,
+l'explication est plus subtile : cela est dû à la présence de nombreux
+zéros au quotient.
+
+Avec des opérandes de taille comparable, la division euclidienne est
+très rapide par rapport à la division non euclidienne. Cela est dû au
+fait que le quotient n'aura que peu de chiffres (un seul avec tous les
+nombres \texttt{A} et \texttt{B}). La dernière ligne du tableau est
+plus représentative des temps de compilation que l'on peut obtenir
+avec cette opération.
+
+Toutes ces remarques sont faites pour bien insister sur la difficulté
+à évaluer un temps de compilation a priori : il dépend de trop de
+paramètres. Cela dit, le tableau permet d'avoir quand même une idée de
+ce à quoi il faut s'attendre.
+\index{compilation (temps de)|)}\index{temps de calcul|)}
+
+\section{Liste des macros}
+\label{sec:Liste des macros}
+\noindent\index{macros!table des|(}%
+\begin{longtable}{|l|p{6.3cm}|}
+ \hline
+ \multicolumn{1}{|c|}{\textbf{Macro}} &
+ \multicolumn{1}{c|}{\textbf{Description}} \\\hline\hline
+ \endfirsthead
+ \hline
+ \multicolumn{1}{|c|}{\textbf{Macro}} &
+ \multicolumn{1}{c|}{\textbf{Description}} \\\hline\hline
+ \endhead
+ \hline
+ \multicolumn{2}{|c|}{$\ldots$ à suivre $\ldots$}\\
+ \hline
+ \endfoot
+ \hline
+ \endlastfoot
+ \verb+\opabs{n}{N}+ &
+ \verb+N+ reçoit la valeur absolue de \verb+n+. \\\hline
+ \verb+\opadd[P]{n1}{n2}+ &
+ Affiche le résultat de l'opération \verb-n1+n2-. \\\hline
+ \verb+\opadd*{n1}{n2}{N}+ &
+ Calcule \verb-n1+n2- et place le résultat dans
+ \verb+N+. \\\hline
+ \verb+\opcastingoutelevens{n}{N}+ &
+ Calcule la différence (modulo 11) de la somme des chiffres de rang
+ impair et de la somme des chiffres de rang pair de \verb+n+ et
+ place le résultat dans \verb+N+. \\\hline
+ \verb+\opcastingoutnines{n}{N}+. &
+ Calcule la somme modulo 9 des chiffres de \verb+n+ et place le
+ résultat dans \verb+N+. \\\hline
+ \verb+\opceil{n}{T}{N}+ &
+ Place dans \verb+N+ la valeur approchée par excès de
+ \verb+n+ au rang \verb+T+. \\\hline
+ \verb+\opcmp{n1}{n2}+ &
+ Compare les nombres \verb+n1+ et \verb+n2+ et réalise la
+ mise à jour correspondante des tests \verb+\ifopeq+,
+ \verb+\ifopneq+, \verb+\ifopgt+, \verb+\ifopge+,
+ \verb+\ifople+ et \verb+\ifoplt+. \\\hline
+ \verb+\opcopy{n}{N}+ &
+ Copie le nombre \verb+n+ dans \verb+N+. \\\hline
+ \verb+\opdecimal{n}{N}+ &
+ Copie la partie décimale (nombre entier positif) de \verb+n+
+ dans \verb+N+. \\\hline
+ \verb+\opdecimalwidth{n}{N}+ &
+ Le nombre \verb+N+ reçoit la largeur de la partie décimale du
+ nombre \verb+n+. \\\hline
+ \verb+\opdisplay[P]{S}{n}+ &
+ Affiche le nombre \verb+n+ avec le style \verb+S+ en
+ plaçant chaque chiffre dans une boîte de largeur
+ \verb+\opcolumnwidth+ et de hauteur
+ \verb+\oplineheight+. \\\hline
+ \verb+\opdiv[P]{n1}{n2}+ &
+ Affiche le résultat de l'opération n1/n2. \\\hline
+ \verb+\opdiv*[P]{n1}{n2}{N1}{N2}+ &
+ Calcule \verb+n1/n2+, place le quotient dans \verb+N1+ et
+ le reste dans \verb+N2+. \\\hline
+ \verb+\opdivperiod{T1}{T2}{N}+ &
+ Calcule la longueur de la période de la division de \verb+T1+
+ par \verb+T2+ et place le résultat dans \verb+N+. \\\hline
+ \verb+\opexpr[P]{F}{N}+ &
+ \'Évalue la formule \texttt{F} est place le résultat final dans le
+ nombre \texttt{N}. \\\hline
+ \verb+\opfloor{n}{T}{N}+ &
+ Place dans \verb+N+ la valeur approchée par défaut de
+ \verb+n+ au rang \verb+T+. \\\hline
+ \verb+\opgcd{T1}{T2}{N}+ &
+ Calcule le pgcd de \verb+T1+ et \verb+T2+ et place le
+ résultat dans \verb+N+. \\\hline
+ \verb+\opgetdecimaldigit{n}{T}{N}+ &
+ Construit le nombre \verb+N+ avec le seul chiffre situé en
+ \verb+T+ième position de la partie décimale du nombre
+ \verb+n+. \\\hline
+ \verb+\opgetdigit{n}{T}{N}+ &
+ Construit le nombre \verb+N+ avec le seul chiffre situé en
+ \verb+T+ième position du nombre \verb+n+. \\\hline
+ \verb+\opgetintegerdigit{n}{T}{N}+ &
+ Construit le nombre \verb+N+ avec le seul chiffre situé en
+ \verb+T+ième position de la partie entière du nombre
+ \verb+n+. \\\hline
+ \verb+\ophline(T1,T2){T3}+ &
+ Trace un trait horizontal de longueur \verb+T3+, d'épaisseur
+ \verb+hrulewidth+ et débutant en \verb+(T1,T2)+ par
+ rapport au point de référence. \\\hline
+ \verb+\opidiv[P]{n1}{n2}+ &
+ Affiche le résultat de l'opération \verb+n1/n2+ (division
+ euclidienne, c'est-à-dire avec un quotient entier). \\\hline
+ \verb+\opidiv*{n1}{n2}{N1}{N2}+ &
+ Calcule \verb+n1/n2+ (division euclidienne), place le quotient
+ (entier) dans \verb+N1+ et le reste (compris entre 0 inclus et
+ \verb+|n2|+ exclu) dans \verb+N2+. \\\hline
+ \verb+\opinteger{n}{N}+ &
+ Copie la partie entière (nombre entier positif) de \verb+n+
+ dans \verb+N+. \\\hline
+ \verb+\opintegerwidth{n}{N}+ &
+ Le nombre \verb+N+ reçoit la longueur de la partie entière du
+ nombre \verb+n+. \\\hline
+ \verb+\oplput(T1,T2){<objet>}+ &
+ Place \verb+<objet>+ à droite du point situé en
+ \verb+(T1,T2)+ par rapport au point de référence. \\\hline
+ \verb+\opmul[P]{n1}{n2}+ &
+ Affiche le résultat de l'opération \verb+n1*n2+. \\\hline
+ \verb+\opmul*{n1}{n2}{N}+ &
+ Calcule \verb+n1*n2+ et place le résultat dans
+ \verb+N+. \\\hline
+ \verb+\opneg{n}{N}+ &
+ Le nombre \verb+N+ reçoit l'opposé de \verb+n+. \\\hline
+ \verb+\oppower{n}{T}{N}+ &
+ Calcule \verb+n+ à la puissance \verb+T+ et place le
+ résultat dans \verb+N+. \\\hline
+ \verb+\opprint{n}+ &
+ Affiche le nombre \verb+n+ de façon directe. \\\hline
+ \verb+\opround{n}{T}{N}+ &
+ Place dans \verb+N+ la valeur arrondie de \verb+n+ au rang
+ \verb+T+. \\\hline
+ \verb+\oprput(T1,T2){<objet>}+ &
+ Place \verb+<objet>+ à gauche du point situé en
+ \verb+(T1,T2)+ par rapport au point de référence. \\\hline
+ \verb+\opset{L}+ &
+ Effectue une affectation globale des paramètres de \package{xlop}
+ désignés dans la liste \verb+L+. \\\hline
+ \verb+\opsetdecimaldigit{n}{T}{N}+ &
+ Modifie le \verb+T+ième chiffre de la partie décimale de
+ \verb+N+ pour qu'il soit égal à \verb+n+. \\\hline
+ \verb+\opsetdigit{n}{T}{N}+ &
+ Modifie le \verb+T+ième chiffre de \verb+N+ pour qu'il
+ soit égal à \verb+n+. \\\hline
+ \verb+\opsetintegerdigit{n}{T}{N}+ &
+ Modifie le \verb+T+ième chiffre de la partie entière de
+ \verb+N+ pour qu'il soit égal à \verb+n+. \\\hline
+ \verb+\opsub[P]{n1}{n2}+ &
+ Affiche le résultat de l'opération n1-n2. \\\hline
+ \verb+\opsub*{n1}{n2}{N}+ &
+ Calcule n1-n2 et place le résultat dans N. \\\hline
+ \verb+\opunzero{N}+ &
+ Supprime les zéros non significatifs du nombre \verb+N+. \\\hline
+ \verb+\opvline(T1,T2){T3}+ &
+ Trace un trait vertical de longueur \verb+T3+, d'épaisseur
+ \verb+hrulewidth+ et débutant en \verb+(T1,T2)+ par
+ rapport au point de référence. \\\hline
+ \verb+\opwidth{n}{N}+ &
+ Le nombre \verb+N+ reçoit le nombre de chiffres du nombre
+ \verb+n+. \\\hline
+\end{longtable}\index{macros!table des|)}
+
+Dans ce tableau, les paramètres :
+\begin{itemize}
+\item \texttt{n} et \texttt{ni} (où \texttt{i} représente un indice)
+ indiquent que le paramètre doit être un nombre donné sous forme
+ décimale ou sous forme d'un nom de variable ;
+\item \texttt{N} et \texttt{Ni} (où \texttt{i} représente un indice)
+ indiquent que le paramètre doit être un nombre donné sous forme d'un
+ nom de variable ;
+\item \texttt{[P]} indique que la macro accepte un paramètre optionnel
+ permettant de modifier les paramètres de \package{xlop} ;
+\item \texttt{T} et \texttt{Ti} (où \texttt{i} représente un indice)
+ indiquent que le paramètre doit être un nombre donné sous forme
+ décimale ou sous forme d'un nom de variable mais ne devant pas
+ excéder la taille des nombres directement acceptables par \TeX{} (en
+ l'occurrence $-2147483648 \le \mathtt{T} \le 2147483647$).
+\end{itemize}
+
+\section{Liste des paramètres}
+\label{sec:Liste des parametres}
+\index{parametres@paramètres!table des|(}%
+\begingroup
+\advance\hoffset by-1.75cm \advance\linewidth by1.75cm
+\begin{longtable}{|l|l|p{7cm}|}
+ \hline
+ \multicolumn{1}{|c|}{\textbf{Paramètre}} &
+ \multicolumn{1}{c|}{\textbf{Défaut}} &
+ \multicolumn{1}{c|}{\textbf{Signification}} \\\hline\hline
+ \endfirsthead
+ \hline
+ \multicolumn{1}{|c|}{\textbf{Paramètre}} &
+ \multicolumn{1}{c|}{\textbf{Défaut}} &
+ \multicolumn{1}{c|}{\textbf{Signification}} \\\hline\hline
+ \endhead
+ \hline
+ \multicolumn{3}{|c|}{$\ldots$ à suivre $\ldots$}\\
+ \hline
+ \endfoot
+ \hline
+ \endlastfoot
+ \verb+afterperiodsymbol+ &
+ \verb+$\ldots$+ &
+ Symbole utilisé à la suite de la période d'une division. \\\hline
+ \verb+approxsymbol+ &
+ \verb+$\approx$+ &
+ Symbole utilisé comme relation d'égalité approximative dans les
+ opérations en ligne. \\\hline
+ \verb+equalsymbol+ &
+ \verb+{$=$}+ &
+ Symbole utilisé comme relation d'égalité dans les opérations en
+ ligne. \\\hline
+ \verb+addsymbol+ &
+ \verb-$+$- &
+ Symbole utilisé comme opérateur d'addition. \\\hline
+ \verb+subsymbol+ &
+ \verb+$-$+ &
+ Symbole utilisé comme opérateur de soustraction. \\\hline
+ \verb+mulsymbol+ &
+ \verb+$\times$+ &
+ Symbole utilisé comme opérateur de multiplication. \\\hline
+ \verb+divsymbol+ &
+ \verb+$\div$+ &
+ Symbole utilisé comme opérateur de division pour les opérations en
+ ligne. \\\hline
+ \verb+decimalsepsymbol+ &
+ \verb+.+ &
+ Symbole utilisé comme séparateur décimal. \\\hline
+ \verb+strikedecimalsepsymbol+ &
+ &
+ Symbole utilisé pour un séparateur décimal déplacé au niveau du
+ dividende et du diviseur dans les divisions posées. \\\hline
+ \verb+shiftintermediarysymbol+ &
+ \verb+$\cdot$+ &
+ Symbole utilisé pour montrer les décalages des nombres
+ intermédiaires dans les multiplications posées. \\\hline
+ \verb+displayshiftintermediary+ &
+ \verb+shift+ &
+ Indique que le caractère de décalage dans les multiplications sera
+ affiché uniquement pour le décalage supplémentaire (valeur
+ \verb+shift+), pour tous les décalages (valeur \verb+all+)
+ ou jamais (valeur \verb+none+). \\\hline
+ \verb+voperation+ &
+ \verb+bottom+ &
+ Type d'alignement vertical d'une opération posée. La
+ valeur \verb+bottom+ indique que le bas de l'opération sera
+ au niveau de la ligne de base. La valeur \verb+top+ indique
+ que la première ligne de l'opération sera sur la ligne de base. La
+ valeur \verb+center+ indique que l'opération sera centrée
+ verticalement sur la ligne de base. \\\hline
+ \verb+voperator+ &
+ \verb+center+ &
+ Positionnement vertical de l'opérateur dans les
+ opérations posées. La valeur \verb+top+ place l'opérateur au
+ niveau de la première opérande. La valeur \verb+bottom+ place
+ l'opérateur au niveau de la seconde opérande. La valeur
+ \verb+center+ place l'opérateur entre les deux
+ opérandes. \\\hline
+ \verb+hfactor+ &
+ \verb+decimal+ &
+ Type d'alignement des opérandes dans les
+ multiplications posées. La valeur \verb+decimal+ indique un
+ alignement sur la virgule. La valeur \verb+right+ indique une
+ composition au fer à droite. \\\hline
+ \verb+vruleperiod+ &
+ \verb+-0.2+ &
+ Position verticale du trait indiquant la période du quotient
+ dans les divisions en ligne. \\\hline
+ \verb+dividendbridge+ &
+ \verb+false+ &
+ Indique si le \og pont \fg{} au-dessus du dividende est présent ou
+ non. \\\hline
+ \verb+shiftdecimalsep+ &
+ \verb+both+ &
+ Indique la façon dont se fait le décalage de virgule au niveau des
+ opérandes d'une division posée. La valeur \verb+both+ indique
+ que le décalage doit rendre le diviseur et le dividende
+ entiers. La valeur \verb+divisor+ indique que le décalage
+ doit rendre le diviseur entier. La valeur \verb+none+ indique
+ qu'il n'y aura aucun décalage. \\\hline
+ \verb+maxdivstep+ &
+ \verb+10+ &
+ Nombre d'étapes maximum d'une division. \\\hline
+ \verb+safedivstep+ &
+ \verb+50+ &
+ Nombre d'étapes maximum d'une division lors d'un arrêt sur
+ période. \\\hline
+ \verb+period+ &
+ \verb+false+ &
+ Indique si la division doit s'arrêter sur une détection de période
+ ou non. \\\hline
+ \verb+deletezero+ &
+ \verb+true+ &
+ Indique si on affiche (\verb+false+) ou on supprime
+ (\verb+true+) les zéros non significatifs. \\\hline
+ \verb+carryadd+ &
+ \verb+true+ &
+ Indique si les retenues doivent être affichées pour les additions
+ posées. \\\hline
+ \verb+carrysub+ &
+ \verb+false+ &
+ Indique si les retenues doivent être affichées pour les
+ soustractions posées. \\\hline
+ \verb+offsetcarry+ &
+ \verb+-0.35+ &
+ Décalage horizontal pour les retenues dans les
+ soustractions posées. \\\hline
+ \verb+style+ &
+ \verb+display+ &
+ Indique si l'opération doit être en ligne (\verb+text+) ou
+ posée (\verb+display+). \\\hline
+ \verb+displayintermediary+ &
+ \verb+nonzero+ &
+ Indique si les résultats intermédiaires doivent être affichés
+ (\verb+all+) ou seulement les non nuls (\verb+nonzero+) ou
+ aucun (valeur \verb+none+) dans les multiplications et les
+ divisions. \\\hline
+ \verb+lastcarry+ &
+ \verb+false+ &
+ Indique si la retenue au niveau d'une absence de chiffre devra
+ être affichée ou non. \\\hline
+ \verb+parenthesisnegative+ &
+ \verb+none+ &
+ Comportement à adopter pour l'affichage des nombres
+ négatifs dans les opérations en lignes. La valeur \verb+none+
+ les affiche sans parenthèse, \verb+all+ les mettra
+ systématiquement les nombres négatifs entre parenthèses et
+ \verb+last+ les mettra entre parenthèses
+ sauf pour la première valeur d'une expression. \\\hline
+ \verb+columnwidth+ &
+ \verb+2ex+ &
+ Largeur des boîtes contenant un chiffre. \\\hline
+ \verb+lineheight+ &
+ \verb+\baselineskip+ &
+ Hauteur des boîtes contenant un chiffre. \\\hline
+ \verb+decimalsepwidth+ &
+ \verb+0pt+ &
+ Largeur de la boîte contenant le séparateur décimal. \\\hline
+ \verb+decimalsepoffset+ &
+ \verb+0pt+ &
+ Décalage horizontal du séparateur décimal. \\\hline
+ \verb+hrulewidth+ &
+ \verb+0.4pt+ &
+ \'Épaisseur des lignes horizontales. \\\hline
+ \verb+vrulewidth+ &
+ \verb+0.4pt+ &
+ \'Épaisseur des lignes verticales. \\\hline
+ \verb+behaviorsub+ &
+ \verb+silent+ &
+ Comportement de \package{xlop} face à une
+ soustraction \og impossible \fg{}, c'est-à-dire une soustraction
+ ayant ses deux opérandes positives avec une seconde opérande
+ strictement supérieure à la première. La valeur \verb+silent+
+ effectuera l'opération en permutant les opérandes de façon
+ silencieuse. La valeur \verb+warning+ fera de même mais en
+ émettant un message d'avertissement. Enfin, la valeur
+ \verb+error+ affichera un message d'erreur et l'opération ne
+ sera pas effectuée. \\\hline
+ \verb+country+ &
+ \verb+french+ &
+ Indique le comportement des opérations posées en fonction du
+ pays. L'extension prévoit pour l'instant \verb+french+,
+ \verb+american+ et \verb+russian+ mais les différentes
+ façons de présenter les opérations ne sont pas implantées dans la
+ version 0.2. \\\hline
+ \verb+operandstyle+ &
+ &
+ Style utilisé pour les opérandes. \\\hline
+ \verb+resultstyle+ &
+ &
+ Style utilisé pour les résultats. \\\hline
+ \verb+remainderstyle+ &
+ &
+ Style utilisé pour les restes. \\\hline
+ \verb+intermediarystyle+ &
+ &
+ Style utilisé pour les résultats intermédiaires (nombres
+ intermédiaires dans une multiplication et nombres à soustraire
+ dans une division où apparaissent les soustractions
+ successives). \\\hline
+ \verb+carrystyle+ &
+ \verb+\scriptsize+ &
+ Style utilisé pour les retenues. La valeur par défaut lorsqu'on ne
+ compile pas sous \LaTeX{} est \verb+\sevenrm+. \\\hline
+\end{longtable}\index{parametres@paramètres!table des|)}
+\newpage\endgroup
+
+\chapter{Trucs et astuces}
+\label{chap:Trucs et astuces}
+\section{Comparaison avec \package{calc} et \package{fp}}
+On pourrait croire que \package{xlop} puisse remplacer avantageusement
+des extensions telles que
+\package{calc}\index{extension!calc}\index{calc} et
+\package{fp}\index{extension!fp}\index{fp}. En réalité, c'est un peu
+plus compliqué que cela. Bien sûr, \package{xlop} permet des calculs
+complexes et sur des nombres comportant un nombre arbitraire de
+chiffres mais, contrairement à \package{calc}, il ne permet pas de
+gérer directement les unités. La comparaison avec \package{fp} est un
+peu plus réaliste mais il ne faut pas perdre de vue que \package{xlop}
+peut devenir gourmand en mémoire et en temps de calcul.
+
+Si vous voulez vraiment réaliser des calculs sur des
+longueurs\index{longueur}, vous pouvez toujours utiliser le fait
+qu'une affectation d'un registre de longueur à un compteur donnera un
+nombre correspondant à cette longueur avec l'unité \texttt{sp}.
+\begin{CenterExample}[xrightmargin=0pt]
+ \newcommand\getsize[2]{%
+ \dimen0=#1\relax
+ \count255=\dimen0
+ \opcopy{\the\count255}{#2}}
+ \getsize{1pt}{r}$1\,\mathrm{pt} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1pc}{r}$1\,\mathrm{pc} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1in}{r}$1\,\mathrm{in} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1bp}{r}$1\,\mathrm{bp} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1cm}{r}$1\,\mathrm{cm} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1mm}{r}$1\,\mathrm{mm} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1dd}{r}$1\,\mathrm{dd} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1cc}{r}$1\,\mathrm{cc} = \opprint{r}\,\mathrm{sp}$\quad
+ \getsize{1sp}{r}$1\,\mathrm{sp} = \opprint{r}\,\mathrm{sp}$\quad
+\end{CenterExample}
+N'oubliez cependant pas que le but principal de \package{xlop} est
+d'\emph{afficher} automatiquement les opérations.
+
+Muni de la macro \macro{getsize}, il est possible de réaliser des
+calculs sur des longueurs.
+\newcommand\getsize[2]{%
+ \dimen0=#1\relax
+ \count255=\dimen0
+ \opcopy{\the\count255}{#2}
+}\par\vspace{-\baselineskip}\noindent
+\vbox to0cm{\parindent=0pt\vbox to2.5cm{\vss
+ \getsize{1cm}{u}%
+ \getsize{\textwidth}{w}%
+ \getsize{\textheight}{h}%
+ \opexpr{w*h/u^2}{S}%
+ \opround{S}{2}{S}%
+ \begin{minipage}{4.3cm}
+ La surface d'empagement est de
+ \opprint{S}\,$\mathrm{cm}^2$
+ \end{minipage}}}
+\begin{Verbatim}[xleftmargin=5cm,xrightmargin=0pt]
+ \getsize{1cm}{u}%
+ \getsize{\textwidth}{w}%
+ \getsize{\textheight}{h}%
+ \opexpr{w*h/u^2}{S}%
+ \opround{S}{2}{S}%
+ La surface d'empagement est de
+ \opprint{S}\,$\mathrm{cm}^2$
+\end{Verbatim}
+
+\section{Création d'opérations complexes}
+\label{sec:Creation d'operations complexes}
+L'utilisation des macros de \package{xlop} associées au mécanisme de
+boucle de \TeX{} permet de créer des opérations à volonté. Nous ne
+donnerons que deux exemples. Le premier est la décomposition d'un
+nombre en facteurs premiers, le second est un calcul général de
+fraction continue.\index{nombre!premier}%
+\index{decomposition@décomposition en nombres premiers}
+\begin{Verbatim}[xrightmargin=0pt]
+ \newcount\primeindex
+ \newcount\tryindex
+ \newif\ifprime
+ \newif\ifagain
+ \newcommand\getprime[1]{%
+ \opcopy{2}{P0}%
+ \opcopy{3}{P1}%
+ \opcopy{5}{try}
+ \primeindex=2
+ \loop
+ \ifnum\primeindex<#1\relax
+ \testprimality
+ \ifprime
+ \opcopy{try}{P\the\primeindex}%
+ \advance\primeindex by1
+ \fi
+ \opadd*{try}{2}{try}%
+ \ifnum\primeindex<#1\relax
+ \testprimality
+ \ifprime
+ \opcopy{try}{P\the\primeindex}%
+ \advance\primeindex by1
+ \fi
+ \opadd*{try}{4}{try}%
+ \fi
+ \repeat
+ }
+ \newcommand\testprimality{%
+ \begingroup
+ \againtrue
+ \global\primetrue
+ \tryindex=0
+ \loop
+ \opidiv*{try}{P\the\tryindex}{q}{r}%
+ \opcmp{r}{0}%
+ \ifopeq \global\primefalse \againfalse \fi
+ \opcmp{q}{P\the\tryindex}%
+ \ifoplt \againfalse \fi
+ \advance\tryindex by1
+ \ifagain
+ \repeat
+ \endgroup
+ }
+\end{Verbatim}
+\newcount\primeindex
+\newcount\tryindex
+\newif\ifprime
+\newif\ifagain
+\newcommand\getprime[1]{%
+ \opcopy{2}{P0}%
+ \opcopy{3}{P1}%
+ \opcopy{5}{try}
+ \primeindex=2
+ \loop
+ \ifnum\primeindex<#1\relax
+ \testprimality
+ \ifprime
+ \opcopy{try}{P\the\primeindex}%
+ \advance\primeindex by1
+ \fi
+ \opadd*{try}{2}{try}%
+ \ifnum\primeindex<#1\relax
+ \testprimality
+ \ifprime
+ \opcopy{try}{P\the\primeindex}%
+ \advance\primeindex by1
+ \fi
+ \opadd*{try}{4}{try}%
+ \fi
+ \repeat
+}
+\newcommand\testprimality{%
+ \begingroup
+ \againtrue
+ \global\primetrue
+ \tryindex=0
+ \loop
+ \opidiv*{try}{P\the\tryindex}{q}{r}%
+ \opcmp{r}{0}%
+ \ifopeq \global\primefalse \againfalse \fi
+ \opcmp{q}{P\the\tryindex}%
+ \ifoplt \againfalse \fi
+ \advance\tryindex by1
+ \ifagain
+ \repeat
+ \endgroup
+}
+
+Avec ce code, on dispose d'un moyen de créer une liste de nombres
+premiers (en l'occurrence les 20~premiers).
+\begin{SideBySideExample}
+ \getprime{20}%
+ \opprint{P0}, \opprint{P1}, \ldots,
+ \opprint{P9}, \ldots \opprint{P19}.
+\end{SideBySideExample}
+
+On notera toutefois que ce code est très mauvais, il est excessivement
+lent et n'apporte rien par rapport à une approche directe avec des
+nombres manipulés par les opérations natives de \TeX{}. Ce n'est
+qu'un exemple pédagogique. On notera également l'astuce permettant
+d'emboîter deux boucles avec la macro \verb+\testprimality+
+entièrement mise dans un groupe : s'il est nécessaire de rendre les
+affectations \verb+\primetrue+ et \verb+\primefalse+ globales, les
+opérations de \package{xlop} rendent leurs résultats globaux
+directement.\index{affectation globale}%
+
+Une fois que vous avez votre \og table \fg{} de nombres premiers, vous
+pouvez vous en servir pour décomposer un nombre en facteurs
+premiers.
+\begin{CenterExample}[xrightmargin=0pt]
+ \newcommand\primedecomp[2][nil]{%
+ \begingroup
+ \opset{#1}%
+ \opcopy{#2}{NbtoDecompose}%
+ \opabs{NbtoDecompose}{NbtoDecompose}%
+ \opinteger{NbtoDecompose}{NbtoDecompose}%
+ \opcmp{NbtoDecompose}{0}%
+ \ifopeq
+ Je refuse de d\'ecomposer z\'ero.
+ \else
+ \setbox1=\hbox{\opdisplay{operandstyle.1}%
+ {NbtoDecompose}}%
+ {\setbox2=\box2{}}%
+ \count255=1
+ \primeindex=0
+ \loop
+ \opcmp{NbtoDecompose}{1}\ifopneq
+ \opidiv*{NbtoDecompose}{P\the\primeindex}{q}{r}%
+ \opcmp{0}{r}\ifopeq
+ \ifvoid2
+ \setbox2=\hbox{%
+ \opdisplay{intermediarystyle.\the\count255}%
+ {P\the\primeindex}}%
+ \else
+ \setbox2=\vtop{%
+ \hbox{\box2}
+ \hbox{%
+ \opdisplay{intermediarystyle.\the\count255}%
+ {P\the\primeindex}}}
+ \fi
+ \opcopy{q}{NbtoDecompose}%
+ \advance\count255 by1
+ \setbox1=\vtop{%
+ \hbox{\box1}
+ \hbox{%
+ \opdisplay{operandstyle.\the\count255}%
+ {NbtoDecompose}}
+ }%
+ \else
+ \advance\primeindex by1
+ \fi
+ \repeat
+ \hbox{\box1
+ \kern0.5\opcolumnwidth
+ \opvline(0,0.75){\the\count255.25}
+ \kern0.5\opcolumnwidth
+ \box2}%
+ \fi
+ \endgroup
+ }
+
+ \getprime{20}%
+ \primedecomp[operandstyle.2=\red,
+ intermediarystyle.2=\red]{252}
+\end{CenterExample}
+Dans ce code, on notera l'emploi d'un groupe entourant l'ensemble de
+la macro pour protéger les modifications de paramètres de
+\package{xlop}.\index{parametre@paramètre!modifications locales}
+\`A ce propos, on notera également qu'un paramètre vide n'est pas
+accepté. C'est tout à fait volontaire, l'auteur de l'extension pensant
+qu'un utilisateur tapant des crochets sans rien mettre à l'intérieur
+est sans doute en train de commettre une erreur. Pour palier à cette
+impossibilité de transmettre un paramètre vide
+\index{parametre@paramètre!vide}%
+il existe le paramètre particulier \parameter{nil} qui a exactement ce
+rôle.
+
+On notera enfin l'astuce \verb+{\setbox2=\box2}+ qui permet
+d'obtenir un registre de boîte vide et les manipulations finales
+permettant de représenter la barre verticale de façon lisible.
+
+Le second exemple permet de calculer une fraction continue du type :
+\def\dfrac#1#2{\frac{\displaystyle #1}{\displaystyle #2}}
+\[a_0+\dfrac{1}{a_1+\dfrac{1}{a_2+\dfrac{1}{a_3+\cdots}}}\]
+en donnant la suite $a_0,a_1,a_2,a_3,\ldots$ à la macro. L'exemple
+donne les fractions correspondant au nombre d'or et aux racines
+carrées de~2 et~3.
+\makeatletter
+\begin{CenterExample}[xrightmargin=0pt]
+ \begingroup
+ \catcode`\:=12
+ \long\gdef\continuedfraction#1#2{%
+ \let\@mirror\relax
+ \@for\op@Nb:=#1\do
+ {%
+ \ifx\@mirror\relax
+ \edef\@mirror{\op@Nb}%
+ \else
+ \edef\@mirror{\op@Nb,\@mirror}%
+ \fi
+ }%
+ \let\Op@result\relax
+ \@for\op@Nb:=\@mirror\do
+ {%
+ \ifx\Op@result\relax
+ \opcopy{\op@Nb}{result}%
+ \else
+ \opexpr{\op@Nb+1/result}{result}%
+ \fi
+ }%
+ \opcopy{result}{#2}%
+ }
+ \endgroup
+ \continuedfraction{1,1,1,1,1,1,1,1,1,1}{r}\opprint{r}\quad
+ \continuedfraction{1,2,2,2,2,2,2,2,2,2}{r}\opprint{r}\quad
+ \continuedfraction{1,1,2,1,2,1,2,1,2,1}{r}\opprint{r}
+\end{CenterExample}
+\makeatother
+Une fois n'est pas coutume, nous avons fait appel à des commandes
+\LaTeX{} pour effectuer une boucle. Ce manuel étant composé en
+français, le caractère \og \texttt{\string:} \fg{} est actif ce qui
+empêche la macro \verb+\@for+ de fonctionner correctement d'où le
+groupe où ce caractère reçoit un code de catégorie adéquat.
+
+\section{Accès direct aux nombres}
+\label{sec:Acces direct aux nombres}
+Lorsqu'on récupère un nombre dans une variable, on peut le traiter de
+multiples façons à l'aide des macros de \package{xlop}. Toutefois,
+dans certaines situations, on peut souhaiter construire ses propres
+macros ou utiliser des macros externes en passant un tel nombre en
+paramètre.
+
+Passer directement \verb+\opprint{var}+ est inopérant car cette macro
+est suffisamment complexe pour induire des effets de bord dans ce
+genre de situations. Il devient alors nécessaire d'accéder directement
+à ce nombre. Lorsqu'un nombre est mémorisé dans une variable
+\verb+var+, \package{xlop} crée une macro
+\texttt{$\backslash$Op@var}\index{Opvar@\texttt{\boi {Op\at var}}}
+qui contient
+ce nombre. On notera le \og O \fg{} majuscule et le \og p \fg{}
+minuscule. L'arrobas est là pour rendre cette définition privée
+c'est-à-dire qu'il faut faire un effort pour y accéder avec
+l'utilisation des macros \macro{makeatletter} et \macro{makeatother}
+de \LaTeX{} ou bien en indiquant un code de catégorie égal à~11
+(lettre) pour ce caractère lorsqu'on travaille sous \TeX{}.
+\begin{SideBySideExample}
+ \opcopy{1234}{a}\opcopy{56}{b}%
+ \opmul*{a}{b}{r}%
+ \makeatletter
+ $\nombre{\Op@a} \times
+ \nombre{\Op@b} = \nombre{\Op@r}$
+ \makeatother
+\end{SideBySideExample}
+
+\chapter{Versions futures}
+\label{chap:Versions futures}
+L'extension \package{xlop} en est à sa version~0.2 qui est
+essentiellement une version corrigée de la version~0.1 (première
+version publique). La prochaine version sera la~0.3 dont la version
+\og stable \fg{} sera alors la version~0.4.
+
+L'ensemble des spécificités de la version 0.3 n'est pas totalement
+arrêté mais il y a déjà plusieurs points prévus :
+\begin{itemize}
+\item gestion internationale des opérations posées ;
+\item opérations en base 2 à 36 ;
+\item ajout de fonctions de haut niveau avec les racines
+ (\macro{oproot} pour les racines quelconques et \macro{opsqrt} pour
+ la racine carrée), exponentielle, logarithme, fonctions
+ trigonométriques (directes, inverses, hyperboliques) ;
+\item ajout d'une macro permettant de réaliser une écriture formatée,
+ c'est-à-dire une écriture d'un nombre où les longueurs des parties
+ entière et décimale seront indiquées (si ces longueurs ne sont pas
+ celles du nombre, il y aura un débordement ou un remplissage) ;
+ cette macro existait dans la version~0.1 et permettait
+ essentiellement d'afficher des nombres avec un alignement sur la
+ virgule, au fer à droite ou au fer à gauche ;
+\item ajout d'une macro permettant les additions à plus de deux
+ opérandes ;
+\item ajout d'un paramètre permettant l'écriture scientifique ou
+ ingénieur ;
+\item possibilité d'écrire un nombre sur plusieurs lignes et/ou en
+ utilisant un séparateur des milliers ;
+\item retenues dans les multiplications ;
+\item rendre publics les restes successives d'une division ;
+\item les valeurs négatives de \parameter{maxdivstep} et
+ \parameter{safedivstep} réaliseront un comptage sur les chiffres
+ décimaux du quotient ;
+\item manuel en anglais.
+\end{itemize}
+
+Pour le premier point, seules la division anglo-saxonne, la
+multiplication dite russe et la multiplication dite babylonienne sont
+en cours d'étude, l'auteur ne connaissant pas les habitudes des autres
+pays en la matière. Si vous connaissez d'autres façons de poser les
+opérations à part celles présentées dans ce manuel, la division
+anglo-saxonne, la multiplication russe (double colonne avec des
+divisions par deux sur une colonne et des multiplications par deux sur
+l'autre) et la multiplication babylonienne (ou vénitienne qui consiste
+à faire une grande grille de multiplication à un chiffre et à effectuer
+les sommes finales en diagonale), l'auteur vous sera éternellement
+reconnaissant de le contacter à l'adresse :
+\begin{verbatim}
+ Jean-Come.Charpentier@wanadoo.fr
+\end{verbatim}
+en plaçant le mot \og \texttt{xlop} \fg{} dans le sujet du message.
+
+Il serait souhaitable d'avoir un manuel du hacker qui expliquerait en
+détail le code source. Cet outil pourrait être tout à fait bénéfique
+pour que chacun puisse apporter plus facilement des améliorations au
+code. Malheureusement, le code actuel fait plus de~\nombre{3900}
+lignes et le travail nécessaire risque d'être trop important.
+Éventuellement, il pourra y avoir un manuel du hacker expliquant les
+spécifications générales du code sans entrer dans trop de détails
+techniques.
+
+%\printindex
+\chapter{Index}
+\label{chap:index}
+\begin{multicols}{2}
+\makeatletter
+\parindent \z@\relax
+\parskip \z@ \@plus.3\p@\relax
+\let\item\@idxitem
+\makeatother
+\renewenvironment{theindex}{}{}%
+\input\jobname.ind
+\end{multicols}
+\end{document}
diff --git a/Master/texmf-dist/doc/generic/xlop/history.txt b/Master/texmf-dist/doc/generic/xlop/history.txt
new file mode 100644
index 00000000000..97ef8d73097
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/history.txt
@@ -0,0 +1,55 @@
+10 janvier 2004 version 0.01-beta01
+---------------
+ Division posée.
+
+28 janvier 2004 version 0.01-beta02
+---------------
+ Quatre opérations posées et en ligne.
+
+5 février 2004 version 0.01-beta03
+--------------
+ Ajout de la division euclidienne.
+
+3 mars 2004 version 0.01-beta04
+-----------
+ Ajout de plein de détails de présentations.
+ Changement complet de certains algorithmes et du codage interne des
+ nombres développés.
+ Manuel de l'utilisateur.
+ Première version envoyée aux beta-testeurs. Un grand merci à :
+ Pascal Chantriaux
+ Marc Chaudemanche
+ Olivier Deutsch
+ Paul Gaborit
+ Martine Gautier
+ Yvon Henel
+ Christophe Jorssen
+ Ahmed Kadi
+ Josselin Noirel
+ Olivier Viennet
+ Damien Wyard
+
+26 mai 2004 version 0.1
+-----------
+ Refonte complète du code
+ Ajout de certains détails de présentation.
+ syntaxe "à la keyval" des paramètres ;
+ correction de bogues de la version 0.01-beta04 ;
+ manipulations de chiffres ;
+ \opexpr ;
+ changement de codage des noms de nombre.
+ Première version publique.
+
+25 juin 2004 version 0.2
+------------
+ Correction de bogues
+ Style pour le séparateur décimal
+
+6 avril 2005 version 0.21
+------------
+ Correction d'un bogue sur la division
+
+4 janvier 2006 version 0.22
+------------
+ Correction d'un bogue sur l'affichage de la multiplication posée
+
diff --git a/Master/texmf-dist/doc/generic/xlop/xlop.tex b/Master/texmf-dist/doc/generic/xlop/xlop.tex
new file mode 100644
index 00000000000..dea98da45d0
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/xlop/xlop.tex
@@ -0,0 +1,3948 @@
+\def\fileversion{0.22}
+\def\filedate{2006/01/04}
+%%
+%% xlop.tex:
+%% eXtra Large OPeration macros for Generic TeX.
+%% See `user.pdf' for documentation;
+%% `hacker.pdf' for explanation.
+%%
+%% Copyright 2005,2006, by Jean-C\^ome Charpentier
+%% Jean-Come.Charpentier@wanadoo.fr
+%%
+%% This program may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%% The latest version of this license is in
+%% http://www.latex-project.org/lppl.txt
+%% and version 1.3 or later is part of all distributions of LaTeX
+%% version 2003/12/01 or later.
+
+\csname xlopLoaded\endcsname
+\let\xlopLoaded\endinput
+\edef\opAtCode{\the\catcode`\@}
+\catcode`\@=11\relax
+\newcount\count@z
+\newcount\count@i
+\newcount\count@ii
+\newcount\count@iii
+\newcount\count@iv
+\newcount\count@v
+\newtoks\op@currentstyle
+\expandafter\ifx\csname @latexerr\endcsname\relax
+\long\def\@ifundefined#1#2#3{%
+ \expandafter\ifx\csname #1\endcsname\relax
+ #2%
+ \else
+ #3%
+ \fi}
+\def\@gobble#1{}
+\def\@namedef#1{\expandafter\def\csname #1\endcsname}
+\def\@nameuse#1{\csname #1\endcsname}
+\def\typeout#1{\immediate\write\@unused{#1}}
+\alloc@7\write\chardef\sixt@@n\@unused
+\def\@spaces{\space\space\space\space}
+\def\@ifnextchar#1#2#3{%
+ \let\@tempe#1\def\@tempa{#2}\def\@tempb{#3}\futurelet\@tempc\@ifnch}
+\def\@ifnch{%
+ \ifx\@tempc\@sptoken
+ \let\@tempd\@xifnch
+ \else
+ \ifx\@tempc\@tempe
+ \let\@tempd\@tempa
+ \else
+ \let\@tempd\@tempb
+ \fi
+ \fi
+ \@tempd
+}
+\begingroup
+\def\:{\global\let\@sptoken= } \:
+\def\:{\@xifnch} \expandafter\gdef\: {\futurelet\@tempc\@ifnch}
+\endgroup
+\fi %LaTeX-like
+\def\@nameedef#1{\expandafter\edef\csname #1\endcsname}
+\def\@namexdef#1{\expandafter\xdef\csname #1\endcsname}
+\typeout{`xlop' v\fileversion\space\space <\filedate> (jcc)}
+\newif\ifop@error
+\def\op@error{%
+ \begingroup
+ \global\op@errortrue
+ \newlinechar`\^^J
+ \op@@error
+}
+\def\op@@error#1#2{%
+ \xdef\op@errortext{#1}%
+ \xdef\op@errorhelp{#2}%
+ \endgroup
+}
+\def\op@errorwrite{%
+ \global\op@errorfalse
+ \begingroup
+ \newlinechar`\^^J
+ \expandafter\errhelp\expandafter{\op@errorhelp}%
+ \typeout{%
+ xlop error. \space See documentation for further information.^^J
+ \@spaces\@spaces\@spaces\@spaces
+ Type \space H <return> \space for immediate help.}%
+ \errmessage{\op@errortext}%
+ \endgroup
+}
+\def\op@warning{%
+ \begingroup
+ \newlinechar`\^^J
+ \op@@warning
+}
+\def\op@@warning#1{%
+ \typeout{xlop warning.
+ #1^^J\@spaces See documentation for further information.^^J}%
+ \endgroup
+}
+\let\@nil\relax
+\def\opset#1{%
+ \Pop@set#1,\@nil
+ \ifop@error\op@errorwrite\fi
+ \ignorespaces
+}
+\def\Pop@set#1,{%
+ \Pop@@set#1==\@nil
+ \@ifnextchar\@nil{\@gobble}{\Pop@set}%
+}
+\def\Pop@@set#1=#2=#3\@nil{%
+ \@ifundefined{pOP@#1}%
+ {\Pop@@@set#1.={#2}}
+ {\@nameuse{pOP@#1}{#2}}%
+}
+\def\Pop@@@set#1.#2=#3{%
+ \@ifundefined{pOP@#1}%
+ {\op@error{Parameter `#1' not defined.}%
+ {\space\space Perhaps you have mispelling parameter!^^J
+ \space Are you sure about `#1'?^^J}}%
+ {\@nameuse{pOP@#1}[#2]{#3}}%
+}
+\def\op@string@lpar{(}
+\def\op@string@rpar{)}
+\def\op@string@comma{,}
+\def\op@string@abs{abs}
+\def\op@string@add{add}
+\def\op@string@ceil{ceil}
+\def\op@string@div{div}
+\def\op@string@floor{floor}
+\def\op@string@gcd{gcd}
+\def\op@string@idiv{idiv}
+\def\op@string@integer{integer}
+\def\op@string@mod{mod}
+\def\op@string@mul{mul}
+\def\op@string@neg{neg}
+\def\op@string@power{power}
+\def\op@string@rest{rest}
+\def\op@string@round{round}
+\def\op@string@sub{sub}
+
+\def\op@string@all{all}
+\def\op@string@american{american}
+\def\op@string@both{both}
+\def\op@string@bottom{bottom}
+\def\op@string@center{center}
+\def\op@string@decimal{decimal}
+\def\op@string@delete{delete}
+\def\op@string@display{display}
+\def\op@string@divisor{divisor}
+\def\op@string@error{error}
+\def\op@string@false{false}
+\def\op@string@french{french}
+\def\op@string@last{last}
+\def\op@string@left{left}
+\def\op@string@none{none}
+\def\op@string@nonzero{nonzero}
+\def\op@string@right{right}
+\def\op@string@russian{russian}
+\def\op@string@shift{shift}
+\def\op@string@silent{silent}
+\def\op@string@strike{strike}
+\def\op@string@text{text}
+\def\op@string@top{top}
+\def\op@string@true{true}
+\def\op@string@warning{warning}
+
+\def\pOP@afterperiodsymbol#1{\def\op@afterperiodsymbol{#1}}
+\def\pOP@approxsymbol#1{\def\op@approxsymbol{#1}}
+\def\pOP@equalsymbol#1{\def\op@equalsymbol{#1}}
+\def\pOP@addsymbol#1{\def\op@addsymbol{#1}}
+\def\pOP@subsymbol#1{\def\op@subsymbol{#1}}
+\def\pOP@mulsymbol#1{\def\op@mulsymbol{#1}}
+\def\pOP@divsymbol#1{\def\op@divsymbol{#1}}
+\def\pOP@decimalsepsymbol#1{\def\op@decimalsepsymbol{{#1}}}
+\def\pOP@strikedecimalsepsymbol#1{\def\op@strikedecimalsepsymbol{#1}}
+\def\pOP@shiftintermediarysymbol#1{\def\op@shiftintermediarysymbol{#1}}
+\def\pOP@displayshiftintermediary#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@shift
+ \let\op@displayshiftintermediary\op@string@shift
+ \else\ifx\@tempa\op@string@all
+ \let\op@displayshiftintermediary\op@string@all
+ \else\ifx\@tempa\op@string@none
+ \let\op@displayshiftintermediary\op@string@none
+ \else
+ \op@error{Parameter displayshiftintermediary accept only `shift',
+ `all', and `none'.^^J \space Here, the value is `#1'}%
+ {Value must be `shift', `all', or `none'}%
+ \fi\fi\fi
+}
+\def\pOP@voperation#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@bottom
+ \let\op@voperation\op@string@bottom
+ \else\ifx\@tempa\op@string@center
+ \let\op@voperation\op@string@center
+ \else\ifx\@tempa\op@string@top
+ \let\op@voperation\op@string@top
+ \else
+ \op@error{Parameter voperation accept only `top', `center',
+ and `bottom'.^^J \space Here, the value is `#1'}%
+ {Value must be `top', `center', or `bottom'}%
+ \fi\fi\fi
+}
+\def\pOP@voperator#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@top
+ \let\op@voperator\op@string@top
+ \else\ifx\@tempa\op@string@bottom
+ \let\op@voperator\op@string@bottom
+ \else\ifx\@tempa\op@string@center
+ \let\op@voperator\op@string@center
+ \else
+ \op@error{Parameter voperator accept only `top', `center',
+ and `bottom'.^^J \space Here, the value is `#1'}%
+ {Value must be `top', `center', or `bottom'}%
+ \fi\fi\fi
+}
+\def\pOP@hfactor#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@right
+ \let\op@hfactor\op@string@right
+ \else\ifx\@tempa\op@string@decimal
+ \let\op@hfactor\op@string@decimal
+ \else
+ \op@error{Parameter hfactor accept only `right'
+ and `decimal'.^^J \space Here, the value is `#1'}%
+ {Value must be `right' or `decimal'}%
+ \fi\fi
+}
+\def\pOP@vruleperiod#1{\def\op@vruleperiod{#1}}
+\newif\ifop@dividendbridge
+\def\pOP@dividendbridge#1{\edef\@tempa{#1}%
+ \edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@dividendbridgefalse
+ \else\ifx\@tempa\op@string@true
+ \op@dividendbridgetrue
+ \else\ifx\@tempa\empty
+ \op@dividendbridgetrue
+ \else
+ \op@error{Parameter dividendbridge accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\def\pOP@shiftdecimalsep#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@none
+ \let\op@shiftdecimalsep\op@string@none
+ \else\ifx\@tempa\op@string@divisor
+ \let\op@shiftdecimalsep\op@string@divisor
+ \else\ifx\@tempa\op@string@both
+ \let\op@shiftdecimalsep\op@string@both
+ \else
+ \op@error{Parameter shiftdecimalsep accept only `none', `divisor',
+ and `both'.^^J \space Here, the value is `#1'}%
+ {Value must be `none', `divisor', or `both'}%
+ \fi\fi\fi
+}
+\def\pOP@maxdivstep#1{\edef\op@maxdivstep{#1}}
+\def\pOP@safedivstep#1{\edef\op@safedivstep{#1}}
+\newif\ifop@period
+\def\pOP@period#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@periodfalse
+ \else\ifx\@tempa\op@string@true
+ \op@periodtrue
+ \else\ifx\@tempa\empty
+ \op@periodtrue
+ \else
+ \op@error{Parameter period accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\newif\ifop@deletezero
+\def\pOP@deletezero#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@deletezerofalse
+ \else\ifx\@tempa\op@string@true
+ \op@deletezerotrue
+ \else\ifx\@tempa\empty
+ \op@deletezerotrue
+ \else
+ \op@error{Parameter deletezero accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\newif\ifop@carryadd
+\def\pOP@carryadd#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@carryaddfalse
+ \else\ifx\@tempa\op@string@true
+ \op@carryaddtrue
+ \else\ifx\@tempa\empty
+ \op@carryaddtrue
+ \else
+ \op@error{Parameter carryadd accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\newif\ifop@carrysub
+\def\pOP@carrysub#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@carrysubfalse
+ \else\ifx\@tempa\op@string@true
+ \op@carrysubtrue
+ \else\ifx\@tempa\empty
+ \op@carrysubtrue
+ \else
+ \op@error{Parameter carrysub accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\def\pOP@offsetcarry#1{\edef\op@offsetcarry{#1}}
+\def\pOP@style#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@display
+ \let\op@style\op@string@display
+ \else\ifx\@tempa\op@string@text
+ \let\op@style\op@string@text
+ \else
+ \op@error{Parameter style accept only `display' and `text'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `display' or `text'}%
+ \fi\fi
+}
+\def\pOP@displayintermediary#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@all
+ \let\op@displayintermediary\op@string@all
+ \else\ifx\@tempa\op@string@nonzero
+ \let\op@displayintermediary\op@string@nonzero
+ \else\ifx\@tempa\op@string@none
+ \let\op@displayintermediary\op@string@none
+ \else
+ \op@error{Parameter style accept only `all', `none', and `nonzero'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `all', `none', or `nonzero'}%
+ \fi\fi\fi
+}
+\newif\ifop@lastcarry
+\def\pOP@lastcarry#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@false
+ \op@lastcarryfalse
+ \else\ifx\@tempa\op@string@true
+ \op@lastcarrytrue
+ \else\ifx\@tempa\empty
+ \op@lastcarrytrue
+ \else
+ \op@error{Parameter lastcarry accept only `true' and `false'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `true', or `false', or an empty value}%
+ \fi\fi\fi
+}
+\def\pOP@parenthesisnegative#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@all
+ \let\op@parenthesisnegative\op@string@all
+ \else\ifx\@tempa\op@string@last
+ \let\op@parenthesisnegative\op@string@last
+ \else\ifx\@tempa\op@string@none
+ \let\op@parenthesisnegative\op@string@none
+ \else
+ \op@error{Parameter parenthesisnegative accept only `all', `last'
+ and `none'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `all', `last', or `none'}%
+ \fi\fi\fi
+}
+\newdimen\opcolumnwidth
+\def\pOP@columnwidth#1{\opcolumnwidth=#1\relax}
+\newdimen\oplineheight
+\newbox\op@strutbox
+\def\pOP@lineheight#1{\oplineheight=#1\relax
+ \setbox\op@strutbox=\hbox{%
+ \vrule height.708333\oplineheight
+ depth .291667\oplineheight
+ width\z@}%
+}
+\def\op@strut{\relax\ifmmode
+ \copy\op@strutbox
+ \else
+ \unhcopy\op@strutbox
+ \fi
+}
+\newdimen\op@decimalsepwidth
+\def\pOP@decimalsepwidth#1{\op@decimalsepwidth=#1}
+\newdimen\op@decimalsepoffset
+\def\pOP@decimalsepoffset#1{\op@decimalsepoffset=#1}
+\newdimen\op@hrulewidth
+\def\pOP@hrulewidth#1{\op@hrulewidth=#1\relax}
+\newdimen\op@vrulewidth
+\def\pOP@vrulewidth#1{\op@vrulewidth=#1\relax}
+\def\pOP@behaviorsub#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@warning
+ \let\op@behaviorsub\op@string@warning
+ \else\ifx\@tempa\op@string@error
+ \let\op@behaviorsub\op@string@error
+ \else\ifx\@tempa\op@string@silent
+ \let\op@behaviorsub\op@string@silent
+ \else
+ \op@error{Parameter behaviorsub accept only `warning', `error'
+ and `silent'.^^J
+ \space Here, the value is `#1'}%
+ {Value must be `warning', `error', or `silent'}%
+ \fi\fi\fi
+}
+\def\pOP@country#1{\edef\@tempa{#1}%
+ \ifx\@tempa\op@string@french
+ \let\op@country\op@string@french
+ \else\ifx\@tempa\op@string@american
+ \let\op@country\op@string@american
+ \else\ifx\@tempa\op@string@russian
+ \let\op@country\op@string@russian
+ \else
+ \op@error{Parameter contry accept only some values.^^J
+ \space Value `#1' isn't a valid country for xlop}%
+ {For now, value must be `french', `russian', or `american'}%
+ \fi\fi\fi
+}
+\def\pOP@operandstyle{%
+ \@ifnextchar[{\pOP@@operandstyle}{\pOP@@operandstyle[0.]}%
+}
+\def\pOP@@operandstyle[#1.]#2{%
+ \@namedef{op@operandstyle.#1}{#2}%
+}
+\def\pOP@carrystyle{%
+ \@ifnextchar[{\pOP@@carrystyle}{\pOP@@carrystyle[0.]}%
+}
+\def\pOP@@carrystyle[#1.]#2{%
+ \@namedef{op@carrystyle.#1}{#2}%
+}
+\def\pOP@resultstyle{%
+ \@ifnextchar[{\pOP@@resultstyle}{\pOP@@resultstyle[0.]}%
+}
+\def\pOP@@resultstyle[#1.]#2{%
+ \@namedef{op@resultstyle.#1}{#2}%
+}
+\def\pOP@intermediarystyle{%
+ \@ifnextchar[{\pOP@@intermediarystyle}{\pOP@@intermediarystyle[0.]}%
+}
+\def\pOP@@intermediarystyle[#1.]#2{%
+ \@namedef{op@intermediarystyle.#1}{#2}%
+}
+\def\pOP@remainderstyle{%
+ \@ifnextchar[{\pOP@@remainderstyle}{\pOP@@remainderstyle[0.]}%
+}
+\def\pOP@@remainderstyle[#1.]#2{%
+ \@namedef{op@remainderstyle.#1}{#2}%
+}
+\def\pOP@nil#1{}
+
+\opset{afterperiodsymbol=$\ldots$,approxsymbol=$\approx$,
+ equalsymbol={$=$},addsymbol=$+$,subsymbol=$-$,
+ mulsymbol=$\times$,divsymbol=$\div$,
+ decimalsepsymbol=.,strikedecimalsepsymbol=,
+ shiftintermediarysymbol=$\cdot$,displayshiftintermediary=shift,
+ voperation=bottom,voperator=center,
+ hfactor=right,vruleperiod=-0.2,dividendbridge=false,
+ shiftdecimalsep=both,maxdivstep=10,safedivstep=50,period=false,
+ deletezero=true,carryadd=true,carrysub=false,offsetcarry=-0.35,
+ style=display,displayintermediary=none,lastcarry=false,
+ parenthesisnegative=none,columnwidth=2ex,lineheight=\baselineskip,
+ decimalsepwidth=0pt,decimalsepoffset=0pt,
+ hrulewidth=0.4pt,vrulewidth=0.4pt,
+ behaviorsub=silent,country=french,
+ operandstyle=,resultstyle=,remainderstyle=,
+ intermediarystyle=}
+\expandafter\ifx\csname @latexerr\endcsname\relax
+ \opset{carrystyle=\sevenrm}
+\else
+ \opset{carrystyle=\scriptsize}
+\fi
+
+\count@z=`\0 \edef\op@numbegin{\the\count@z}
+\count@z=`\9 \edef\op@numend{\the\count@z}
+\count@z=`\+ \edef\op@plus{\the\count@z}
+\count@z=`\- \edef\op@minus{\the\count@z}
+\count@z=`\* \edef\op@multiply{\the\count@z}
+\count@z=`\/ \edef\op@divide{\the\count@z}
+\count@z=`\: \edef\op@idivide{\the\count@z}
+\count@z=`\^ \edef\op@pow{\the\count@z}
+\count@z=`\. \edef\op@dot{\the\count@z}
+\count@z=`\, \edef\op@comma{\the\count@z}
+\count@z=`\( \edef\op@lparenthesis{\the\count@z}
+\count@z=`\) \edef\op@rparenthesis{\the\count@z}
+\count@z=`\ \edef\op@space{\the\count@z}
+\newcount\op@parenthesis
+\newcount\op@token
+\newcount\op@stack
+\newcount\op@stackb
+\newif\ifop@in@number
+\newif\ifop@in@decimal
+\newif\ifop@in@name
+\newif\ifop@in@sign
+\newif\ifop@isdigit
+\newif\ifop@isplus
+\newif\ifop@isminus
+\newif\ifop@isdot
+\newif\ifop@iscomma
+\newif\ifop@isdecimalsep
+\newif\ifop@ismultiply
+\newif\ifop@isdivide
+\newif\ifop@isidivide
+\newif\ifop@ispower
+\newif\ifop@islparenthesis
+\newif\ifop@isrparenthesis
+\newif\ifop@isspace
+\newif\ifop@isother
+
+\newif\ifopgt
+\newif\ifopge
+\newif\ifopeq
+\newif\ifopneq
+\newif\ifople
+\newif\ifoplt
+\newif\ifop@again
+\newif\ifop@carry
+\def\op@testchar#1{%
+ \op@isdigitfalse
+ \op@isplusfalse
+ \op@isminusfalse
+ \op@isdecimalsepfalse
+ \count@z=`#1\relax
+ \ifnum\count@z=\op@plus\relax
+ \op@isplustrue
+ \else\ifnum\count@z=\op@minus\relax
+ \op@isminustrue
+ \else\ifnum\count@z=\op@dot\relax
+ \op@isdecimalseptrue
+ \else\ifnum\count@z=\op@comma\relax
+ \op@isdecimalseptrue
+ \else\ifnum\count@z<\op@numbegin\relax
+ \else\ifnum\count@z>\op@numend\relax
+ \else
+ \op@isdigittrue
+ \fi\fi\fi\fi\fi\fi
+}
+\def\op@split#1#2{%
+ \begingroup
+ \edef\op@arg{#1}%
+ \expandafter\op@readnumber\op@arg\@nil
+ \ifop@error
+ \op@error{Number name `#1' is undefined}%
+ {See documentation about number name}%
+ \let\next\relax
+ \let\op@arg\relax
+ \else
+ \edef\op@name{#2}%
+ \op@length
+ \count@i=\@nameuse{OP@\op@name @w}\relax
+ \edef\op@arg{\op@arg.}%
+ \let\next\op@@split
+ \fi
+ \expandafter\next\op@arg\@nil
+ \endgroup
+}
+\def\op@@split#1#2\@nil{%
+ \ifnum\count@i>0
+ \edef\op@argi{#1}%
+ \edef\op@argii{#2}%
+ \let\next\op@@split
+ \expandafter\op@testchar\op@argi
+ \ifop@isdigit
+ \@namexdef{OP@\op@name @\the\count@i}{\op@argi}%
+ \advance\count@i by -1
+ \fi
+ \else
+ \let\next\relax
+ \let\op@argii\relax
+ \fi
+ \expandafter\next\op@argii\@nil
+}
+\def\op@readnumber#1#2\@nil{%
+ \op@testchar{#1}%
+ \ifop@isdigit \else
+ \ifop@isplus \else
+ \ifop@isminus \else
+ \ifop@isdecimalsep \else
+ \@ifundefined{Op@#1#2}%
+ {\global\op@errortrue}%
+ {\edef\op@arg{\@nameuse{Op@#1#2}}}%
+ \fi\fi\fi\fi
+}
+\def\op@length{%
+ \begingroup
+ \expandafter\op@@length\op@arg\@nil
+ \ifnum\count@i=0
+ \count@i=1
+ \xdef\op@arg{0\op@arg}%
+ \fi
+ \@namexdef{OP@\op@name @i}{\the\count@i}%
+ \@namexdef{OP@\op@name @d}{\the\count@ii}%
+ \advance\count@i by \count@ii
+ \@namexdef{OP@\op@name @w}{\the\count@i}%
+ \endgroup
+}
+\def\op@@length#1#2\@nil{%
+ \edef\op@argi{#1}%
+ \edef\op@argii{#2}%
+ \expandafter\op@testchar\op@argi
+ \ifop@isdigit
+ \@namexdef{OP@\op@name @s}{0}%
+ \count@i=1
+ \count@ii=0
+ \ifx\empty\op@argii
+ \let\next\relax
+ \let\op@argii\relax
+ \else
+ \let\next\op@length@after@digit
+ \fi
+ \else \ifop@isplus
+ \@namexdef{OP@\op@name @s}{0}%
+ \let\next\op@length@after@sign
+ \else \ifop@isminus
+ \@namexdef{OP@\op@name @s}{1}%
+ \let\next\op@length@after@sign
+ \else \ifop@isdecimalsep
+ \@namexdef{OP@\op@name @s}{0}%
+ \count@i=0
+ \count@ii=0
+ \let\next\op@length@after@decimalsep
+ \else
+ \op@error{\op@argi\op@argii\space isn't a valid number}%
+ {See documentation for syntax of valid number}%
+ \let\next\relax
+ \let\op@argii\relax
+ \fi\fi\fi\fi
+ \ifx\empty\op@argii
+ \op@error{\op@argi\space isn't a valid number}%
+ {See documentation for syntax of valid number}%
+ \let\next\relax
+ \let\op@argii\relax
+ \fi
+ \expandafter\next\op@argii\@nil
+}
+\def\op@length@after@digit#1#2\@nil{%
+ \edef\op@argi{#1}%
+ \edef\op@argii{#2}%
+ \expandafter\op@testchar\op@argi
+ \ifop@isdigit
+ \advance\count@i by 1
+ \let\next\op@length@after@digit
+ \else \ifop@isdecimalsep
+ \let\next\op@length@after@decimalsep
+ \else
+ \op@error{#1#2 not allowed here. \space I forget it}%
+ {See documentation for valid number. Characters before
+ are OK}%
+ \let\next\relax
+ \let\op@argii\relax
+ \fi\fi
+ \ifx\empty\op@argii
+ \let\next\relax
+ \fi
+ \expandafter\next\op@argii\@nil
+}
+\def\op@length@after@sign#1#2\@nil{%
+ \edef\op@argi{#1}%
+ \edef\op@argii{#2}%
+ \expandafter\op@testchar\op@argi
+ \ifop@isplus
+ \let\next\op@length@after@sign
+ \else \ifop@isminus
+ \ifnum\@nameuse{OP@\op@name @s}=0
+ \@namexdef{OP@\op@name @s}{1}%
+ \else
+ \@namexdef{OP@\op@name @s}{0}%
+ \fi
+ \let\next\op@length@after@sign
+ \else \ifop@isdecimalsep
+ \ifx\empty\op@argii
+ \op@error{#1\space isn't a valid number}%
+ {See documentation for syntax of valid number}%
+ \let\next\relax
+ \else
+ \count@i=0
+ \count@ii=0
+ \let\next\op@length@after@decimalsep
+ \fi
+ \else \ifop@isdigit
+ \count@i=1
+ \count@ii=0
+ \ifx\empty\op@argii
+ \let\next\relax
+ \else
+ \let\next\op@length@after@digit
+ \fi
+ \fi\fi\fi\fi
+ \expandafter\next\op@argii\@nil
+}
+\def\op@length@after@decimalsep#1#2\@nil{%
+ \edef\op@argi{#1}%
+ \edef\op@argii{#2}%
+ \expandafter\op@testchar\op@argi
+ \ifop@isdigit
+ \advance\count@ii by 1
+ \let\next\op@length@after@decimalsep
+ \else
+ \op@error{#1#2 not allowed here. \space I forget it}%
+ {See documentation for syntax of valid number. Characters
+ before is OK}%
+ \let\next\relax
+ \let\op@argii\relax
+ \fi
+ \ifx\empty\op@argii
+ \let\next\relax
+ \let\op@argii\relax
+ \fi
+ \expandafter\next\op@argii\@nil
+}
+\def\op@unsplit#1#2{%
+ \begingroup
+ \edef\op@name{#1}%
+ \ifnum\@nameuse{OP@\op@name @s}=1
+ \def\op@macroname{-}%
+ \else
+ \def\op@macroname{}%
+ \fi
+ \count@z=\@nameuse{OP@\op@name @i}\relax
+ \count@i=\@nameuse{OP@\op@name @w}\relax
+ \loop
+ \ifnum\count@z>0
+ \edef\op@macroname{\op@macroname
+ \@nameuse{OP@\op@name @\the\count@i}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \ifnum\count@i>0
+ \edef\op@macroname{\op@macroname\op@decimalsepsymbol}%
+ \loop
+ \ifnum\count@i>0
+ \edef\op@macroname{\op@macroname
+ \@nameuse{OP@\op@name @\the\count@i}}%
+ \advance\count@i by-1
+ \repeat
+ \fi
+ \@namexdef{Op@#2}{\op@macroname}%
+ \endgroup
+}
+\def\oplput(#1,#2)#3{\leavevmode
+ \vbox to\z@{\vss\hbox{\raise #2\oplineheight \hbox to\z@{%
+ \kern #1\opcolumnwidth #3\hss}}}%
+ \ignorespaces
+}
+\def\oprput(#1,#2)#3{\leavevmode
+ \vbox to \z@{\vss\hbox{\raise #2\oplineheight \hbox to\z@{%
+ \hss#3\kern -#1\opcolumnwidth}}}%
+ \ignorespaces
+}
+\def\ophline(#1,#2)#3{\leavevmode
+ \vbox to\z@{\vss\hbox{\raise #2\oplineheight \hbox to\z@{%
+ \kern #1\opcolumnwidth
+ \vrule width#3\opcolumnwidth
+ depth0.5\op@hrulewidth height0.5\op@hrulewidth \hss}}}%
+ \ignorespaces
+}
+\def\opvline(#1,#2)#3{\leavevmode
+ \vbox to\z@{\vss\hbox{\raise #2\oplineheight \hbox to\z@{%
+ \kern #1\opcolumnwidth \kern-0.5\op@vrulewidth
+ \vrule width\op@vrulewidth depth#3\oplineheight height\z@ \hss}}}%
+ \ignorespaces
+}
+\def\op@makebox#1#2#3#4{%
+ \begingroup
+ \edef\op@name{#4}%
+ \dimen0=\opcolumnwidth
+ \count@z=#1%
+ \advance\count@z by-\@nameuse{OP@\op@name @i}\relax
+ \multiply\dimen0 by\count@z
+ \global\setbox0=\hbox{%
+ \op@strut\vrule width\dimen0 height\z@ depth\z@}%
+ \count@z=\@nameuse{OP@\op@name @i}\relax
+ \count@i=\@nameuse{OP@\op@name @w}\relax
+ \loop
+ \ifnum\count@z>0
+ \op@setstyle{#3.\the\count@z}%
+ \global\setbox0=\hbox{\box0
+ \hbox to\opcolumnwidth{\hss\the\op@currentstyle
+ {\@nameuse{OP@\op@name @\the\count@i}}\hss}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \ifnum\count@i>0
+ \op@setstyle{#3.d}%
+ \global\setbox0=\hbox{\box0
+ \hbox to\op@decimalsepwidth{\hss
+ \vrule width\op@decimalsepoffset height\z@ depth\z@
+ \the\op@currentstyle\op@decimalsepsymbol \hss}}%
+ \count@z=-1
+ \loop
+ \ifnum\count@i>0
+ \op@setstyle{#3.\the\count@z}%
+ \global\setbox0=\hbox{\box0
+ \hbox to\opcolumnwidth{\hss\the\op@currentstyle
+ {\@nameuse{OP@\op@name @\the\count@i}}\hss}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \fi
+ \dimen0=\opcolumnwidth
+ \count@z=#2\relax
+ \advance\count@z by-\@nameuse{OP@\op@name @d}\relax
+ \multiply\dimen0 by\count@z
+ \global\setbox0=\hbox{\box0
+ \vrule width\dimen0 height\z@ depth\z@}%
+ \endgroup
+}
+\def\op@setstyle#1{%
+ \edef\op@arg{#1}%
+ \expandafter\op@@setstyle\op@arg..\@nil
+}
+\def\op@@setstyle#1.#2.#3\@nil{%
+ \edef\op@styleroot{#1}%
+ \edef\op@styleindex{#2}%
+ \op@setstylesubindex#3.\@nil
+ \ifx\empty\op@stylesubindex
+ \@ifundefined{op@\op@styleroot.\op@styleindex}%
+ {\op@currentstyle={\@nameuse{op@\op@styleroot.0}}}%
+ {\op@currentstyle={\@nameuse{op@\op@styleroot.\op@styleindex}}}%
+ \else
+ \@ifundefined{op@\op@styleroot.\op@styleindex.\op@stylesubindex}%
+ {\@ifundefined{op@\op@styleroot.\op@styleindex}%
+ {\op@currentstyle={\@nameuse{op@\op@styleroot.0}}}%
+ {\op@currentstyle={\@nameuse{op@\op@styleroot.\op@styleindex}}}%
+ }
+ {\op@currentstyle=
+ {\@nameuse{op@\op@styleroot.\op@styleindex.\op@stylesubindex}}}%
+ \fi
+}
+\def\op@setstylesubindex#1.#2\@nil{\def\op@stylesubindex{#1}}
+\def\opdisplay{\@ifnextchar[{\op@displaypar}{\op@displaypar[nil]}}
+\def\op@displaypar[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \op@split{#3}{r}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@display{#2}{r}%
+ \fi
+ \endgroup
+}
+\def\op@display#1#2{%
+ \op@makebox{\@nameuse{OP@#2@i}}{\@nameuse{OP@#2@d}}{#1}{#2}%
+ \leavevmode\box0
+}
+\def\opprint#1{%
+ \op@split{#1}{r}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{r}{@r}%
+ \Op@@r
+ \fi
+}
+\def\op@format#1#2#3{%
+ \begingroup
+ \count@iii=#1\relax
+ \count@iv=#2\relax
+ \count@z=\count@iv
+ \advance\count@z by-\@nameuse{OP@#3@d}\relax
+ \ifnum\count@z>0
+ \count@i=\@nameuse{OP@#3@w}\relax
+ \advance\count@z by\count@i\relax
+ \loop
+ \@namexdef{OP@#3@\the\count@z}{\@nameuse{OP@#3@\the\count@i}}%
+ \advance\count@i by-1
+ \advance\count@z by-1\relax
+ \ifnum\count@i>0
+ \repeat
+ \loop
+ \@namexdef{OP@#3@\the\count@z}{0}%
+ \advance\count@z by-1\relax
+ \ifnum\count@z>0
+ \repeat
+ \@namexdef{OP@#3@d}{\the\count@iv}%
+ \count@i=\@nameuse{OP@#3@i}%
+ \advance\count@i by\count@iv\relax
+ \@namexdef{OP@#3@w}{\the\count@i}%
+ \fi
+ \count@z=\count@iii
+ \advance\count@z by-\@nameuse{OP@#3@i}\relax
+ \ifnum\count@z>0
+ \count@i=\@nameuse{OP@#3@w}\relax
+ \loop
+ \advance\count@i by1
+ \@namexdef{OP@#3@\the\count@i}{0}%
+ \advance\count@z by-1\relax
+ \ifnum\count@z>0
+ \repeat
+ \@namexdef{OP@#3@i}{\the\count@iii}%
+ \fi
+ \count@i=\@nameuse{OP@#3@i}\relax
+ \advance\count@i by\@nameuse{OP@#3@d}\relax
+ \@namexdef{OP@#3@w}{\the\count@i}%
+ \endgroup
+}
+\def\opunzero#1{%
+ \op@split{#1}{uzr}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unzero{uzr}%
+ \op@unsplit{uzr}{#1}%
+ \fi
+}
+\def\op@unzero#1{%
+ \begingroup
+ \count@z=\@nameuse{OP@#1@i}\relax
+ \count@i=\@nameuse{OP@#1@w}\relax
+ \count@ii=\@nameuse{OP@#1@i}\relax
+ \loop
+ \ifnum\count@z>1\relax
+ \ifnum\@nameuse{OP@#1@\the\count@i}=0\relax
+ \advance\count@ii by-1
+ \else
+ \count@z=0
+ \fi
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \@namexdef{OP@#1@i}{\the\count@ii}%
+ \count@z=\@nameuse{OP@#1@d}\relax
+ \count@i=1\relax
+ \count@ii=0\relax
+ \loop
+ \ifnum\count@z>0\relax
+ \ifnum\@nameuse{OP@#1@\the\count@i}=0\relax
+ \advance\count@ii by1
+ \advance\count@z by-1
+ \advance\count@i by1
+ \else
+ \count@z=0
+ \fi
+ \repeat
+ \ifnum\count@ii>0\relax
+ \count@z=1\relax
+ \count@i=\@nameuse{OP@#1@w}\relax
+ \count2=\count@ii
+ \advance\count@ii by1
+ \loop
+ \@namexdef{OP@#1@\the\count@z}{\@nameuse{OP@#1@\the\count@ii}}%
+ \ifnum\count@ii<\count@i
+ \advance\count@z by1
+ \advance\count@ii by1
+ \repeat
+ \count@ii=\@nameuse{OP@#1@d}%
+ \advance\count@ii by-\count2
+ \@namexdef{OP@#1@d}{\the\count@ii}%
+ \fi
+ \ifnum\@nameuse{OP@#1@i}=1\relax
+ \ifnum\@nameuse{OP@#1@d}=0\relax
+ \ifnum\@nameuse{OP@#1@1}=0
+ \@namexdef{OP@#1@s}{0}%
+ \fi
+ \fi
+ \fi
+ \count@i=\@nameuse{OP@#1@i}\relax
+ \advance\count@i by\@nameuse{OP@#1@d}\relax
+ \@namexdef{OP@#1@w}{\the\count@i}%
+ \endgroup
+}
+\def\opcopy#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{a}{#2}%
+ \fi
+}
+\def\op@copy#1#2{%
+ \begingroup
+ \@namexdef{OP@#2@w}{\@nameuse{OP@#1@w}}%
+ \@namexdef{OP@#2@i}{\@nameuse{OP@#1@i}}%
+ \@namexdef{OP@#2@d}{\@nameuse{OP@#1@d}}%
+ \@namexdef{OP@#2@s}{\@nameuse{OP@#1@s}}%
+ \count@z=\@nameuse{OP@#2@w}\relax
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@#2@\the\count@z}{\@nameuse{OP@#1@\the\count@z}}%
+ \advance\count@z by-1
+ \repeat
+ \endgroup
+}
+\def\opcmp#1#2{%
+ \op@split{#1}{ca}%
+ \op@split{#2}{cb}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@cmp{ca}{cb}%
+ \fi
+}
+\def\op@cmp#1#2{%
+ \begingroup
+ \global\opgtfalse
+ \global\opgefalse
+ \global\opeqfalse
+ \global\opneqfalse
+ \global\oplefalse
+ \global\opltfalse
+ \op@copy{#1}{ca}%
+ \op@unzero{ca}%
+ \op@copy{#2}{cb}%
+ \op@unzero{cb}%
+ \ifnum\OP@ca@s>\OP@cb@s\relax
+ \global\oplttrue
+ \global\opletrue
+ \global\opneqtrue
+ \else \ifnum\OP@ca@s<\OP@cb@s\relax
+ \global\opgttrue
+ \global\opgetrue
+ \global\opneqtrue
+ \else
+ \ifnum\OP@ca@i>\OP@cb@i\relax
+ \global\opgetrue
+ \global\opgttrue
+ \global\opneqtrue
+ \else \ifnum\OP@ca@i<\OP@cb@i\relax
+ \global\opletrue
+ \global\oplttrue
+ \global\opneqtrue
+ \else
+ \op@againtrue
+ \count@i=\OP@ca@w\relax
+ \count@ii=\OP@cb@w\relax
+ \loop
+ \ifop@again
+ \ifnum\@nameuse{OP@ca@\the\count@i}>
+ \@nameuse{OP@cb@\the\count@ii}\relax
+ \op@againfalse
+ \global\opgttrue
+ \global\opgetrue
+ \global\opneqtrue
+ \else \ifnum\@nameuse{OP@ca@\the\count@i}<
+ \@nameuse{OP@cb@\the\count@ii}\relax
+ \op@againfalse
+ \global\oplttrue
+ \global\opletrue
+ \global\opneqtrue
+ \else \ifnum\count@i=1\relax
+ \op@againfalse
+ \ifnum\count@ii=1\relax
+ \global\opeqtrue
+ \global\opgetrue
+ \global\opletrue
+ \else
+ \global\oplttrue
+ \global\opletrue
+ \global\opneqtrue
+ \fi
+ \else \ifnum\count@ii=1\relax
+ \op@againfalse
+ \global\opgttrue
+ \global\opgetrue
+ \global\opneqtrue
+ \fi\fi\fi\fi
+ \advance\count@i by-1
+ \advance\count@ii by-1
+ \repeat
+ \fi\fi
+ \ifnum\OP@ca@s=1\relax
+ \ifopneq
+ \ifopgt
+ \global\opgtfalse
+ \global\opgefalse
+ \global\oplttrue
+ \global\opletrue
+ \else
+ \global\opgttrue
+ \global\opgetrue
+ \global\opltfalse
+ \global\oplefalse
+ \fi
+ \fi
+ \fi
+ \fi\fi
+ \endgroup
+}
+\def\op@max#1#2{%
+ \ifnum#1>#2
+ #1%
+ \else
+ #2%
+ \fi
+}
+\def\op@textoperation#1#2#3#4#5{%
+ \mathsurround=\z@\relax
+ \ifop@deletezero
+ \op@unzero{#1}%
+ \op@unzero{#3}%
+ \op@unzero{#5}%
+ \fi
+ \op@unsplit{#1}{@a}%
+ \op@unsplit{#3}{@b}%
+ \op@unsplit{#5}{@r}%
+ \ifnum\@nameuse{OP@#1@s}=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@a)$%
+ \else
+ $\Op@@a$%
+ \fi
+ \else
+ $\Op@@a$%
+ \fi
+ $\>$\nobreak#2$\>$\penalty\binoppenalty
+ \ifnum\@nameuse{OP@#3@s}=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@b)$%
+ \else \ifx\op@parenthesisnegative\op@string@last
+ $(\Op@@b)$%
+ \else
+ $\Op@@b$%
+ \fi\fi
+ \else
+ $\Op@@b$%
+ \fi
+ $\;$\nobreak#4$\;$\penalty\relpenalty
+ \ifnum\@nameuse{OP@#5@s}=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@r)$%
+ \else
+ $\Op@@r$%
+ \fi
+ \else
+ $\Op@@r$%
+ \fi
+}
+\def\opadd{\@ifnextchar*{\op@addstar}{\op@addnostar}}
+\def\op@addstar*#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \ifnum\OP@a@s=0
+ \ifnum\OP@b@s=0
+ \xdef\op@realsymbol{\op@addsymbol}%
+ \op@add{a}{b}{r}%
+ \else
+ \def\OP@b@s{0}%
+ \op@cmp{a}{b}%
+ \ifopgt
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@sub{a}{b}{r}%
+ \else
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@copy{a}{r}%
+ \op@copy{b}{a}%
+ \op@copy{r}{b}%
+ \op@sub{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \fi
+ \fi
+ \else
+ \ifnum\OP@b@s=0
+ \def\OP@a@s{0}%
+ \op@cmp{a}{b}%
+ \ifopgt
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@sub{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \else
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@copy{a}{r}%
+ \op@copy{b}{a}%
+ \op@copy{r}{b}%
+ \op@sub{a}{b}{r}%
+ \fi
+ \else
+ \xdef\op@realsymbol{\op@addsymbol}%
+ \op@add{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \fi
+ \fi
+ \ifop@error\else
+ \ifop@deletezero
+ \op@unzero{r}%
+ \fi
+ \op@unsplit{r}{#3}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@addnostar{\@ifnextchar[{\op@addarg}{\op@addarg[nil]}}
+\def\op@addarg[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \ifx\op@style\op@string@display
+ \ifx\op@country\op@string@french
+ \op@adddisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@american
+ \op@adddisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@russian
+ \op@adddisplayone{#2}{#3}%
+ \else
+ \op@error{Country \op@country\space isn't recognize}
+ {For now, only `french', `american' and
+ `russian' are valid}
+ \fi\fi\fi
+ \else
+ \op@addstar*{#2}{#3}{@r}%
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@split{@r}{r}%
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \op@textoperation{a}{\op@addsymbol}{b}{\op@equalsymbol}{r}%
+ \fi
+ \endgroup
+}
+\def\op@adddisplayone#1#2{%
+ \op@addstar*{#1}{#2}{@r}%
+ \op@addsubdisplayone
+}
+\def\op@add#1#2#3{%
+ \begingroup
+ \global\op@carryfalse
+ \count@i=\op@max{\@nameuse{OP@#1@i}}{\@nameuse{OP@#2@i}}%
+ \count@ii=\op@max{\@nameuse{OP@#1@d}}{\@nameuse{OP@#2@d}}%
+ \op@format{\the\count@i}{\the\count@ii}{#1}%
+ \op@format{\the\count@i}{\the\count@ii}{#2}%
+ \@namexdef{OP@#3@i}{\the\count@i}%
+ \@namexdef{OP@#3@d}{\the\count@ii}%
+ \@namexdef{OP@#3@s}{0}%
+ \xdef\OP@carry@s{0}%
+ \xdef\OP@carry@d{0}%
+ \advance\count@i by\count@ii
+ \@namexdef{OP@#3@w}{\the\count@i}%
+ \xdef\OP@carry@i{\the\count@i}%
+ \xdef\OP@carry@w{\the\count@i}%
+ \count@ii=1
+ \def\op@carry{0}%
+ \@namexdef{OP@carry@1}{ }%
+ \loop
+ \count@z=\@nameuse{OP@#1@\the\count@ii}%
+ \advance\count@z by\@nameuse{OP@#2@\the\count@ii}%
+ \advance\count@z by\op@carry\relax
+ \ifnum\count@z>9
+ \advance\count@z by-10
+ \def\op@carry{1}%
+ \global\op@carrytrue
+ \else
+ \def\op@carry{0}%
+ \fi
+ \@namexdef{OP@#3@\the\count@ii}{\the\count@z}%
+ \ifnum\count@ii<\count@i
+ \advance\count@ii by1\relax
+ \ifnum\op@carry=0
+ \@namexdef{OP@carry@\the\count@ii}{ }%
+ \else
+ \@namexdef{OP@carry@\the\count@ii}{1}%
+ \global\op@carrytrue
+ \fi
+ \repeat
+ \ifnum\op@carry=1
+ \advance\count@i by1
+ \@namexdef{OP@#3@w}{\the\count@i}%
+ \@namexdef{OP@#3@\the\count@i}{1}%
+ \ifop@lastcarry
+ \@namexdef{OP@carry@w}{\the\count@i}%
+ \@namexdef{OP@carry@i}{\the\count@i}%
+ \@namexdef{OP@carry@\the\count@i}{1}%
+ \global\op@carrytrue
+ \fi
+ \count@i=\@nameuse{OP@#3@i}\relax
+ \advance\count@i by1
+ \@namexdef{OP@#3@i}{\the\count@i}%
+ \fi
+ \endgroup
+}
+\def\opsub{\@ifnextchar*{\op@substar}{\op@subnostar}}
+\def\op@substar*#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\OP@a@s=0
+ \ifnum\OP@b@s=0
+ \op@cmp{a}{b}%
+ \ifopgt
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@sub{a}{b}{r}%
+ \else
+ \ifx\op@behaviorsub\op@string@warning
+ \op@warning{Substraction with first operand less than
+ second one}
+ \else\ifx\op@behaviorsub\op@string@error
+ \op@error{Substraction with first operand less than
+ second one}%
+ {I can't do a-b with a and b positive and a<b}%
+ \global\op@errortrue
+ \fi\fi
+ \ifop@error\else
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@copy{a}{r}%
+ \op@copy{b}{a}%
+ \op@copy{r}{b}%
+ \op@sub{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \fi
+ \fi
+ \else
+ \xdef\op@realsymbol{\op@addsymbol}%
+ \op@add{a}{b}{r}%
+ \fi
+ \else
+ \ifnum\OP@b@s=0
+ \xdef\op@realsymbol{\op@addsymbol}%
+ \op@add{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \else
+ \op@cmp{a}{b}%
+ \ifoplt
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@sub{a}{b}{r}%
+ \xdef\OP@r@s{1}%
+ \else
+ \xdef\op@realsymbol{\op@subsymbol}%
+ \op@copy{a}{r}%
+ \op@copy{b}{a}%
+ \op@copy{r}{b}%
+ \op@sub{a}{b}{r}%
+ \fi
+ \fi
+ \fi
+ \ifop@error\else
+ \ifop@deletezero
+ \op@unzero{r}%
+ \fi
+ \op@unsplit{r}{#3}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@subnostar{\@ifnextchar[{\op@subarg}{\op@subarg[nil]}}
+\def\op@subarg[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \ifx\op@style\op@string@display
+ \ifx\op@country\op@string@french
+ \op@subdisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@american
+ \op@subdisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@russian
+ \op@subdisplayone{#2}{#3}%
+ \else
+ \op@error{Country \op@country\space isn't recognize}
+ {For now, only `french', `american' and
+ `russian' are valid}
+ \fi\fi\fi
+ \else
+ \op@substar*{#2}{#3}{@r}%
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@split{@r}{r}%
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \op@textoperation{a}{\op@subsymbol}{b}{\op@equalsymbol}{r}%
+ \fi
+ \endgroup
+}
+\def\op@subdisplayone#1#2{%
+ \op@substar*{#1}{#2}{@r}%
+ \op@addsubdisplayone
+}
+\def\op@sub#1#2#3{%
+ \begingroup
+ \global\op@carryfalse
+ \count@i=\op@max{\@nameuse{OP@#1@i}}{\@nameuse{OP@#2@i}}\relax
+ \count@ii=\op@max{\@nameuse{OP@#1@d}}{\@nameuse{OP@#2@d}}\relax
+ \count@iii=\@nameuse{OP@#2@w}\relax
+ \advance\count@iii by1
+ \op@format{\the\count@i}{\the\count@ii}{#1}%
+ \op@format{\the\count@i}{\the\count@ii}{#2}%
+ \@namexdef{OP@#3@i}{\the\count@i}%
+ \@namexdef{OP@#3@d}{\the\count@ii}%
+ \@namexdef{OP@#3@s}{0}%
+ \xdef\OP@carry@s{0}%
+ \xdef\OP@carry@d{0}%
+ \advance\count@i by\count@ii
+ \@namexdef{OP@#3@w}{\the\count@i}%
+ \xdef\OP@carry@i{\the\count@i}%
+ \xdef\OP@carry@w{\the\count@i}%
+ \count@ii=1
+ \def\op@carry{0}%
+ \@namexdef{OP@carry@1}{ }%
+ \loop
+ \count@z=\@nameuse{OP@#1@\the\count@ii}%
+ \advance\count@z by-\@nameuse{OP@#2@\the\count@ii}%
+ \advance\count@z by-\op@carry\relax
+ \ifnum\count@z<0
+ \advance\count@z by10
+ \def\op@carry{1}%
+ \else
+ \def\op@carry{0}%
+ \fi
+ \@namexdef{OP@#3@\the\count@ii}{\the\count@z}%
+ \ifnum\count@ii<\count@i
+ \advance\count@ii by1\relax
+ \@namexdef{OP@carry@\the\count@ii}{ }%
+ \ifnum\op@carry=0 \else
+ \ifop@lastcarry
+ \@namexdef{OP@carry@\the\count@ii}{1}%
+ \global\op@carrytrue
+ \else
+ \ifnum\count@ii<\count@iii\relax
+ \@namexdef{OP@carry@\the\count@ii}{1}%
+ \global\op@carrytrue
+ \fi
+ \fi
+ \fi
+ \repeat
+ \endgroup
+}
+\def\op@addsubdisplayone{%
+ \begingroup
+ \ifop@error\else
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \ifx\op@realsymbol\op@subsymbol
+ \ifnum\OP@a@d<\OP@b@d\relax
+ \op@format{\OP@a@i}{\OP@b@d}{a}%
+ \fi
+ \fi
+ \count@i=\op@max{\OP@a@i}{\OP@b@i}%
+ \count@i=\op@max{\the\count@i}{\OP@r@i}%
+ \advance\count@i by1
+ \count@ii=\op@max{\OP@a@d}{\OP@b@d}%
+ \count@ii=\op@max{\the\count@ii}{\OP@r@d}%
+ \count@z=\count@i
+ \advance\count@z by\count@ii
+ \setbox1=\hbox to\count@z\opcolumnwidth{%
+ \ifx\op@voperator\op@string@top
+ \oplput(0,2){\op@realsymbol}%
+ \else\ifx\op@voperator\op@string@bottom
+ \oplput(0,1){\op@realsymbol}%
+ \else
+ \oplput(0,1.5){\op@realsymbol}%
+ \fi\fi
+ \ophline(0,0.75){\the\count@z}%
+ \ifnum\OP@r@d>0\relax
+ \oplput(\the\count@z,0.75){%
+ \vrule width\op@decimalsepwidth
+ depth0.5\op@hrulewidth height0.5\op@hrulewidth}
+ \fi
+ \ifx\op@realsymbol\op@subsymbol
+ \ifop@carrysub
+ \ifop@carry
+ \op@makebox{\the\count@z}{0}{carrystyle}{carry}%
+ \oplput(\op@offsetcarry,2){\kern\opcolumnwidth\copy0}%
+ \oplput(\op@offsetcarry,1){\box0}%
+ \fi
+ \fi
+ \fi
+ \vbox{%
+ \ifx\op@realsymbol\op@addsymbol
+ \ifop@carryadd
+ \ifop@carry
+ \op@makebox{\the\count@z}{0}{carrystyle}{carry}%
+ \hbox{\box0}%
+ \fi
+ \fi
+ \fi
+ \op@makebox{\the\count@i}{\the\count@ii}{operandstyle.1}{a}%
+ \hbox{\box0}%
+ \op@makebox{\the\count@i}{\the\count@ii}{operandstyle.2}{b}%
+ \hbox{\box0}%
+ \op@makebox{\the\count@i}{\the\count@ii}{resultstyle}{r}%
+ \hbox{\box0}%
+ }%
+ }%
+ \leavevmode
+ \ifx\op@voperation\op@string@center
+ \lower1\oplineheight\box1
+ \else\ifx\op@voperation\op@string@top
+ \lower2\oplineheight\box1
+ \else
+ \box1
+ \fi\fi
+ \fi
+ \endgroup
+}
+\def\opmul{\@ifnextchar*{\op@mulstar}{\op@mulnostar}}
+\def\op@mulstar*#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \op@mul{a}{b}{r}%
+ \ifop@deletezero
+ \op@unzero{r}%
+ \fi
+ \xdef\op@realsymbol{\op@mulsymbol}%
+ \ifnum\OP@a@s=\OP@b@s\else
+ \xdef\OP@r@s{1}%
+ \fi
+ \ifop@error\else
+ \op@unsplit{r}{#3}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@mulnostar{\@ifnextchar[{\op@mularg}{\op@mularg[nil]}}
+\def\op@mularg[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \ifx\op@style\op@string@display
+ \ifx\op@country\op@string@french
+ \op@muldisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@american
+ \op@muldisplayone{#2}{#3}%
+ \else \ifx\op@country\op@string@russian
+ \op@muldisplayone{#2}{#3}%
+ \else
+ \op@error{Country \op@country\space isn't recognize}
+ {For now, only `french', `american' and
+ `russian' are valid}
+ \fi\fi\fi
+ \else
+ \op@mulstar*{#2}{#3}{@r}%
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@split{@r}{r}%
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \op@unzero{r}%
+ \fi
+ \op@textoperation{a}{\op@mulsymbol}{b}{\op@equalsymbol}{r}%
+ \fi
+ \endgroup
+}
+\def\op@muldisplayone#1#2{%
+ \begingroup
+ \ifop@error\else
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \fi
+ \op@mul{a}{b}{r}%
+ \ifnum\OP@b@i=1
+ \expandafter\if\csname OP@b@\OP@b@w\endcsname0
+ \ifnum\OP@r@i>1
+ \expandafter\if\csname OP@r@\OP@r@w\endcsname0
+ \count@i=\OP@r@w
+ \advance\count@i\m@ne
+ \edef\OP@r@w{\the\count@i}%
+ \count@i=\OP@r@i
+ \advance\count@i\m@ne
+ \edef\OP@r@i{\the\count@i}%
+ \fi\fi\fi\fi
+ \setbox1=\hbox to\OP@r@w\opcolumnwidth{%
+ \vbox{%
+ \ifx\op@hfactor\op@string@right
+ \count@i=\OP@r@w
+ \advance\count@i by-\OP@a@d
+ \op@makebox{\the\count@i}{\OP@a@d}{operandstyle.1}{a}%
+ \hbox{\box0}%
+ \count@i=\OP@r@w
+ \advance\count@i by-\OP@b@d
+ \op@makebox{\the\count@i}{\OP@b@d}{operandstyle.2}{b}%
+ \hbox{\box0}%
+ \else
+ \count@i=\OP@r@w
+ \count@ii=\op@max{\OP@a@d}{\OP@b@d}%
+ \advance\count@i by-\count@ii
+ \op@makebox{\the\count@i}{\the\count@ii}{operandstyle.1}{a}%
+ \hbox{\box0}%
+ \op@makebox{\the\count@i}{\the\count@ii}{operandstyle.2}{b}%
+ \hbox{\box0}%
+ \fi
+ \op@againtrue
+ \ifx\op@displayintermediary\op@string@none
+ \ifnum\OP@b@w=1
+ \op@againfalse
+ \fi
+ \fi
+ \global\count@z=0\relax
+ \ifop@again
+ \count@ii=0\relax
+ \setbox2=\hbox{}%
+ \loop
+ \ifnum\count@ii<\OP@b@w
+ \advance\count@ii by1
+ \count@iii=\@nameuse{OP@b@\the\count@ii}%
+ \count@iv=\OP@r@w
+ \advance\count@iv by-\count@ii
+ \advance\count@iv by1
+ \op@makebox{\the\count@iv}{0}%
+ {intermediarystyle.\the\count@ii}{T\the\count@iii}%
+ \ifx\op@displayintermediary\op@string@all
+ \hbox{\box0\copy2}%
+ \global\advance\count@z by1
+ \else
+ \ifnum\the\count@iii=0
+ \ifx\op@displayshiftintermediary\op@string@shift
+ \setbox2=\hbox{\box2\hbox to\opcolumnwidth{%
+ \hss\op@shiftintermediarysymbol\hss}}%
+ \fi
+ \else
+ \hbox{\box0\copy2}%
+ \global\advance\count@z by1
+ \ifx\op@displayshiftintermediary\op@string@shift
+ \setbox2=\hbox{}%
+ \fi
+ \fi
+ \fi
+ \ifx\op@displayshiftintermediary\op@string@all
+ \setbox2=\hbox{\box2\hbox to\opcolumnwidth{%
+ \hss\op@shiftintermediarysymbol\hss}}%
+ \fi
+ \repeat
+ \fi
+ \op@makebox{\OP@r@i}{\OP@r@d}{resultstyle}{r}%
+ \hbox{\box0}%
+ }%
+ \count@i=\OP@r@w
+ \ophline(-\the\count@i,0.75){\the\count@i}%
+ \ifnum\OP@r@d>0\relax
+ \oprput(-\the\count@i,0.75){%
+ \vrule width\op@decimalsepwidth
+ depth0.5\op@hrulewidth height0.5\op@hrulewidth}
+ \fi
+ \ifx\op@hfactor\op@string@right
+ \count@i=\op@max{\OP@a@w}{\OP@b@w}%
+ \else
+ \count@i=\op@max{\OP@a@d}{\OP@b@d}%
+ \advance\count@i by\op@max{\OP@a@i}{\OP@b@i}%
+ \fi
+ \advance\count@i by1\relax
+ \ophline(-\the\count@i,\the\count@z.75){\the\count@i}%
+ \ifx\op@voperator\op@string@top
+ \advance\count@z by2
+ \oplput(-\the\count@i,\the\count@z){\op@mulsymbol}%
+ \advance\count@z by-2
+ \else\ifx\op@voperator\op@string@bottom
+ \advance\count@z by1
+ \oplput(-\the\count@i,\the\count@z){\op@mulsymbol}%
+ \advance\count@z by-1
+ \else
+ \advance\count@z by1
+ \oplput(-\the\count@i,\the\count@z.5){\op@mulsymbol}%
+ \advance\count@z by-1
+ \fi\fi
+ }%
+ \leavevmode
+ \ifx\op@voperation\op@string@center
+ \advance\count@z by3
+ \dimen0=\oplineheight
+ \multiply\dimen0 by\count@z
+ \dimen0=0.5\dimen0
+ \lower\dimen0\box1
+ \else\ifx\op@voperation\op@string@top
+ \advance\count@z by2
+ \dimen0=\oplineheight
+ \multiply\dimen0 by\count@z
+ \lower\dimen0\box1
+ \else
+ \box1
+ \fi\fi
+ \fi
+ \endgroup
+}
+\def\op@mul#1#2#3{%
+ \begingroup
+ \op@multable{#1}%
+ \count@z=\@nameuse{OP@#2@w}\relax
+ \op@copy{zero}{mr}%
+ \loop
+ \count@iii=\@nameuse{OP@#2@\the\count@z}%
+ \advance\count@z by-1
+ \op@copy{T\the\count@iii}{rr}%
+ \op@lshift{\the\count@z}{rr}%
+ \op@add{rr}{mr}{mr}%
+ \ifnum\count@z>0
+ \repeat
+ \count@z=\@nameuse{OP@#1@d}%
+ \advance\count@z by\@nameuse{OP@#2@d}%
+ \xdef\OP@mr@d{\the\count@z}%
+ \count@i=\OP@mr@w
+ \advance\count@i by-\count@z
+ \ifnum\count@i>0\relax
+ \xdef\OP@mr@i{\the\count@i}%
+ \else
+ \xdef\OP@mr@i{1}%
+ \count@z=\@nameuse{OP@mr@d}%
+ \advance\count@z by1
+ \count@i=\@nameuse{OP@mr@w}%
+ \@namexdef{OP@mr@w}{\the\count@z}%
+ \loop
+ \ifnum\count@i<\count@z
+ \advance\count@i by1
+ \@namexdef{OP@mr@\the\count@i}{0}%
+ \repeat
+ \fi
+ \op@copy{mr}{#3}%
+ \endgroup
+}
+\def\op@multable#1{%
+ \op@copy{#1}{T1}%
+ \@namexdef{OP@T1@i}{\@nameuse{OP@T1@w}}%
+ \@namexdef{OP@T1@d}{0}%
+ \@namexdef{OP@T1@s}{0}%
+ \op@add{T1}{T1}{T2}%
+ \op@add{T1}{T2}{T3}%
+ \op@add{T1}{T3}{T4}%
+ \op@add{T1}{T4}{T5}%
+ \op@add{T1}{T5}{T6}%
+ \op@add{T1}{T6}{T7}%
+ \op@add{T1}{T7}{T8}%
+ \op@add{T1}{T8}{T9}%
+ \op@unzero{T1}%
+ \op@format{\@nameuse{OP@T1@i}}{\@nameuse{OP@T1@d}}{T0}%
+}
+\def\op@lshift#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@z=\@nameuse{OP@#2@w}\relax
+ \advance\count@i by\count@z
+ \@namexdef{OP@#2@w}{\the\count@i}%
+ \@namexdef{OP@#2@i}{\the\count@i}%
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@#2@\the\count@i}{\@nameuse{OP@#2@\the\count@z}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \loop
+ \ifnum\count@i>0
+ \@namexdef{OP@#2@\the\count@i}{0}%
+ \advance\count@i by-1
+ \repeat
+ \endgroup
+}
+\def\op@rshift#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@z=\@nameuse{OP@#2@w}\relax
+ \advance\count@z by-\count@i
+ \ifnum\count@z>0
+ \@namexdef{OP@#2@w}{\the\count@z}%
+ \@namexdef{OP@#2@i}{\the\count@z}%
+ \@namexdef{OP@#2@d}{0}%
+ \@namexdef{OP@#2@s}{0}%
+ \advance\count@i by1\relax
+ \count@ii=1
+ \loop
+ \@namexdef{OP@#2@\the\count@ii}{\@nameuse{OP@#2@\the\count@i}}%
+ \advance\count@i by1
+ \ifnum\count@ii<\count@z
+ \advance\count@ii by1
+ \repeat
+ \else
+ \op@copy{zero}{#2}%
+ \fi
+ \endgroup
+}
+\def\opdiv{\@ifnextchar*{\op@divstar}{\op@divnostar}}
+\def\op@divstar*{\@ifnextchar[{\op@divstararg}{\op@divstararg[nil]}}
+\def\op@divstararg[#1]#2#3#4#5{%
+ \begingroup
+ \opset{#1}
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \xdef\OP@a@s{0}%
+ \xdef\OP@b@s{0}%
+ \ifop@period
+ \op@div{1}{a}{b}{q}{r}%
+ \else
+ \op@div{0}{a}{b}{q}{r}%
+ \fi
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \ifnum\OP@a@s=0\relax
+ \ifnum\OP@b@s=0\relax
+ \else
+ \xdef\OP@q@s{1}%
+ \fi
+ \else
+ \xdef\OP@r@s{1}%
+ \ifnum\OP@b@s=0\relax
+ \xdef\OP@q@s{1}%
+ \fi
+ \fi
+ \ifop@error\else
+ \op@unsplit{q}{#4}%
+ \op@unsplit{r}{#5}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@divnostar{\@ifnextchar[{\op@divarg}{\op@divarg[nil]}}
+\def\op@divarg[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifx\op@style\op@string@display
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \ifx\op@shiftdecimalsep\op@string@none
+ \xdef\OP@a@i{\OP@a@w}%
+ \xdef\OP@a@d{0}%
+ \xdef\OP@b@i{\OP@b@w}%
+ \xdef\OP@b@d{0}%
+ \else\ifx\op@shiftdecimalsep\op@string@divisor
+ \xdef\OP@a@i{\OP@a@w}%
+ \xdef\OP@a@d{0}%
+ \xdef\OP@b@i{\OP@b@w}%
+ \xdef\OP@b@d{0}%
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \else
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \fi\fi
+ \fi
+ \ifop@period
+ \op@div{1}{a}{b}{q}{r}%
+ \else
+ \op@div{0}{a}{b}{q}{r}%
+ \fi
+ \ifx\op@style\op@string@display
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@copy{q}{qq}%
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \ifx\op@shiftdecimalsep\op@string@none
+ \def\op@shift{0}%
+ \count@v=\OP@a@d
+ \advance\count@v by-\OP@b@d\relax
+ \ifnum\count@v>0
+ \op@divpowerten{qq}{\the\count@v}%
+ \else
+ \count@v=-\count@v
+ \op@mulpowerten{qq}{\the\count@v}%
+ \fi
+ \else\ifx\op@shiftdecimalsep\op@string@divisor
+ \edef\op@shift{\OP@a@d}%
+ \count@v=\OP@a@d
+ \advance\count@v by-\OP@b@d\relax
+ \ifnum\count@v>0
+ \op@divpowerten{qq}{\the\count@v}%
+ \else
+ \count@v=-\count@v
+ \op@mulpowerten{qq}{\the\count@v}%
+ \fi
+ \edef\op@shift{\OP@b@d}%
+ \op@split{#2}{a}%
+ \ifx\op@strikedecimalsepsymbol\empty
+ \op@unzero{a}%
+ \else
+ \count@z=\OP@a@w
+ \fi
+ \op@mulpowerten{a}{\OP@b@d}%
+ \ifx\op@strikedecimalsepsymbol\empty\else
+ \advance\count@z by-\OP@a@d
+ \op@format{\the\count@z}{\OP@a@d}{a}%
+ \fi
+ \xdef\OP@b@i{\OP@b@w}%
+ \xdef\OP@b@d{0}%
+ \ifx\op@strikedecimalsepsymbol\empty
+ \op@unzero{b}%
+ \fi
+ \else
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \ifx\op@strikedecimalsepsymbol\empty
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \else
+ \count@z=\OP@a@w
+ \count@i=\OP@b@w
+ \fi
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \ifx\op@strikedecimalsepsymbol\empty\else
+ \advance\count@z by-\OP@a@d
+ \op@format{\the\count@z}{\OP@a@d}{a}%
+ \advance\count@i by-\OP@b@d
+ \op@format{\the\count@i}{\OP@b@d}{b}%
+ \fi
+ \fi\fi
+ \ifx\op@country\op@string@french
+ \op@divdisplayone
+ \else \ifx\op@country\op@string@american
+ \op@divdisplayone
+ \else \ifx\op@country\op@string@russian
+ \op@divdisplayone
+ \else
+ \op@error{Country \op@country\space isn't recognize}
+ {For now, only `french', `american' and
+ `russian' are valid}%
+ \fi\fi\fi
+ \else
+ \ifnum\OP@a@s=\OP@b@s\else
+ \xdef\OP@q@s{1}%
+ \fi
+ \mathsurround=\z@\relax
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \op@unzero{q}%
+ \fi
+ \op@unsplit{a}{@a}%
+ \op@unsplit{b}{@b}%
+ \op@unsplit{q}{@q}%
+ \ifnum\OP@a@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@a)$%
+ \else
+ $\Op@@a$%
+ \fi
+ \else
+ $\Op@@a$%
+ \fi
+ $\>$\nobreak\op@divsymbol$\>$\penalty\binoppenalty
+ \ifnum\OP@b@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@b)$%
+ \else \ifx\op@parenthesisnegative\op@string@last
+ $(\Op@@b)$%
+ \else
+ $\Op@@b$%
+ \fi\fi
+ \else
+ $\Op@@b$%
+ \fi
+ \op@cmp{zero}{r}%
+ \ifopeq
+ $\;$\nobreak\op@equalsymbol$\;$\penalty\relpenalty
+ \setbox0=\hbox{\Op@@q}%
+ \else
+ \ifop@period
+ $\;$\nobreak\op@equalsymbol$\;$\penalty\relpenalty
+ \setbox0=\hbox{%
+ \Op@@q
+ \setbox1=\hbox{0}%
+ \begingroup
+ \opcolumnwidth=\wd1
+ \ophline(-\op@lengthperiod,\op@vruleperiod){\op@lengthperiod}%
+ \endgroup
+ \op@afterperiodsymbol
+ }%
+ \else
+ $\;$\nobreak\op@approxsymbol$\;$\penalty\relpenalty
+ \setbox0=\hbox{\Op@@q}%
+ \fi
+ \fi
+ \ifnum\OP@q@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\box0)$%
+ \else
+ $\box0$%
+ \fi
+ \else
+ $\box0$%
+ \fi
+ \fi
+ \fi
+ \endgroup
+}
+\def\opidiv{\@ifnextchar*{\op@idivstar}{\op@idivnostar}}
+\def\op@idivstar*#1#2#3#4{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \xdef\OP@a@s{0}%
+ \xdef\OP@b@s{0}%
+ \op@periodfalse
+ \op@div{2}{a}{b}{q}{r}%
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \ifnum\OP@a@s=0\relax
+ \ifnum\OP@b@s=0\relax
+ \else
+ \xdef\OP@q@s{1}%
+ \fi
+ \else
+ \op@add{one}{q}{q}%
+ \ifnum\OP@b@s=0\relax
+ \xdef\OP@q@s{1}%
+ \fi
+ \fi
+ \ifop@error\else
+ \op@unsplit{q}{#3}%
+ \op@unsplit{r}{#4}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@idivnostar{\@ifnextchar[{\op@idivarg}{\op@idivarg[nil]}}
+\def\op@idivarg[#1]#2#3{%
+ \begingroup
+ \opset{#1}%
+ \op@periodfalse
+ \let\op@shiftdecimalsep\op@string@both
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifx\op@style\op@string@display
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \fi
+ \xdef\OP@a@s{0}%
+ \xdef\OP@b@s{0}%
+ \op@div{2}{a}{b}{q}{r}%
+ \op@split{#2}{a}%
+ \op@split{#3}{b}%
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \ifx\op@style\op@string@display
+ \op@copy{q}{qq}%
+ \edef\op@shift{\op@max{\OP@a@d}{\OP@b@d}}%
+ \ifx\op@strikedecimalsepsymbol\empty\else
+ \count@z=\OP@a@w
+ \count@i=\OP@b@w
+ \fi
+ \op@mulpowerten{a}{\op@shift}%
+ \op@mulpowerten{b}{\op@shift}%
+ \ifx\op@strikedecimalsepsymbol\empty\else
+ \advance\count@z by-\OP@a@d
+ \op@format{\the\count@z}{\OP@a@d}{a}%
+ \advance\count@i by-\OP@b@d
+ \op@format{\the\count@i}{\OP@b@d}{b}%
+ \fi
+ \ifx\op@country\op@string@french
+ \op@divdisplayone
+ \else \ifx\op@country\op@string@american
+ \op@divdisplayone
+ \else \ifx\op@country\op@string@russian
+ \op@divdisplayone
+ \else
+ \op@error{Country \op@country\space isn't recognize}
+ {For now, only `french', `american' and
+ `russian' are valid}%
+ \fi\fi\fi
+ \else
+ \ifnum\OP@a@s=0\relax
+ \ifnum\OP@b@s=0\relax
+ \else
+ \xdef\OP@q@s{1}%
+ \fi
+ \else
+ \op@add{q}{one}{q}%
+ \op@sub{b}{r}{r}
+ \ifnum\OP@b@s=0\relax
+ \xdef\OP@q@s{1}%
+ \else
+ \fi
+ \fi
+ \mathsurround=\z@\relax
+ \ifop@deletezero
+ \op@unzero{a}%
+ \op@unzero{b}%
+ \op@unzero{q}%
+ \fi
+ \op@unsplit{a}{@a}%
+ \op@unsplit{b}{@b}%
+ \op@unsplit{q}{@q}%
+ \op@unsplit{r}{@r}%
+ \ifnum\OP@a@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@a)$%
+ \else
+ $\Op@@a$%
+ \fi
+ \else
+ $\Op@@a$%
+ \fi
+ $\;$\nobreak\op@equalsymbol$\;$\penalty\relpenalty
+ \ifnum\OP@b@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@b)$%
+ \else \ifx\op@parenthesisnegative\op@string@last
+ $\Op@@b$%
+ \else
+ $\Op@@b$%
+ \fi\fi
+ \else
+ $\Op@@b$%
+ \fi
+ $\>$\nobreak\op@mulsymbol$\>$\penalty\binoppenalty
+ \ifnum\OP@q@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@q)$%
+ \else \ifx\op@parenthesisnegative\op@string@last
+ $(\Op@@q)$%
+ \else
+ $\Op@@q$%
+ \fi\fi
+ \else
+ $\Op@@q$%
+ \fi
+ \op@cmp{zero}{r}%
+ \ifopeq\else
+ $\>$\nobreak\op@addsymbol$\>$\penalty\binoppenalty
+ \ifnum\OP@q@s=1\relax
+ \ifx\op@parenthesisnegative\op@string@all
+ $(\Op@@r)$%
+ \else \ifx\op@parenthesisnegative\op@string@last
+ $(\Op@@r)$%
+ \else
+ $\Op@@r$%
+ \fi\fi
+ \else
+ $\Op@@r$%
+ \fi
+ \fi
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@divdisplayone{%
+ \begingroup
+ \count@z=\z@\relax
+ \count@i=\OP@a@w
+ \loop
+ \ifnum\@nameuse{OP@a@\the\count@i}=0
+ \advance\count@i by-1
+ \advance\count@z by1
+ \repeat
+ \count@i=\op@firstlength
+ \advance\count@i by\count@z
+ \xdef\op@firstlength{\the\count@i}%
+ \setbox2=\vbox{%
+ \count@i=\op@firstlength
+ \advance\count@i by1
+ \hbox{%
+ \ifx\op@displayintermediary\op@string@none\else
+ \kern\opcolumnwidth
+ \advance\count@i by1
+ \fi
+ \ifop@dividendbridge
+ \vrule width0pt depth0pt height\oplineheight
+ \opvline(0,1){0.4}%
+ \ophline(0,1){\op@firstlength}%
+ \opvline(\op@firstlength,1){0.4}%
+ \fi
+ \op@display{operandstyle.1}{a}%
+ \ifnum\op@shift=0\relax\else
+ \count@v=\op@shift
+ \advance\count@v by\OP@a@d
+ \oplput(-\the\count@v,0){\op@strikedecimalsepsymbol}%
+ \fi
+ }%
+ \count@z=\OP@q@w
+ \count@ii=1\relax
+ \ifx\op@displayintermediary\op@string@none
+ \advance\count@i by-1\relax
+ \else
+ \count@iv=\@nameuse{OP@q@\the\count@z}\relax
+ \count@iii=\count@i
+ \advance\count@iii by-\@nameuse{OP@T\the\count@iv @w}%
+ \hbox{%
+ \ifx\op@voperator\op@string@center
+ \oplput(0,0.5){\op@subsymbol}%
+ \else\ifx\op@voperator\op@string@top
+ \oplput(0,1){\op@subsymbol}%
+ \else
+ \oplput(0,0){\op@subsymbol}%
+ \fi\fi
+ \ophline(1,-0.25){\op@firstlength}%
+ \advance\count@ii by1
+ \kern\count@iii\opcolumnwidth
+ \op@display{intermediarystyle.1}%
+ {T\the\count@iv}%
+ }%
+ \fi
+ {\global\setbox4=\hbox{}\setbox4=\box4}%
+ \loop
+ \advance\count@z by-1
+ \advance\count@i by1\relax
+ \ifnum\count@z>0\relax
+ \count@iv=\@nameuse{OP@q@\the\count@z}\relax
+ \ifnum\count@iv=0
+ \ifx\op@displayintermediary\op@string@all
+ \count@v=\count@i
+ \advance\count@v by-\@nameuse{OP@R\the\count@ii @w}%
+ \hbox{%
+ \kern\count@v\opcolumnwidth
+ \op@display{remainderstyle.\the\count@ii}%
+ {R\the\count@ii}%
+ }%
+ \count@iii=\count@i
+ \advance\count@iii by-\@nameuse{OP@T\the\count@iv @w}%
+ \hbox{%
+ \kern\count@v\opcolumnwidth
+ \ifx\op@voperator\op@string@center
+ \oplput(-1,0.5){\op@subsymbol}%
+ \else\ifx\op@voperator\op@string@top
+ \oplput(-1,1){\op@subsymbol}%
+ \else
+ \oplput(-1,0){\op@subsymbol}%
+ \fi\fi
+ \ophline(0,-0.25){\@nameuse{OP@R\the\count@ii @w}}%
+ \kern-\count@v\opcolumnwidth
+ \kern\count@iii\opcolumnwidth
+ \op@display{intermediarystyle.\the\count@ii}%
+ {T\the\count@iv}%
+ }%
+ \else
+ \ifnum\@nameuse{OP@R\the\count@ii @w}=2
+ \ifnum\@nameuse{OP@R\the\count@ii @2}=0
+ \op@makebox{1}{0}{remainderstyle.\the\count@ii.1}{zero}%
+ \setbox4=\hbox to\opcolumnwidth{\hss\box0\hss}%
+ \fi
+ \fi
+ \fi
+ \advance\count@ii by1\relax
+ \else
+ \count@v=\count@i
+ \advance\count@v by-\@nameuse{OP@R\the\count@ii @w}%
+ \ifvoid4\relax\else
+ \advance\count@v by-1
+ \fi
+ \hbox{%
+ \kern\count@v\opcolumnwidth\copy4
+ \op@display{remainderstyle.\the\count@ii}%
+ {R\the\count@ii}%
+ }%
+ \advance\count@ii by1\relax
+ \ifx\op@displayintermediary\op@string@none
+ \else
+ \count@iii=\count@i
+ \advance\count@iii by-\@nameuse{OP@T\the\count@iv @w}%
+ \hbox{%
+ \kern\count@v\opcolumnwidth
+ \ifx\op@voperator\op@string@center
+ \oplput(-1,0.5){\op@subsymbol}%
+ \else\ifx\op@voperator\op@string@top
+ \oplput(-1,1){\op@subsymbol}%
+ \else
+ \oplput(-1,0){\op@subsymbol}%
+ \fi\fi
+ \advance\count@ii by-1
+ \ifvoid4\relax
+ \ophline(0,-0.25){\@nameuse{OP@R\the\count@ii @w}}%
+ \else
+ \ophline(0,-0.25){\@nameuse{OP@T\the\count@iv @w}}%
+ \ophline(\@nameuse{OP@T\the\count@iv @w},-0.25){1}%
+ {\setbox4=\box4}%
+ \fi
+ \advance\count@ii by1
+ \kern-\count@v\opcolumnwidth
+ \kern\count@iii\opcolumnwidth
+ \op@display{intermediarystyle.\the\count@ii}%
+ {T\the\count@iv}%
+ }%
+ \fi
+ \fi
+ \repeat
+ \advance\count@i by-1
+ \count@iii=\count@i
+ \advance\count@iii by-\@nameuse{OP@R\the\count@ii @w}%
+ \hbox{%
+ \kern\count@iii\opcolumnwidth
+ \op@display{remainderstyle.\the\count@ii}%
+ {R\the\count@ii}%
+ }%
+ }%
+ \setbox3=\vbox{%
+ \count@v=\op@max{\OP@qq@w}{\OP@b@w}
+ \hbox{\ophline(-0.5,-0.25){\the\count@v.5}%
+ \op@display{operandstyle.2}{b}%
+ \ifnum\op@shift=0\relax\else
+ \count@v=\op@shift
+ \advance\count@v by\OP@b@d
+ \oplput(-\the\count@v,0){\op@strikedecimalsepsymbol}%
+ \fi}
+ \hbox{\op@display{resultstyle}{qq}}
+ }%
+ \dimen0=\ht2
+ \ifdim\dimen0>\ht3
+ \ht3=\ht2
+ \else
+ \ht2=\ht3
+ \fi
+ \ifx\op@voperation\op@string@top
+ \dimen0=\ht2
+ \advance\dimen0 by-0.5\oplineheight
+ \ht2=0.75\oplineheight
+ \ht3=0.75\oplineheight
+ \dp2=\dimen0
+ \dp2=\dimen0
+ \fi
+ \setbox1=\hbox{%
+ \box2
+ \kern0.5\opcolumnwidth
+ \kern-0.5\op@hrulewidth
+ \ifx\voperation\op@string@top
+ \vrule width\op@hrulewidth
+ \else
+ \vrule width\op@hrulewidth
+ \fi
+ \kern0.5\opcolumnwidth
+ \kern-0.5\op@hrulewidth
+ \box3
+ }%
+ \ifx\op@voperation\op@string@center
+ \setbox1=\hbox{$\vcenter{\box1}$}%
+ \fi
+ \leavevmode\box1
+ \endgroup
+}
+\def\op@div#1#2#3#4#5{%
+ \begingroup
+ \def\op@divmode{#1}%
+ \op@copy{#2}{da}%
+ \op@copy{#3}{db}%
+ \count@iv=0
+ \count@iii=\op@max{\OP@da@d}{\OP@db@d}\relax
+ \op@powten{da}{\the\count@iii}%
+ \op@powten{db}{\the\count@iii}%
+ \ifnum\op@divmode=1
+ \op@cmp{da}{maxinteger}%
+ \ifopgt
+ \op@warning{I can't deal period with such great dividend
+ (max = 2147483647).^^J
+ Use of maxdivstep instead period.}%
+ \def\op@divmode{0}%
+ \else \op@cmp{db}{maxdivperiod}%
+ \ifopgt
+ \op@warning{I can't deal period with such great divisor
+ (max = 214748363).^^J
+ Use of maxdivstep instead period.}%
+ \def\op@divmode{0}%
+ \else
+ \op@unsplit{da}{@a}%
+ \op@unsplit{db}{@b}%
+ \op@divperiod{\Op@@a}{\Op@@b}{op@lengthperiod}%
+ \ifnum\op@lengthperiod>\op@safedivstep
+ \op@warning{Period of division is too big
+ (\op@lengthperiod\space > safedivstep).^^J
+ \space\space\space Division will stop
+ before reach it.}%
+ \fi
+ \fi\fi
+ \fi
+ \op@multable{db}%
+ \op@cmp{da}{db}%
+ \ifople
+ \op@copy{da}{R}%
+ \count@i=\OP@da@w
+ \else
+ \xdef\OP@R@d{0}%
+ \xdef\OP@R@s{0}%
+ \count@i=\@nameuse{OP@db@w}%
+ \op@leftdividend{\the\count@i}%
+ \op@cmp{R}{db}%
+ \ifoplt
+ \ifnum\OP@da@w>\count@i
+ \advance\count@i by1
+ \op@leftdividend{\the\count@i}%
+ \fi
+ \fi
+ \fi
+ \xdef\op@firstlength{\the\count@i}%
+ \count@i=-\count@i
+ \advance\count@i by\OP@da@w
+ \op@copy{R}{R0}%
+ \op@copy{zero}{dq}%
+ \count@ii=0
+ \op@againtrue
+ \loop
+ \ifop@again
+ \op@tableextract{R}%
+ \op@multen{dq}%
+ \@namexdef{OP@dq@1}{\op@k}%
+ \op@sub{R}{T\op@k}{dr}%
+ \op@unzero{T\op@k}%
+ \op@multen{dr}%
+ \ifnum\count@i>0
+ \@namexdef{OP@dr@1}{\@nameuse{OP@da@\the\count@i}}%
+ \fi
+ \advance\count@i by-1\relax
+ \op@unzero{dr}%
+ \ifnum\OP@dr@w=1
+ \xdef\OP@dr@w{2}%
+ \xdef\OP@dr@i{2}%
+ \@namexdef{OP@dr@2}{0}%
+ \fi
+ \advance\count@ii by1\relax
+ \op@copy{dr}{R\the\count@ii}%
+ \op@copy{dr}{R}%
+ \ifcase\op@divmode\relax
+ \ifnum\count@ii<\op@maxdivstep\relax\else
+ \op@againfalse
+ \fi
+ \ifnum\count@i<0\relax%
+ \op@cmp{zero}{R}%
+ \ifopeq
+ \op@againfalse
+ \fi
+ \fi
+ \or
+ \ifnum\count@ii<\op@safedivstep\relax\else
+ \op@againfalse
+ \fi
+ \ifnum\count@i<-\op@lengthperiod\relax
+ \count@iv=\count@ii
+ \advance\count@iv by-\op@lengthperiod
+ \op@cmp{R\the\count@iv}{R\the\count@ii}%
+ \ifopeq
+ \op@againfalse
+ \fi
+ \fi
+ \or
+ \ifnum\count@i=-1
+ \op@againfalse
+ \fi
+ \fi
+ \repeat
+ \op@copy{zero}{T0}%
+ \advance\count@i by1\relax
+ \ifnum\count@i<0
+ \xdef\OP@dq@d{-\the\count@i}%
+ \count@z=\OP@dq@w
+ \advance\count@z by\count@i
+ \xdef\OP@dq@i{\the\count@z}%
+ \fi
+ \op@unzero{dq}%
+ \op@copy{dq}{#4}%
+ \op@unzero{dr}%
+ \op@copy{dr}{R}%
+ \op@rshift{1}{dr}%
+ \op@copy{dr}{R\the\count@ii}%
+ \count@i=\count@iii
+ \advance\count@i by1
+ \advance\count@i by\OP@dq@d\relax
+ \count@ii=\count@i
+ \advance\count@ii by\OP@R@w
+ \op@format{\the\count@ii}{0}{R}%
+ \count@z=\OP@R@w
+ \advance\count@z by-\count@i
+ \xdef\OP@R@i{\the\count@z}%
+ \xdef\OP@R@d{\the\count@i}%
+ \op@unzero{R}%
+ \op@copy{R}{#5}%
+ \endgroup
+}
+\def\op@powten#1#2{%
+ \begingroup
+ \count@z=#2\relax
+ \advance\count@z by-\@nameuse{OP@#1@d}%
+ \@namexdef{OP@#1@d}{0}%
+ \count@i=\@nameuse{OP@#1@w}%
+ \advance\count@i by\count@z
+ \@namexdef{OP@#1@w}{\the\count@i}%
+ \@namexdef{OP@#1@i}{\the\count@i}%
+ \count@ii=\count@i
+ \advance\count@ii by-\count@z
+ \loop
+ \ifnum\count@ii>0
+ \@namexdef{OP@#1@\the\count@i}{\@nameuse{OP@#1@\the\count@ii}}%
+ \advance\count@i by-1
+ \advance\count@ii by-1
+ \repeat
+ \loop
+ \ifnum\count@i>0
+ \@namexdef{OP@#1@\the\count@i}{0}%
+ \advance\count@i by-1
+ \repeat
+ \endgroup
+}
+\def\opdivperiod#1#2#3{%
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error\else
+ \op@unzero{a}%
+ \edef\OP@a@i{\OP@a@w}%
+ \def\OP@a@d{0}%
+ \def\OP@a@s{0}%
+ \op@unzero{b}%
+ \edef\OP@b@i{\OP@b@w}%
+ \def\OP@b@d{0}%
+ \def\OP@b@s{0}%
+ \op@cmp{a}{zero}%
+ \ifopeq
+ \op@unsplit{one}{#3}%
+ \else
+ \op@cmp{b}{zero}%
+ \ifopeq
+ \op@error{divisor must be nonzero}%
+ {You have to learn some math}%
+ \else
+ \op@cmp{a}{maxdivperiod}%
+ \ifopgt
+ \op@error{Arguments of \string\opdivperiod\space
+ must be less than 214748363}%
+ {Sorry}%
+ \else
+ \op@cmp{b}{maxdivperiod}%
+ \ifopgt
+ \op@error{Arguments of \string\opdivperiod\space
+ must be less than 214748363}%
+ {Sorry}%
+ \else
+ \op@unsplit{a}{@a}%
+ \op@unsplit{b}{@b}%
+ \op@divperiod{\Op@@a}{\Op@@b}{Op@@r}%
+ \opcopy{@r}{#3}%
+ \fi
+ \fi
+ \fi
+ \fi
+ \fi
+ \ifop@error\op@errorwrite\fi
+}
+\def\op@divperiod#1#2#3{%
+ \begingroup
+ \count@i=#1\relax
+ \count@ii=#2\relax
+ \ifnum\count@ii=0\relax
+ \@namexdef{#3}{1}%
+ \else
+ \op@gcd{\the\count@i}{\the\count@ii}{op@tmp}%
+ \count@iii=\op@tmp
+ \divide\count@ii by\count@iii
+ \op@twofiveQ{\the\count@ii}{op@tmp}%
+ \op@order{\op@tmp}{op@tmp}%
+ \@namexdef{#3}{\op@tmp}%
+ \fi
+ \endgroup
+}
+\def\opgcd#1#2#3{%
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error\else
+ \def\OP@a@s{0}%
+ \def\OP@b@s{0}%
+ \op@cmp{a}{zero}%
+ \ifopeq
+ \op@error{Arguments of \string\opgcd\space must be nonzero}%
+ {You have to learn some math}%
+ \else
+ \op@cmp{b}{zero}%
+ \ifopeq
+ \op@error{Arguments of \string\opgcd\space must be nonzero}%
+ {You have to learn some math}%
+ \else\ifnum\OP@a@d>0
+ \op@error{Arguments of \string\opgcd\space must be integer}%
+ {You have to learn some math}%
+ \else\ifnum\OP@b@d>0
+ \op@error{Arguments of \string\opgcd\space must be integer}%
+ {You have to learn some math}%
+ \else
+ \op@cmp{a}{maxinteger}%
+ \ifopgt
+ \op@error{Arguments of \string\opgcd\space must be less than
+ 2147483647}%
+ {Sorry}%
+ \else
+ \op@cmp{b}{maxinteger}%
+ \ifopgt
+ \op@error{Arguments of \string\opgcd\space must be less than
+ 2147483647}%
+ {Sorry}%
+ \else
+ \op@unsplit{a}{@a}%
+ \op@unsplit{b}{@b}%
+ \op@gcd{\Op@@a}{\Op@@b}{Op@@r}%
+ \opcopy{@r}{#3}%
+ \fi\fi\fi\fi\fi\fi
+ \fi
+ \ifop@error\op@errorwrite\fi
+}
+\def\op@gcd#1#2#3{%
+ \begingroup
+ \count@i=#1\relax
+ \count@ii=#2\relax
+ \loop
+ \count@iii=\count@i
+ \divide\count@iii by\count@ii
+ \multiply\count@iii by\count@ii
+ \advance\count@i by-\count@iii
+ \count@iii=\count@i\relax
+ \count@i=\count@ii\relax
+ \count@ii=\count@iii
+ \ifnum\count@ii>0
+ \repeat
+ \@namexdef{#3}{\the\count@i}%
+ \endgroup
+}
+\def\op@twofiveQ#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \loop
+ \count@ii=\count@i
+ \divide\count@ii by2
+ \multiply\count@ii by2
+ \ifnum\count@ii=\count@i
+ \divide\count@i by2
+ \repeat
+ \loop
+ \count@ii=\count@i
+ \divide\count@ii by5
+ \multiply\count@ii by5
+ \ifnum\count@ii=\count@i
+ \divide\count@i by5
+ \repeat
+ \@namexdef{#2}{\the\count@i}%
+ \endgroup
+}
+\def\op@order#1#2{%
+ \begingroup
+ \count@i=1\relax
+ \count@ii=0
+ \loop
+ \multiply\count@i by10
+ \count@iii=\count@i
+ \divide\count@iii by#1\relax
+ \multiply\count@iii by#1\relax
+ \advance\count@i by-\count@iii
+ \advance\count@ii by1
+ \ifnum\count@i>1
+ \repeat
+ \@namexdef{#2}{\the\count@ii}
+ \endgroup
+}
+\def\op@leftdividend#1{%
+ \begingroup
+ \count@z=#1\relax
+ \count@i=\OP@da@w
+ \xdef\OP@R@w{\the\count@z}%
+ \xdef\OP@R@i{\the\count@z}%
+ \loop
+ \@namexdef{OP@R@\the\count@z}{\@nameuse{OP@da@\the\count@i}}%
+ \advance\count@i by-1
+ \advance\count@z by-1
+ \ifnum\count@z>0
+ \repeat
+ \endgroup
+}
+\def\op@multen#1{%
+ \begingroup
+ \count@z=\@nameuse{OP@#1@w}\relax
+ \count@i=\count@z
+ \advance\count@i by1
+ \@namexdef{OP@#1@w}{\the\count@i}%
+ \@namexdef{OP@#1@i}{\the\count@i}%
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@#1@\the\count@i}{\@nameuse{OP@#1@\the\count@z}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \@namexdef{OP@#1@1}{0}%
+ \endgroup
+}
+\def\op@mulpowerten#1#2{%
+ \begingroup
+ \ifnum\@nameuse{OP@#1@d}<#2\relax
+ \count@z=#2\relax
+ \advance\count@z by-\@nameuse{OP@#1@d}\relax
+ \count@ii=\@nameuse{OP@#1@w}%
+ \count@i=\@nameuse{OP@#1@w}%
+ \advance\count@i by\count@z
+ \@namexdef{OP@#1@w}{\the\count@i}%
+ \@namexdef{OP@#1@i}{\the\count@i}%
+ \@namexdef{OP@#1@d}{0}%
+ \loop
+ \ifnum\count@ii>0
+ \@namexdef{OP@#1@\the\count@i}{\@nameuse{OP@#1@\the\count@ii}}%
+ \advance\count@i by-1
+ \advance\count@ii by-1
+ \repeat
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@#1@\the\count@z}{0}%
+ \advance\count@z by-1\relax
+ \repeat
+ \else
+ \count@z=\@nameuse{OP@#1@d}\relax
+ \advance\count@z by-#2\relax
+ \@namexdef{OP@#1@d}{\the\count@z}%
+ \count@z=\@nameuse{OP@#1@i}\relax
+ \advance\count@z by#2\relax
+ \@namexdef{OP@#1@i}{\the\count@z}%
+ \fi
+ \op@unzero{#1}%
+ \endgroup
+}
+\def\op@divpowerten#1#2{%
+ \begingroup
+ \ifnum\@nameuse{OP@#1@i}>#2\relax
+ \count@z=\@nameuse{OP@#1@d}\relax
+ \advance\count@z by#2\relax
+ \@namexdef{OP@#1@d}{\the\count@z}%
+ \count@z=\@nameuse{OP@#1@i}\relax
+ \advance\count@z by-#2\relax
+ \@namexdef{OP@#1@i}{\the\count@z}%
+ \else
+ \count@z=\@nameuse{OP@#1@d}\relax
+ \advance\count@z by#2\relax
+ \@namexdef{OP@#1@d}{\the\count@z}%
+ \@namexdef{OP@#1@i}{1}%
+ \advance\count@z by1\relax
+ \count@i=\@nameuse{OP@#1@w}%
+ \@namexdef{OP@#1@w}{\the\count@z}%
+ \advance\count@z by1
+ \loop
+ \ifnum\count@i<\count@z
+ \advance\count@i by1
+ \@namexdef{OP@#1@\the\count@i}{0}%
+ \repeat
+ \fi
+ \op@unzero{#1}%
+ \endgroup
+}
+\def\op@tableextract#1{%
+ \op@cmp{#1}{T5}%
+ \ifopge \op@cmp{#1}{T7}%
+ \ifopge \op@cmp{#1}{T8}%
+ \ifopge \op@cmp{#1}{T9}%
+ \ifopge \gdef\op@k{9}%
+ \else \gdef\op@k{8}%
+ \fi
+ \else \gdef\op@k{7}%
+ \fi
+ \else \op@cmp{#1}{T6}%
+ \ifopge \gdef\op@k{6}%
+ \else \gdef\op@k{5}%
+ \fi
+ \fi
+ \else \op@cmp{#1}{T2}%
+ \ifopge \op@cmp{#1}{T3}%
+ \ifopge \op@cmp{#1}{T4}%
+ \ifopge \gdef\op@k{4}%
+ \else \gdef\op@k{3}%
+ \fi
+ \else \gdef\op@k{2}%
+ \fi
+ \else \op@cmp{#1}{T1}%
+ \ifopge \gdef\op@k{1}%
+ \else \gdef\op@k{0}%
+ \fi
+ \fi
+ \fi
+}
+\def\opwidth#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \@namexdef{Op@#2}{\OP@a@w}%
+ \fi
+}
+\def\opintegerwidth#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \@namexdef{Op@#2}{\OP@a@i}%
+ \fi
+}
+\def\opdecimalwidth#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \@namexdef{Op@#2}{\OP@a@d}%
+ \fi
+}
+\def\opinteger#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@integer{a}{b}%
+ \op@unsplit{b}{#2}%
+ \fi
+}
+\def\op@integer#1#2{%
+ \begingroup
+ \op@unzero{#1}%
+ \count@z=\@nameuse{OP@#1@d}\relax
+ \ifnum\count@z>0\relax
+ \count@i=0
+ \loop
+ \ifnum\count@z<\@nameuse{OP@#1@w}%
+ \advance\count@z by1\relax
+ \advance\count@i by1\relax
+ \@namexdef{OP@#2@\the\count@i}{\@nameuse{OP@#1@\the\count@z}}%
+ \repeat
+ \@namexdef{OP@#2@w}{\the\count@i}%
+ \@namexdef{OP@#2@i}{\the\count@i}%
+ \@namexdef{OP@#2@d}{0}%
+ \else
+ \op@copy{#1}{#2}%
+ \fi
+ \@namexdef{OP@#2@s}{0}%
+ \endgroup
+}
+\def\opdecimal#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@decimal{a}{b}%
+ \op@unsplit{b}{#2}%
+ \fi
+}
+\def\op@decimal#1#2{%
+ \op@unzero{#1}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\@nameuse{OP@#1@d}=0\relax
+ \op@copy{zero}{#2}%
+ \else
+ \op@copy{#1}{#2}%
+ \@namexdef{OP@#2@i}{\@nameuse{OP@#1@d}}%
+ \@namexdef{OP@#2@w}{\@nameuse{OP@#1@d}}%
+ \@namexdef{OP@#2@d}{0}%
+ \@namexdef{OP@#2@s}{0}%
+ \fi
+ \fi
+}
+\def\opgetdigit#1#2#3{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\@nameuse{OP@a@w}>#2\relax
+ \@namexdef{Op@#3}{\@nameuse{OP@a@#2}}%
+ \else
+ \@namexdef{Op@#3}{0}%
+ \fi
+ \fi
+}
+\def\opsetdigit#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{b}{@b}%
+ \@namexdef{OP@a@#2}{\Op@@b}%
+ \ifnum\OP@a@w<#2\relax
+ \count@z=\OP@a@w\relax
+ \advance\count@z by1\relax
+ \loop
+ \ifnum\count@z<#2\relax
+ \@namexdef{OP@a@\the\count@z}{0}%
+ \advance\count@z by1
+ \repeat
+ \xdef\OP@a@w{#2}%
+ \count@z=#2\relax
+ \advance\count@z by-\OP@a@d
+ \xdef\OP@a@i{\the\count@z}%
+ \fi
+ \op@unsplit{a}{#1}%
+ \fi
+ \endgroup
+}
+\def\opgetintegerdigit#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \count@z=\OP@a@d
+ \advance\count@z by#2\relax
+ \ifnum\OP@a@w>\count@z\relax
+ \@namexdef{Op@#3}{\@nameuse{OP@a@\the\count@z}}%
+ \else
+ \@namexdef{Op@#3}{0}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\opsetintegerdigit#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{b}{@b}%
+ \count@z=\OP@a@d
+ \advance\count@z by#2\relax
+ \@namexdef{OP@a@\the\count@z}{\Op@@b}%
+ \ifnum\OP@a@w>\count@z\relax\else
+ \count@i=\OP@a@w
+ \xdef\OP@a@w{\the\count@z}%
+ \advance\count@i by1
+ \loop
+ \ifnum\count@i<\count@z
+ \@namexdef{OP@a@\the\count@i}{0}%
+ \advance\count@i by1
+ \repeat
+ \advance\count@z by-\OP@a@d
+ \xdef\OP@a@i{\the\count@z}%
+ \fi
+ \op@unsplit{a}{#1}%
+ \fi
+ \endgroup
+}
+\def\opgetdecimaldigit#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\OP@a@d<#2\relax
+ \@namexdef{Op@#3}{0}%
+ \else
+ \count@z=\OP@a@d
+ \advance\count@z by-#2\relax
+ \advance\count@z by1
+ \@namexdef{Op@#3}{\@nameuse{OP@a@\the\count@z}}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\opsetdecimaldigit#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#3}{b}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{b}{@b}%
+ \ifnum\OP@a@d<\Op@@b\relax
+ \count@z=\Op@@b
+ \advance\count@z by-\OP@a@d
+ \advance\count@z by1\relax
+ \count@i=\OP@a@w
+ \advance\count@i by\count@z\relax
+ \count@z=\OP@a@w
+ \xdef\OP@a@w{\the\count@i}%
+ \xdef\OP@a@d{\Op@@b}%
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@a@\the\count@i}{\@nameuse{OP@a@\the\count@z}}%
+ \advance\count@z by-1
+ \advance\count@i by-1
+ \repeat
+ \loop
+ \ifnum\count@i>1
+ \@namexdef{OP@a@\the\count@i}{0}%
+ \advance\count@i by-1
+ \repeat
+ \@namexdef{OP@a@1}{\Op@@b}%
+ \else
+ \count@z=\OP@a@d
+ \advance\count@z by-#2\relax
+ \advance\count@z by1
+ \@namexdef{OP@a@\the\count@z}{\Op@@b}%
+ \fi
+ \op@unsplit{a}{#1}%
+ \fi
+ \endgroup
+}
+\def\opcastingoutnines#1#2{%
+ \begingroup
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \count@z=\OP@a@w\relax
+ \count@i=0\relax
+ \loop
+ \ifnum\count@z>0
+ \advance\count@i by\@nameuse{OP@a@\the\count@z}\relax
+ \ifnum\count@i>8
+ \advance\count@i by-9
+ \fi
+ \advance\count@z by-1
+ \repeat
+ \opcopy{\the\count@i}{#2}%
+ \fi
+ \endgroup
+}
+\def\opcastingoutelevens#1#2{%
+ \begingroup
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \count@ii=\OP@a@w
+ \advance\count@ii by1\relax
+ \count@i=0\relax
+ \count@z=-1\relax
+ \loop
+ \advance\count@z by2\relax
+ \ifnum\count@z<\count@ii
+ \advance\count@i by\@nameuse{OP@a@\the\count@z}\relax
+ \ifnum\count@i>10
+ \advance\count@i by-11
+ \fi
+ \repeat
+ \count@z=0\relax
+ \loop
+ \advance\count@z by2\relax
+ \ifnum\count@z<\count@ii
+ \advance\count@i by-\@nameuse{OP@a@\the\count@z}\relax
+ \ifnum\count@i<0
+ \advance\count@i by11
+ \fi
+ \repeat
+ \opcopy{\the\count@i}{#2}%
+ \fi
+ \endgroup
+}
+\def\opneg#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@neg{a}{b}%
+ \op@unsplit{b}{#2}%
+ \fi
+}
+\def\op@neg#1#2{%
+ \begingroup
+ \op@copy{#1}{#2}%
+ \op@againfalse
+ \ifnum\@nameuse{OP@#2@d}>0
+ \op@againtrue
+ \else\ifnum\@nameuse{OP@#2@i}>1
+ \op@againtrue
+ \else\ifnum\@nameuse{OP@#2@1}>0
+ \op@againtrue
+ \fi\fi\fi
+ \ifop@again
+ \count@z=1
+ \advance\count@z by-\@nameuse{OP@#2@s}\relax
+ \@namexdef{OP@#2@s}{\the\count@z}%
+ \fi
+ \endgroup
+}
+\def\opabs#1#2{%
+ \op@split{#1}{a}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \xdef\OP@a@s{0}%
+ \op@unsplit{a}{#2}%
+ \fi
+}
+\def\oppower#1#2#3{%
+ \begingroup
+ \op@split{#1}{a}%
+ \op@split{#2}{b}%
+ \ifop@error\else
+ \op@unsplit{a}{@a}%
+ \op@unsplit{b}{@b}%
+ \ifnum\OP@b@d>0
+ \op@error{Exponent must be an integer}%
+ {You can't use \string\oppower\space with non integer
+ exponent}%
+ \else
+ \op@cmp{a}{zero}%
+ \ifopeq
+ \op@cmp{b}{zero}%
+ \ifopeq
+ \opcopy{1}{#3}%
+ \else\ifopgt
+ \opcopy{0}{#3}%
+ \else
+ \op@error{Power of zero with negative exponent is an
+ error}%
+ {Remember that negative exponent involve inverse}%
+ \fi\fi
+ \else
+ \op@cmp{b}{zero}%
+ \ifoplt
+ \xdef\OP@b@s{0}%
+ \op@unsplit{b}{@b}%
+ \opdiv*{1}{@a}{@a}%
+ \fi
+ \op@cmp{b}{maxpower}%
+ \ifopgt
+ \op@error{Exponent is too big (>1073741824)}%
+ {Sorry}%
+ \else
+ \count@z=0
+ \@namexdef{Op@@e0}{1}%
+ \xdef\Op@@tmp{1}%
+ \@namexdef{Op@@p0}{\Op@@a}%
+ \@namexdef{Op@@ptmp}{\@nameuse{Op@@p0}}%
+ \loop
+ \ifnum\@nameuse{Op@@e\the\count@z}<\Op@@b
+ \opadd*{@tmp}{@tmp}{@@tmp}%
+ \opmul*{@ptmp}{@ptmp}{@@ptmp}%
+ \advance\count@z by1
+ \xdef\Op@@tmp{\Op@@@tmp}%
+ \xdef\Op@@ptmp{\Op@@@ptmp}%
+ \@namexdef{Op@@e\the\count@z}{\Op@@@tmp}%
+ \@namexdef{Op@@p\the\count@z}{\Op@@@ptmp}%
+ \repeat
+ \opcopy{1}{@r}%
+ \loop
+ \ifnum\Op@@b>0\relax
+ \ifnum\Op@@b<\@nameuse{Op@@e\the\count@z}\relax
+ \else
+ \opmul*{@r}{@p\the\count@z}{@r}%
+ \opsub*{@b}{@e\the\count@z}{@b}%
+ \fi
+ \advance\count@z by-1
+ \repeat
+ \opcopy{@r}{#3}%
+ \fi
+ \fi
+ \fi
+ \fi
+ \ifop@error\op@errorwrite\fi
+ \endgroup
+}
+\def\opfloor#1#2#3{%
+ \op@split{#1}{fa}%
+ \op@split{#2}{fb}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\OP@fa@s=1
+ \xdef\OP@fa@s{0}%
+ \op@ceil{fa}{fb}%
+ \xdef\OP@fa@s{1}%
+ \else
+ \op@floor{fa}{fb}%
+ \fi
+ \op@unsplit{fa}{#3}%
+ \fi
+}
+\def\opround#1#2#3{%
+ \op@split{#1}{ra}%
+ \op@split{#2}{rb}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \op@unsplit{ra}{@ra}%
+ \op@unsplit{rb}{@rb}%
+ \ifnum\Op@@rb<0\relax
+ \opneg{@rb}{@rb}%
+ \ifnum\Op@@rb<\@nameuse{OP@ra@i}\relax
+ \else
+ \count@z=\@nameuse{OP@ra@i}%
+ \advance\count@z by-1
+ \xdef\Op@@rb{\the\count@z}%
+ \fi
+ \opneg{@rb}{@rb}%
+ \fi
+ \oppower{0.1}{@rb}{@rr}%
+ \opmul*{0.5}{@rr}{@rr}%
+ \ifnum\OP@ra@s=0\relax
+ \opadd*{@ra}{@rr}{@ra}%
+ \opfloor{@ra}{#2}{#3}%
+ \else
+ \opneg{@ra}{@ra}%
+ \opadd*{@ra}{@rr}{@ra}%
+ \opfloor{@ra}{#2}{@ra}%
+ \opneg{@ra}{#3}%
+ \fi
+ \fi
+}
+\def\opceil#1#2#3{%
+ \op@split{#1}{ca}%
+ \op@split{#2}{cb}%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \ifnum\OP@ca@s=1
+ \xdef\OP@ca@s{0}%
+ \op@floor{ca}{cb}%
+ \xdef\OP@ca@s{1}%
+ \else
+ \op@ceil{ca}{cb}%
+ \fi
+ \op@unsplit{ca}{#3}%
+ \fi
+}
+\def\op@floor#1#2{%
+ \begingroup
+ \op@unsplit{#2}{@fb}%
+ \op@unzero{#1}%
+ \count@z=\Op@@fb\relax
+ \ifnum\count@z<0
+ \count@z=-\count@z
+ \ifnum\count@z<\@nameuse{OP@#1@i}\relax\else
+ \count@z=\@nameuse{OP@#1@i}%
+ \advance\count@z by-1
+ \fi
+ \op@integer{#1}{#1}%
+ \loop
+ \ifnum\count@z>0
+ \@namexdef{OP@#1@\the\count@z}{0}%
+ \advance\count@z by-1\relax
+ \repeat
+ \else
+ \ifnum\count@z>\@nameuse{OP@#1@d}%
+ \advance\count@z by-\@nameuse{OP@#1@d}%
+ \count@i=\@nameuse{OP@#1@d}%
+ \advance\count@i by\count@z
+ \@namexdef{OP@#1@d}{\the\count@i}%
+ \count@i=\@nameuse{OP@#1@w}\relax
+ \count@ii=\count@i
+ \advance\count@ii by\count@z
+ \@namexdef{OP@#1@w}{\the\count@ii}%
+ \loop
+ \ifnum\count@i>0
+ \@namexdef{OP@#1@\the\count@ii}{\@nameuse{OP@#1@\the\count@i}}%
+ \advance\count@i by-1
+ \advance\count@ii by-1
+ \repeat
+ \loop
+ \ifnum\count@ii>0
+ \@namexdef{OP@#1@\the\count@ii}{0}%
+ \advance\count@ii by-1
+ \repeat
+ \else
+ \advance\count@z by-\@nameuse{OP@#1@d}\relax
+ \count@z=-\count@z\relax
+ \count@i=\@nameuse{OP@#1@w}\relax
+ \count@ii=\count@i\relax
+ \advance\count@i by-\count@z
+ \@namexdef{OP@#1@w}{\the\count@i}\relax
+ \count@i=\@nameuse{OP@#1@d}\relax
+ \advance\count@i by-\count@z
+ \@namexdef{OP@#1@d}{\the\count@i}%
+ \count@i=0\relax
+ \loop
+ \ifnum\count@z<\count@ii
+ \advance\count@z by1\relax
+ \advance\count@i by1
+ \@namexdef{OP@#1@\the\count@i}{\@nameuse{OP@#1@\the\count@z}}%
+ \repeat
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@ceil#1#2{%
+ \op@unsplit{#1}{@Ca}%
+ \op@unsplit{#2}{@Cb}%
+ \op@unzero{#1}%
+ \count@z=\Op@@Cb\relax
+ \ifnum\count@z>0\relax
+ \ifnum\count@z<\@nameuse{OP@#1@d}\relax
+ \oppower{0.1}{\the\count@z}{@Cr}%
+ \opadd*{@Ca}{@Cr}{@Ca}%
+ \op@split{@Ca}{#1}%
+ \op@split{@Cb}{#2}%
+ \op@floor{#1}{#2}%
+ \else
+ \op@split{@Ca}{#1}%
+ \op@split{@Cb}{#2}%
+ \op@floor{#1}{#2}%
+ \fi
+ \else
+ \opneg{@Cb}{@Cb}%
+ \count@z=-\count@z\relax
+ \ifnum\count@z<\@nameuse{OP@#1@i}\relax
+ \oppower{10}{\the\count@z}{@Cr}%
+ \else
+ \count@z=\@nameuse{OP@#1@i}%
+ \advance\count@z by-1
+ \oppower{10}{\the\count@z}{@Cr}%
+ \fi
+ \opadd*{@Ca}{@Cr}{@Ca}%
+ \opneg{@Cb}{@Cb}%
+ \op@split{@Ca}{#1}%
+ \op@split{@Cb}{#2}%
+ \op@floor{#1}{#2}%
+ \fi
+}
+\edef\opHatCode{\the\catcode`\^}
+\catcode`\^=12\relax
+\def\opexpr{\@ifnextchar[{\op@exprarg}{\op@exprarg[nil]}}
+\def\op@exprarg[#1]{%
+ \opset{#1}%
+ \begingroup
+ \catcode`\^=12
+ \catcode`*=12
+ \catcode`/=12
+ \catcode`:=12
+ \catcode`+=12
+ \catcode`-=12
+ \catcode`.=12
+ \catcode`,=12
+ \catcode`(=12
+ \catcode`)=12
+ \catcode`\ =12
+ \op@expr
+}
+\def\op@expr#1{%
+ \ifop@error
+ \op@errorwrite
+ \else
+ \xdef\op@expression{#1}\endgroup
+ \ifx\op@expression\empty
+ \op@error{Empty expression is not valid}%
+ {I say: "empty expression is not valid"}%
+ \else
+ \expandafter\op@scan@line\expandafter{\op@expression}%
+ \@ifundefined{OP@token\the\op@token}%
+ {\global\advance\op@token by-1}%
+ {\relax}%
+ \global\op@stack=0
+ \op@search@term{1}{\the\op@token}%
+ \fi
+ \fi
+ \op@@expr
+}
+\def\op@@expr#1{%
+ \ifnum\op@stack=1
+ \ifop@error
+ \op@errorwrite
+ \else
+ \opcopy{@s1}{#1}%
+ \fi
+ \else
+ \op@error{Bad expression (not enough operator or operand)}%
+ {Expression like 2 + 3 3 or 3 * 5 *}%
+ \op@errorwrite
+ \fi
+}
+\def\op@scan@line{%
+ \begingroup
+ \global\op@parenthesis=0
+ \global\op@token=1
+ \global\op@in@numberfalse
+ \global\op@in@decimalfalse
+ \global\op@in@namefalse
+ \global\op@in@signtrue
+ \catcode`\^=12
+ \catcode`*=12
+ \catcode`/=12
+ \catcode`:=12
+ \catcode`+=12
+ \catcode`-=12
+ \catcode`.=12
+ \catcode`,=12
+ \catcode`(=12
+ \catcode`)=12
+ \catcode`\ =12
+ \op@scan@@line
+}
+\def\op@scan@@line#1{\op@scan@@@line#1\@nil\endgroup}
+\def\op@scan@@@line#1#2\@nil{%
+ \op@testch@r{#1}%
+ \ifop@isdigit
+ \global\op@in@signfalse
+ \ifop@in@number
+ \op@token@append{#1}%
+ \else\ifop@in@name
+ \op@token@append{#1}%
+ \else
+ \op@in@numbertrue
+ \op@token@create{#1}%
+ \fi\fi
+ \fi
+ \ifop@isplus
+ \op@token@single{\op@string@add}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isminus
+ \op@token@single{\op@string@sub}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@ismultiply
+ \op@token@single{\op@string@mul}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isdivide
+ \op@token@single{\op@string@div}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isidivide
+ \op@token@single{\op@string@idiv}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@ispower
+ \op@token@single{\op@string@power}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isdot
+ \global\op@in@signfalse
+ \ifop@in@decimal
+ \op@error{Number width multiple decimal separators}%
+ {You write something like 12.34.56}%
+ \else\ifop@in@number
+ \op@in@decimaltrue
+ \op@token@append{.}%
+ \else
+ \op@token@create{.}%
+ \op@in@numbertrue
+ \op@in@decimaltrue
+ \fi\fi
+ \fi
+ \ifop@islparenthesis
+ \op@token@single{(}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isrparenthesis
+ \op@token@single{)}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@iscomma
+ \op@token@single{,}%
+ \global\op@in@signtrue
+ \fi
+ \ifop@isspace
+ \ifop@in@number
+ \op@in@numberfalse
+ \op@in@decimalfalse
+ \global\advance\op@token by1
+ \else\ifop@in@name
+ \op@in@namefalse
+ \global\advance\op@token by1
+ \fi\fi
+ \fi
+ \ifop@isother
+ \global\op@in@signfalse
+ \ifop@in@name
+ \op@token@append{#1}%
+ \else\ifop@in@number
+ \op@in@numberfalse
+ \op@in@decimalfalse
+ \op@in@nametrue
+ \global\advance\op@token by1
+ \op@token@create{#1}%
+ \else
+ \op@in@nametrue
+ \op@token@create{#1}%
+ \fi\fi
+ \fi
+ \def\@tempa{#2}%
+ \ifx\empty\@tempa
+ \let\next\relax
+ \else
+ \let\next\op@scan@@@line
+ \fi
+ \expandafter\next\@tempa\@nil
+}
+\def\op@search@subexpr#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@v=#2\relax
+ \ifnum\count@i=\count@v
+ \op@token@use{#1}%
+ \else
+ \count@iii=\count@v
+ \count@iv=\count@i
+ \advance\count@iv by-1
+ \count@ii=0
+ \loop
+ \ifnum\count@iii>\count@iv
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@rpar\relax
+ \advance\op@parenthesis by1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@lpar\relax
+ \advance\op@parenthesis by-1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@comma\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \advance\count@iii by-1
+ \repeat
+ \ifnum\count@ii=0\relax
+ \ifnum\op@parenthesis=0
+ \op@search@term{\the\count@i}{\the\count@v}%
+ \else
+ \op@error{Unbalanced parenthesis in expression}%
+ {Error between tokens #1 and #2}%
+ \fi
+ \else
+ \advance\count@ii by-1
+ \op@search@subexpr{\the\count@i}{\the\count@ii}%
+ \advance\count@ii by2
+ \op@search@subexpr{\the\count@ii}{\the\count@v}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@search@term#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@v=#2\relax
+ \ifnum\count@i=\count@v
+ \op@token@use{#1}%
+ \else
+ \count@iii=\count@v
+ \count@iv=\count@i
+ \advance\count@iv by-1
+ \count@ii=0\relax
+ \loop
+ \ifnum\count@iii>\count@iv\relax
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@rpar\relax
+ \advance\op@parenthesis by1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@lpar\relax
+ \advance\op@parenthesis by-1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@add\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@sub\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \advance\count@iii by-1
+ \repeat
+ \ifnum\count@ii=0\relax
+ \ifnum\op@parenthesis=0
+ \op@search@factor{\the\count@i}{\the\count@v}%
+ \else
+ \op@error{Unbalanced parenthesis in expression}%
+ {Error between tokens #1 and #2}%
+ \fi
+ \else
+ \advance\count@ii by-1
+ \op@search@term{\the\count@i}{\the\count@ii}%
+ \advance\count@ii by2
+ \op@search@term{\the\count@ii}{\the\count@v}%
+ \advance\count@ii by-1
+ \op@token@use{\the\count@ii}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@search@factor#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@v=#2\relax
+ \ifnum\count@i=\count@v
+ \op@token@use{#1}%
+ \else
+ \count@iii=\count@v
+ \count@iv=\count@i
+ \advance\count@iv by-1
+ \count@ii=0
+ \loop
+ \ifnum\count@iii>\count@iv
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@rpar\relax
+ \advance\op@parenthesis by1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@lpar\relax
+ \advance\op@parenthesis by-1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@mul\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@div\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@idiv\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \advance\count@iii by-1
+ \repeat
+ \ifnum\count@ii=0\relax
+ \ifnum\op@parenthesis=0
+ \op@search@power{\the\count@i}{\the\count@v}%
+ \else
+ \op@error{Unbalanced parenthesis in expression}%
+ {Error between tokens #1 and #2}%
+ \fi
+ \else
+ \advance\count@ii by-1
+ \op@search@factor{\the\count@i}{\the\count@ii}%
+ \advance\count@ii by2
+ \op@search@factor{\the\count@ii}{\the\count@v}%
+ \advance\count@ii by-1
+ \op@token@use{\the\count@ii}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@search@power#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@v=#2\relax
+ \ifnum\count@i=\count@v
+ \op@token@use{#1}%
+ \else
+ \count@iii=\count@v
+ \count@iv=\count@i
+ \advance\count@iv by-1
+ \count@ii=0
+ \loop
+ \ifnum\count@iii>\count@iv
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@rpar\relax
+ \advance\op@parenthesis by1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@lpar\relax
+ \advance\op@parenthesis by-1
+ \fi
+ \expandafter\ifx\csname OP@token\the\count@iii\endcsname
+ \op@string@power\relax
+ \ifnum\op@parenthesis=0
+ \count@ii=\count@iii\relax
+ \count@iii=0
+ \fi
+ \fi
+ \advance\count@iii by-1
+ \repeat
+ \ifnum\count@ii=0\relax
+ \ifnum\op@parenthesis=0
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \else
+ \op@error{Unbalanced parenthesis in expression}%
+ {Error between tokens #1 and #2}%
+ \fi
+ \else
+ \advance\count@ii by-1
+ \op@search@power{\the\count@i}{\the\count@ii}%
+ \advance\count@ii by2
+ \op@search@power{\the\count@ii}{\the\count@v}%
+ \advance\count@ii by-1
+ \op@token@use{\the\count@ii}%
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@search@primary#1#2{%
+ \begingroup
+ \count@i=#1\relax
+ \count@v=#2\relax
+ \ifnum\count@i=\count@v
+ \op@token@use{#1}%
+ \else
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@abs
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@ceil
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@decimal
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@floor
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@integer
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@gcd
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@mod
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@neg
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@rest
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname\op@string@round
+ \advance\count@i by1
+ \op@search@primary{\the\count@i}{\the\count@v}%
+ \advance\count@i by-1
+ \op@token@use{\the\count@i}%
+ \fi
+ \expandafter\ifx\csname OP@token#1\endcsname
+ \op@string@lpar\relax
+ \expandafter\ifx\csname OP@token#2\endcsname
+ \op@string@rpar\relax
+ \advance\count@i by1
+ \advance\count@v by-1
+ \op@search@subexpr{\the\count@i}{\the\count@v}%
+ \else
+ \op@error{Garbage after parenthesis}%
+ {Error between tokens #1 and #2}%
+ \fi
+ \fi
+ \fi
+ \endgroup
+}
+\def\op@token@use#1{%
+ \edef\op@arg{\@nameuse{OP@token#1}}%
+ \ifx\op@arg\op@string@abs
+ \opabs{@s\the\op@stack}{@s\the\op@stack}%
+ \else\ifx\op@arg\op@string@add
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opadd*{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@ceil
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opceil{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@decimal
+ \opdecimal{@s\the\op@stack}{@s\the\op@stack}%
+ \else\ifx\op@arg\op@string@div
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opdiv*{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}{r}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@floor
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opfloor{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@gcd
+ \op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opgcd{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@idiv
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opidiv*{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}{r}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@integer
+ \opinteger{@s\the\op@stack}{@s\the\op@stack}%
+ \else\ifx\op@arg\op@string@mod
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opidiv*{@s\the\op@stackb}{@s\the\op@stack}{@q}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@mul
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opmul*{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@neg
+ \opneg{@s\the\op@stack}{@s\the\op@stack}%
+ \else\ifx\op@arg\op@string@power
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \oppower{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@rest
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opdiv*{@s\the\op@stackb}{@s\the\op@stack}{@q}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@round
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opround{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else\ifx\op@arg\op@string@sub
+ \global\op@stackb=\op@stack
+ \global\advance\op@stackb by-1
+ \opsub*{@s\the\op@stackb}{@s\the\op@stack}{@s\the\op@stackb}%
+ \global\op@stack=\op@stackb
+ \else
+ \global\advance\op@stack by1\relax
+ \opcopy{\op@arg}{@s\the\op@stack}%
+ \fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi
+}
+\def\op@token@create#1{%
+ \@namexdef{OP@token\the\op@token}{#1}%
+ \global\advance\op@token by1
+ \expandafter\global
+ \expandafter\let\csname OP@token\the\op@token\endcsname\relax
+ \global\advance\op@token by-1
+}
+\def\op@token@append#1{%
+ \@namexdef{OP@token\the\op@token}{%
+ \@nameuse{OP@token\the\op@token}#1}%
+}
+\def\op@token@single#1{%
+ \edef\@tempa{#1}%
+ \ifop@in@name
+ \global\advance\op@token by1
+ \op@in@namefalse
+ \fi
+ \ifop@in@number
+ \global\advance\op@token by1
+ \op@in@numberfalse
+ \op@in@decimalfalse
+ \fi
+ \ifx\@tempa\op@string@add
+ \ifop@in@sign
+ \global\advance\op@token by-1
+ \else
+ \op@token@create{#1}%
+ \fi
+ \else\ifx\@tempa\op@string@sub
+ \ifop@in@sign
+ \op@token@create{\op@string@neg}%
+ \else
+ \op@token@create{#1}%
+ \fi
+ \else
+ \op@token@create{#1}%
+ \fi\fi
+ \global\advance\op@token by1
+}
+\def\op@testch@r#1{%
+ \op@isdigitfalse
+ \op@isplusfalse
+ \op@isminusfalse
+ \op@ismultiplyfalse
+ \op@isdividefalse
+ \op@isidividefalse
+ \op@ispowerfalse
+ \op@isdotfalse
+ \op@iscommafalse
+ \op@islparenthesisfalse
+ \op@isrparenthesisfalse
+ \op@isspacefalse
+ \op@isotherfalse
+ \count255=`#1\relax
+ \ifnum\count255=\op@plus \relax
+ \op@isplustrue
+ \else \ifnum\count255=\op@minus \relax
+ \op@isminustrue
+ \else \ifnum\count255=\op@multiply \relax
+ \op@ismultiplytrue
+ \else \ifnum\count255=\op@divide \relax
+ \op@isdividetrue
+ \else \ifnum\count255=\op@idivide \relax
+ \op@isidividetrue
+ \else \ifnum\count255=\op@pow \relax
+ \op@ispowertrue
+ \else \ifnum\count255=\op@dot \relax
+ \op@isdottrue
+ \else \ifnum\count255=\op@comma \relax
+ \op@iscommatrue
+ \else \ifnum\count255=\op@lparenthesis \relax
+ \op@islparenthesistrue
+ \else \ifnum\count255=\op@rparenthesis \relax
+ \op@isrparenthesistrue
+ \else \ifnum\count255=\op@space \relax
+ \op@isspacetrue
+ \else \ifnum\count255<\op@numbegin \relax
+ \op@isothertrue
+ \else \ifnum\count255>\op@numend \relax
+ \op@isothertrue
+ \else \op@isdigittrue
+ \fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi
+}
+\op@split{0}{T0}
+\op@split{0}{zero}
+\op@split{1}{one}
+\op@split{10}{ten}
+\op@split{0.1}{tenth}
+\op@split{2147483647}{maxinteger}
+\op@split{214748364}{maxdivperiod}
+\op@split{1073741823}{maxpower}
+\catcode`\^=\opHatCode\relax
+\catcode`\@=\opAtCode\relax
+\endinput