Footnotes

...
maple ref

...
mumath ref

...
Necessarily so, since sophisticated algorithms are usually much more complicated and occupy a larger amount of memory.

...
It may be required for PC versions of REDTEN, but has not yet been developed.

...
Implemented by summer students Jeff Rosenthal and Steve Allen.

...
In some systems lower may not be declared as a switch, on and off will still set the switch, but will also give an error message.

...
Only the lisp name nil cannot be mapped by this package, the user must ensure that this is entered in the correct case.

...
Apparently, symbolic is the preferred command.

...
The REDUCE prompt consists of a sequence number followed by a colon. In all examples in this document the prompt is represented as #:.

...
Formally, this is an indexed object reference, but the term is used both in this case and for the data structure itself.

...
i.e. something that is no longer an indexed object reference.

...
In previous versions the mktnsr() function was used. This still exists for backward compatibility.

...
The use of these operators is new in v4.00.

...
If this happens, the function mclear() should be called to clear the parser.

...
See 7.4 for information about entering nil in two-case systems.

...
REDTEN does not make use of the cyclic symmetry that actually reduces the number of independent components of the Riemann tensor to 20.

...
Note that if the Lie derivative of a generic object is being taken, the actual target name, not the generic name, is used.

...
This function may not be available in future versions of REDTEN

...
It will be noticed that these expressions do not involve , this is because REDTEN introduces a let rule of the form forall x let   cos(x)^2 = 1 - sin(x)^2. This and other let rules are in the source file lets.

...
Its name is derived from MAP a Function onto an Indexed object. It is about as pnemonic as the names of certain similar lisp functions.

...
This is the one REDUCE name that is not mapped in case when the base system is upper case. Therefore, the user may have to use I as the pure imaginary number.

...
In the sense that the simplifier may enter a loop if both exist simultaneously, for example, from the Kerr metric let r^2=sin(th)^2*a^2-a^2+rho2; and later let rho2=r^2+a^2*cos(th)^2 cannot both be in the system together.

...
Unfortunately, the system cannot know about user defined operators or assignments made prior to loading REDTEN, since the required system modification have not been made. let rules will be saved, however, and operators and assignments can be accounted for by using addtoenv().

...
The pager does not interact with other forms of output, such as that produced by loading new function definitions etc.

...
Some of these are under development

...
The symbol rdr is historical; it might once have been intended to be a short form of ``reader'' in the original muTENSOR version.

...
Where to get REDUCE

John Harper
Wed Nov 16 13:34:23 EST 1994