Contents - Student subdomain for University of Bath

C.5. REDUCE 239
1: (x^2-1)^10/(x+1)^10;
Figure C.8: Reduce output
x 10 − 10x 9 + 45x 8 − 120x 7 + 210x 6 − 252x 5 + 210x 4 − 120x 3 + 45x 2 − 10x + 1
2: off exp;
3: (x^2-1)^10/(x+1)^10;
4: off gcd;
5: (x^2-1)^10/(x+1)^10;
(x − 1) 10
(x − 1) 10
6: (x^2-1)^10/(x^2+2*x+1)^10;
(
x 2 − 1 ) 10
7: on gcd;
8: ws;
(x 2 + 2x + 1) 10
(x − 1) 10
(x + 1) 10
above is taken from MatLab.
C.5 Reduce
C.5.1
Overview
Note that Reduce produces output that cuts/pastes as TEX, as in Figure C.8.
By default, the output is canonical (Definition 4), but this can be changed
via the exp (short for expand) and gcd (compute them) switches. Note that
exact division tests are done even when gcd is off, as in line 5, and we need a
more challenging example, as in line 6.
C.5.2
History