REDUCE

Built-in Prefix Operators

In the following subsections are descriptions of the most useful prefix operators built into REDUCE that are not defined in other sections (such as substitution operators). Some are fully defined internally as procedures; others are more nearly abstract operators, with only some of their properties known to the system.

In many cases, an operator is described by a prototypical header line as follows. Each formal parameter is given a name and followed by its allowed type. The names of classes referred to in the definition are printed in lower case, and parameter names in upper case. If a parameter type is not commonly used, it may be a specific set enclosed in brackets {}. Operators that accept formal parameter lists of arbitrary length have the parameter and type class enclosed in square brackets indicating that zero or more occurrences of that argument are permitted. Optional parameters and their type classes are enclosed in angle brackets.

 7.1 Numerical Operators
 7.2 Mathematical Functions
 7.3 Combinatorial Numbers
 7.4 Bernoulli, Euler and Fibonacci Numbers
 7.5 CHANGEVAR Operator
 7.6 CONTINUED_FRACTION Operator
 7.7 DF Operator
 7.8 INT Operator
 7.9 LENGTH Operator
 7.10 LIMIT Operator
 7.11 MAP Operator
 7.12 MKID Operator
 7.13 The Pochhammer Notation
 7.14 PF Operator
 7.15 RESIDUE and POLEORDER Operators
 7.16 SELECT Operator
 7.17 SOLVE Operator
 7.18 Support for Solving Inequalities
 7.19 Finding Rational or Integer Zeros
 7.20 Modular Solve and Roots
 7.21 Even and Odd Operators
 7.22 Linear Operators
 7.23 Non-Commuting Operators
 7.24 Symmetric and Antisymmetric Operators
 7.25 Declaring New Prefix Operators
 7.26 Declaring New Infix Operators
 7.27 Creating / Removing Variable Dependency

Hosted by Download REDUCE Powered by MathJax