Web REDUCE

The dependent variable or expression and an independent variable are required. Other fields may be left empty. Superscripts represent orders, which unless empty must be positive integers.

REDUCE Manual:  DF Operator

The integrand and first integration variable are required. Enter additional integration variables to create a double or triple integral and display additional ∫ and d symbol pairs, which nest and their colours show how they match. Each pair of limits must be both empty, giving an indefinite integral, or both specified, giving a definite integral.

REDUCE Manual:  INT Operator

 
 
    d   d   d

Only limits of (mostly) continuous functions are supported, not sequences. All fields are required. The variable must be an identifier. Click the superscript box immediately after the limit point to cycle through the directions: from right / above (+), left / below (−), both sides (blank).

REDUCE Manual:  LIMIT Operator

lim

The main operand must be specified and may be any algebraic expression. The control variable (bottom left field) must also be specified. Sums and products over symbolic ranges are exact, may be indefinite, so the upper or both limits may be omitted, or the limits may be symbolic, and the variable may be a kernel. Sums and products over numeric ranges require both limits to evaluate to numbers.

REDUCE Manual:  SUM Package FOR Statements

=

Form a matrix in the top left-hand corner of the grid, leaving any cells outside this matrix empty. The right-most and lowest non-empty cells define the matrix size. Any empty cells within this matrix default to zero.

REDUCE Manual:  MAT Operator

( )

At least one equation or expression is required. If no unknowns are specified then REDUCE solves for all those found. Unknowns must be kernels.

REDUCE Manual:  SOLVE Operator

Equations or expressions Unknowns

The ordinary differential equation (ODE) can be an expression that is implicitly equated to zero. All other entries are optional; REDUCE can normally deduce the dependent variable or function, and the independent variable. Derivatives can be specified using primes (single forward quotes) provided the independent variable is specified.

REDUCE Manual:  ODESOLVE: Ordinary differential equation solver

ODE: 

Dep Var:  Ind Var: 

Conds: 

A 'var' entry must be an identifier. For iteration over a numerical range, the 'number' entries must *evaluate* to numbers. For iteration over a list, the 'list' entry must *evaluate* to a list; the 'on' option is allowed only in symbolic mode and makes the 'for variable' evaluate to successive 'cdr's of the list.

REDUCE Manual:  FOR Statements

Iterate over a

for := step until
for each
 

Click on the function you want to use. Hover over a function for a brief description. Some functions do not simplify symbolically but evaluate numerically, as indicated in their tooltips.

REDUCE Manual:  Mathematical FunctionsSPECFN PackageTRIGD Package

e
ln
log
hypot( , )
log10
atan2( / )
!
(
)
atan2d( / )

Gamma Function

Γ()

Beta Function

Β( , )

Digamma Function

ψ()

Polygamma Function

ψ()()

Normalized Incomplete Gamma

P( , )

Normalized Incomplete Beta

I( , )

Dilogarithm

Li2()

Pochhammer"s Symbol

()

Binomial Coefficient

(
)

Riemann Zeta Function

ζ()

Exponential Integral

Ei()

Logarithmic Integral

li()

Sine Integral

Si()

Cosine Integral

Ci()

Hyperbolic Sine Integral

Shi()

Hyperbolic Cosine Integral

Chi()

Error Function

erf

Complementary Error Function

erfc

Fresnel Sine Integral

S()

Fresnel Cosine Integral

C()

Airy Function of the First Kind

Ai()

Airy Function of the Second Kind

Bi()

Derivative of Airy Function of the First Kind

Ai'()

Derivative of Airy Function of the Second Kind

Bi'()

Bessel Function of the First Kind

J ()

Bessel Function of the Second Kind

Y ()

Modified Bessel Function of the First Kind

I ()

Modified Bessel Function of the Second Kind

K ()

Hankel Function of the First Kind

H (1)
()

Hankel Function of the Second Kind

H (2)
()

Struve Function

H()

Modified Struve Function

L()

Lommel Function of the First Kind

s,()

Lommel Function of the Second Kind

S,()

Kummer M Function

M(,,)

Kummer U Function

U(,,)

Whittaker M Function

M,()

Whittaker W Function

W,()

Spherical Harmonic Function

Y
(,)

Solid Harmonic Function

Y
(,,,)

Jacobi Polynomials

P (,)
()

Ultraspherical (Gegenbauer) Polynomials

C ()
()

Chebyshev Polynomials of the First Kind

T()

Chebyshev Polynomials of the Second Kind

U()

Legendre Polynomials

P()

Associated Legendre Polynomials

P ()
()

Laguerre Polynomials

L()

Generalized Laguerre Polynomials

L ()
()

Hermite Polynomials

H()