REDUCE は三角関数の公式を自動的に適用してくれない。
公式を使いたい時には、where と => を使って代入を指定する。
下記の例における、~(チルダ、なみなみ)は REDUCE で「すべての」の意味である。
(sin(a+b)+cos(a+b))*(sin(a-b)-cos(a-b)) where cos(~x)*cos(~y) => (cos(x+y)+cos(x-y))/2, cos(~x)*sin(~y) => (sin(x+y)-sin(x-y))/2, sin(~x)*sin(~y) => (cos(x-y)-cos(x+y))/2;
latex:\black$\displaystyle -\left(\cos\left(2\*a\right)+\sin\left(2\*b\right)\right)$
結果は、- ( cos ( 2 * a ) + sin ( 2 * b ) )
となる。
