Origin for each line in src/introReduce.txt from check-in 5ce5316a33:

5ce5316a33 2021-03-01 jeff@gridfini: % Introduction to Reduce
5ce5316a33 2021-03-01 jeff@gridfini: %
5ce5316a33 2021-03-01 jeff@gridfini: (x+y+z)^2;
5ce5316a33 2021-03-01 jeff@gridfini: for i:= 1:40 product i;
5ce5316a33 2021-03-01 jeff@gridfini: factorial 40;
5ce5316a33 2021-03-01 jeff@gridfini: u := (x+y+z)^2;
5ce5316a33 2021-03-01 jeff@gridfini: df(ws,x);
5ce5316a33 2021-03-01 jeff@gridfini: int(ws,y);
5ce5316a33 2021-03-01 jeff@gridfini: matrix m(2,2);
5ce5316a33 2021-03-01 jeff@gridfini: m := mat((a,b),(c,d));
5ce5316a33 2021-03-01 jeff@gridfini: %
5ce5316a33 2021-03-01 jeff@gridfini: (sin(a+b)+cos(a+b))*(sin(a-b)-cos(a-b))
5ce5316a33 2021-03-01 jeff@gridfini: where cos(~x)*cos(~y) => (cos(x+y)+cos(x-y))/2,
5ce5316a33 2021-03-01 jeff@gridfini: cos(~x)*sin(~y) => (sin(x+y)-sin(x-y))/2,
5ce5316a33 2021-03-01 jeff@gridfini: sin(~x)*sin(~y) => (cos(x-y)-cos(x+y))/2;
5ce5316a33 2021-03-01 jeff@gridfini: %
5ce5316a33 2021-03-01 jeff@gridfini: on fort;
5ce5316a33 2021-03-01 jeff@gridfini: df(log(x)*(sin(x)+cos(x))/sqrt(x),x,2);
5ce5316a33 2021-03-01 jeff@gridfini: off fort;
5ce5316a33 2021-03-01 jeff@gridfini: %