REDUCE

20.49 RLFI: REDUCE LaTeX Formula Interface

This package adds LaTeX syntax to REDUCE. Text generated by REDUCE in this mode can be directly used in LaTeX source documents. Various mathematical constructions are supported by the interface including subscripts, superscripts, font changing, Greek letters, divide-bars, integral and sum signs, derivatives, and so on.

Author: Richard Liska.

High quality typesetting of mathematical formulas is a quite tedious task. One of the most sophisticated typesetting programs for mathematical text TeX [Knu84], together with its widely used macro package LaTeX [Lam86], has a strange syntax of mathematical formulas, especially of the complicated type. This is the main reason which lead us to designing the formula interface between the computer algebra system REDUCE and the document preparation system LaTeX. The other reason is that all available syntaxes of the REDUCE formula output are line oriented and thus not suitable for typesetting in mathematical text. The idea of interfacing a computer algebra system to a typesetting program has already been used, eg. in [Fat87] presenting the TeX output of the MACSYMA computer algebra system.

The formula interface presented here adds to REDUCE the new syntax of formula output, namely LaTeX syntax, and can also be named REDUCE - LaTeX translator. Text generated by REDUCE in this syntax can be directly used in LaTeX source documents. Various mathematical constructions are supported by the interface including subscripts, superscripts, font changing, Greek letters, divide-bars, integral and sum signs, derivatives etc.

The interface can be used in two ways:

