\newcount\@temp@inti \newcount\@temp@intii \@lisp@env@add@global\+{\@tlabel@func{\@lisp@func@check@args{*}{\@temp@inti0\relax\@arith@plus}}} \def\@arith@plus#1#2#3{% \ifx#2\relax \let\@next@plus\@@arith@pm@fin \else\ifx#2\@tlabel@int \advance\@temp@inti#3\relax \let\@next@plus\@arith@plus \else \let\@next@plus\@arith@type@error \fi\fi\@next@plus#1} \@lisp@env@add@global\*{\@tlabel@func{\@lisp@func@check@args{*}{\@temp@inti1\relax\@arith@mul}}} \def\@arith@mul#1#2#3{% \ifx#2\relax \let\@next@mul\@@arith@pm@fin \else\ifx#2\@tlabel@int \multiply\@temp@inti#3\relax \let\@next@mul\@arith@mul \else \let\@next@mul\@arith@type@error \fi\fi\@next@mul#1} \def\@@arith@pm@fin#1{\expandafter\gdef \expandafter#1\expandafter{% \expandafter\@tlabel@int\expandafter{\the\@temp@inti}}} \def\@arith@type@error#1#2\relax{% notice #2 is dust \gdef#1{\@tlabel@exception{{-1}% {\@tlabel@string{arithmetical functions takes integer only.}}}}} \@lisp@env@add@global\-{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@minus}}} %TODO: error handling of 1st argument \def\@arith@minus#1#2#3#4#5{% \@temp@inti#3\relax \ifx#4\relax \multiply\@temp@inti-1\relax \let\@next@minus\@@arith@pm@fin \else\ifx#4\@tlabel@int \let\@next@minus\@@arith@minus \else \let\@next@minus\@arith@type@error \fi\fi\@next@minus#1#4{#5}} \def\@@arith@minus#1#2#3{% \ifx#2\relax \let\@next@minus\@@arith@pm@fin \else\ifx#2\@tlabel@int \@temp@intii#3\relax % #3 < 0 \advance\@temp@inti-\@temp@intii\relax \let\@next@minus\@@arith@minus \else \let\@next@minus\@arith@type@error \fi\fi\@next@minus#1} \@lisp@env@add@global\/{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@div}}} %TODO: error handling of 1st argument \def\@arith@div#1#2#3#4#5{% \@temp@inti#3\relax \ifx#4\relax \@temp@intii\@temp@inti\relax \@temp@inti1\relax \divide\@temp@inti\@temp@intii\relax \let\@next@div\@@arith@pm@fin \else\ifx#4\@tlabel@int \let\@next@div\@@arith@div \else \let\@next@div\@arith@type@error \fi\fi\@next@div#1#4{#5}} \def\@@arith@div#1#2#3{% \ifx#2\relax \let\@next@div\@@arith@pm@fin \else\ifx#2\@tlabel@int \divide\@temp@inti#3\relax \let\@next@div\@@arith@div \else \let\@next@div\@arith@type@error \fi\fi\@next@div#1} \@lisp@env@add@global\mod{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@mod}}} %TODO: error handling \def\@arith@mod#1\@tlabel@int#2\@tlabel@int#3{% \@temp@intii#2\relax \divide\@temp@intii#3\relax \multiply\@temp@intii#3\relax \@temp@inti#2\relax \advance\@temp@inti-\@temp@intii \@@arith@pm@fin#1} \@lisp@env@add@global\<{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@lt}}} %TODO: error handling \def\@arith@lt#1\@tlabel@int#2\@tlabel@int#3{% \ifnum#2<#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi} \@lisp@env@add@global\>{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@gt}}} %TODO: error handling \def\@arith@gt#1\@tlabel@int#2\@tlabel@int#3{% \ifnum#2>#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi} \@lisp@env@add@global\leq{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@leq}}} %TODO: error handling \def\@arith@leq#1\@tlabel@int#2\@tlabel@int#3{% \ifnum#2<#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi \ifnum#2=#3 \gdef#1{\@tlabel@bool{t}}\fi} \@lisp@env@add@global\geq{\@tlabel@func{\@lisp@func@check@args{2}{\@arith@geq}}} %TODO: error handling \def\@arith@geq#1\@tlabel@int#2\@tlabel@int#3{% \ifnum#2>#3 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi \ifnum#2=#3 \gdef#1{\@tlabel@bool{t}}\fi} \@lisp@env@add@global\isZeroQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@zero}}} %TODO: error handling \def\@arith@is@zero#1\@tlabel@int#2{% \ifnum#2=0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi} \@lisp@env@add@global\positiveQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@positive}}} %TODO: error handling \def\@arith@is@positive#1\@tlabel@int#2{% \ifnum#2>0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi} \@lisp@env@add@global\negativeQ{\@tlabel@func{\@lisp@func@check@args{1}{\@arith@is@negative}}} %TODO: error handling \def\@arith@is@negative#1\@tlabel@int#2{% \ifnum#2<0 \gdef#1{\@tlabel@bool{t}}\else\gdef#1{\@tlabel@bool{f}}\fi} \@lisp@env@add@global\max{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@max}}} \def\@arith@max#1#2#3{% \ifx#2\@tlabel@int \@temp@inti#3\relax \let\@next@max\@@arith@max \else \let\@next@max\@arith@type@error \fi\@next@max#1} \def\@@arith@max#1#2#3{% \ifx#2\relax \let\@next@max\@@arith@pm@fin \else\ifx#2\@tlabel@int \ifnum#3>\@temp@inti\@temp@inti#3\relax\fi \let\@next@max\@@arith@max \else \let\@next@max\@arith@type@error \fi\fi\@next@max#1} \@lisp@env@add@global\min{\@tlabel@func{\@lisp@func@check@args{+}{\@arith@min}}} \def\@arith@min#1#2#3{% \ifx#2\@tlabel@int \@temp@inti#3\relax \let\@next@min\@@arith@min \else \let\@next@min\@arith@type@error \fi\@next@min#1} \def\@@arith@min#1#2#3{% \ifx#2\relax \let\@next@min\@@arith@pm@fin \else\ifx#2\@tlabel@int \ifnum#3<\@temp@inti\@temp@inti#3\relax\fi \let\@next@min\@@arith@min \else \let\@next@min\@arith@type@error \fi\fi\@next@min#1}