The latter can even be used by users unfamiliar with the REDUCE system, because the REDUCE input syntax of formulas is almost the same as the syntax of the majority of programming languages. We aimed at speeding up the process of formula typesetting, because we are convinced, that the writing of correct complicated formulas in the REDUCE syntax is a much more simpler task than writing them in the LaTeX syntax full of keywords and special characters \, {, ^, etc. It is clear that not every formula produced by the interface is typeset in the best format from an aesthetic point of view. When a user is not satisfied with the result, he can add some LaTeX commands to the REDUCE output - LaTeX input.

The interface is connected to REDUCE by three new switches and several statements. To activate the LaTeX output mode the switch latex must be set on. this switch, similar to the switch fort producing FORTRAN output, being on causes all outputs to be written in the LaTeX syntax of formulas. The switch verbatim is used for input printing control. If it is on input to REDUCE system is typeset in LaTeX verbatim environment after the line containing the string REDUCE Input:.

The switch lasimp controls the algebraic evaluation of input formulas. If it is on every formula is evaluated, simplified and written in the form given by ordinary REDUCE statements and switches such as factor, order, rat etc. In the case when the lasimp switch is off evaluation, simplification or reordering of formulas is not performed and REDUCE acts only as a formula parser and the form of the formula output is exactly the same as that of the input, the only difference remains in the syntax. The mode off lasimp is designed especially for typesetting of formulas for which the user needs preservation of their structure. This switch has no meaning if the switch Latex is off and thus is working only for LaTeX output.

For every identifier used in the typeset REDUCE formula the following properties can be defined by the statement defid:

Symbols with indexes are treated in REDUCE as operators. Each index corresponds to an argument of the operator. The meaning of operator arguments (where one wants to typeset them) is declared by the statement defindex. This statement causes the arguments to be typeset as subscripts or superscripts (on left or right-hand side of the operator) or as arguments of the operator.

 ttindextype[RLFI]laline"!*variable The statement mathstyle defines the style of formula typesetting. The variable laline!* defines the length of output lines.

The fractions with horizontal divide bars are typeset by using the new REDUCE infix operator //. This operator is not algebraically simplified. During typesetting of powers the checking on the form of the power base and exponent is performed to determine the form of the typeset expression (eg. sqrt symbol, using parentheses).

Some special forms can be typeset by using REDUCE prefix operators. These are as follows:

There are still some problems unsolved in the present version of the interface as follows:

Remark

After finishing presented interface, we have found another work [ASW89], which solves the same problem. The RLFI package has been described in [DLS90] too.

20.49.1 APPENDIX: Summary and syntax

Warning

The RLFI package can be used only on systems supporting lower case letters with off raise statement. The package distinquishes the upper and lower case letters, so be carefull in typing them. In REDUCE 3.6 the REDUCE commands have to be typed in lower-case while the switch latex is on, in previous versions the commands had to be typed in upper-case.

Switches

latex

- If on output is in LaTeX format. It turns off the raise switch if it is set on and on the raise switch if it is set off. By default is off.

lasimp

- If on formulas are evaluated (simplified), REDUCE works as usually. If off no evaluation is performed and the structure of formulas is preserved. By default is on.

verbatim

- If on the REDUCE input, while latex switch being on, is printed in LaTeX verbatim environment. The actual REDUCE input is printed after the line containing the string "REDUCE Input:". It turns on resp. off the echo switch when turned on resp. off. by default is off.

Operators

infix

- //

prefix

- int,dint,df,pdf,sum,product,sqrt and all REDUCE prefix operators defined in the REDUCE kernel and the SOLVE module.

\(\langle \)alg. expression\(\rangle \) //\(\langle \)alg. expression\(\rangle \)
int(\(\langle \)function\(\rangle \),\(\langle \)variable\(\rangle \))
dint(\(\langle \)from\(\rangle \),\(\langle \)to\(\rangle \),\(\langle \)function\(\rangle \),\(\langle \)variable\(\rangle \))
df(\(\langle \)function\(\rangle \),\(\langle \)variables\(\rangle \))
\(\langle \)variables\(\rangle \) ::= \(\langle \)o-variable\(\rangle \) \(\ \mid \ \) \(\langle \)o-variable\(\rangle \),\(\langle \)variables\(\rangle \)
\(\langle \)o-variable\(\rangle \) ::= \(\langle \)variable\(\rangle \)\(\ \mid \ \)\(\langle \)variable\(\rangle \) \(\langle \)order\(\rangle \)
\(\langle \)variable\(\rangle \) ::= \(\langle \)kernel\(\rangle \)
\(\langle \)order\(\rangle \) ::= \(\langle \)integer\(\rangle \)
\(\langle \)function\(\rangle \) ::= \(\langle \)alg. expression\(\rangle \)
\(\langle \)from\(\rangle \) ::= \(\langle \)alg. expression\(\rangle \)
\(\langle \)to\(\rangle \) ::= \(\langle \)alg. expression\(\rangle \)
pdf(\(\langle \)function\(\rangle \),\(\langle \)variables\(\rangle \))
sum(\(\langle \)from\(\rangle \),\(\langle \)to\(\rangle \),\(\langle \)function\(\rangle \))
product(\(\langle \)from\(\rangle \),\(\langle \)to\(\rangle \),\(\langle \)function\(\rangle \))
sqrt(\(\langle \)alg. expression\(\rangle \))

\(\langle \)alg. expression\(\rangle \) is any algebraic expression. Where appropriate, it can include also relational operators (e.g. argument \(\langle \)from\(\rangle \) of sum or product operators is usually equation). \(\langle \)kernel\(\rangle \) is an identifier or prefix operator with arguments as described in section 8.1. The interface supports typesetting lists of algebraic expressions.

Statements

mathstyle\(\langle \)m-style>\(\rangle \) ;
\(\langle \)m-style\(\rangle \) ::= math\(\ \mid \ \)displaymath\(\ \mid \ \)equation
defid\(\langle \)identifier\(\rangle \),\(\langle \)d-equations\(\rangle \)
\(\langle \)d-equations\(\rangle \) ::= \(\langle \)d-equation\(\rangle \) \(\ \mid \ \) \(\langle \)d-equation\(\rangle \),\(\langle \)d-equations\(\rangle \)
\(\langle \)d-equation\(\rangle \) ::= \(\langle \)d-print symbol\(\rangle \) \(\ \mid \ \) \(\langle \)d-font\(\rangle \) \(\ \mid \ \) \(\langle \)d-accent\(\rangle \)
\(\langle \)d-print symbol\(\rangle \) ::= name = \(\langle \)print symbol\(\rangle \)
\(\langle \)d-font\(\rangle \) ::= font = \(\langle \)font\(\rangle \)
\(\langle \)d-accent\(\rangle \) ::= accent = \(\langle \)accent\(\rangle \)
\(\langle \)print symbol\(\rangle \) ::= \(\langle \)character\(\rangle \) \(\ \mid \ \) \(\langle \)special symbol\(\rangle \)
\(\langle \)special symbol\(\rangle \) ::= alpha\(\ \mid \ \)beta\(\ \mid \ \)gamma\(\ \mid \ \)delta\(\ \mid \ \)epsilon\(\ \mid \ \)
varepsilon\(\ \mid \ \)zeta\(\ \mid \ \)eta\(\ \mid \ \)theta\(\ \mid \ \)vartheta\(\ \mid \ \)
iota\(\ \mid \ \)kappa\(\ \mid \ \)lambda\(\ \mid \ \)mu\(\ \mid \ \)nu\(\ \mid \ \)xi\(\ \mid \ \)pi\(\ \mid \ \)
varpi\(\ \mid \ \)rho\(\ \mid \ \)varrho\(\ \mid \ \)sigma\(\ \mid \ \)varsigma\(\ \mid \ \)
tau\(\ \mid \ \)upsilon\(\ \mid \ \)phi\(\ \mid \ \)varphi\(\ \mid \ \)chi\(\ \mid \ \)psi\(\ \mid \ \)
omega\(\ \mid \ \)Gamma\(\ \mid \ \)Delta\(\ \mid \ \)Theta\(\ \mid \ \)Lambda\(\ \mid \ \)Xi\(\ \mid \ \)
Pi\(\ \mid \ \)Sigma\(\ \mid \ \)Upsilon\(\ \mid \ \)Phi\(\ \mid \ \)Psi\(\ \mid \ \)Omega\(\ \mid \ \)
infty\(\ \mid \ \)hbar
\(\langle \)font\(\rangle \) ::= bold\(\ \mid \ \)roman
\(\langle \)accent\(\rangle \) ::= hat\(\ \mid \ \)check\(\ \mid \ \)breve\(\ \mid \ \)acute\(\ \mid \ \)grave\(\ \mid \ \)tilde\(\ \mid \ \)
bar\(\ \mid \ \)vec\(\ \mid \ \)dot\(\ \mid \ \)ddot

For special symbols and accents see [Lam86], p. 43, 45, 51.

defindex\(\langle \)d-operators\(\rangle \) ;
\(\langle \)d-operators\(\rangle \) ::= \(\langle \)d-operator\(\rangle \) \(\ \mid \ \) \(\langle \)d-operator\(\rangle \),\(\langle \)d-operators\(\rangle \)
\(\langle \)d-operator\(\rangle \) ::= \(\langle \)prefix operator\(\rangle \)(\(\langle \)descriptions\(\rangle \))
\(\langle \)prefix operator\(\rangle \) ::= \(\langle \)identifier\(\rangle \)
\(\langle \)descriptions\(\rangle \) ::= \(\langle \)description\(\rangle \) \(\ \mid \ \) \(\langle \)description\(\rangle \),\(\langle \)descriptions\(\rangle \)
\(\langle \)description\(\rangle \) ::= arg\(\ \mid \ \)up\(\ \mid \ \)down\(\ \mid \ \)leftup\(\ \mid \ \)leftdown

The meaning of the statements is briefly described in the preceding text.


Hosted by Download REDUCE Powered by MathJax