next up previous contents
Next: Determining Zero Equivalence Up: Wester's test suite Previous: Algebra

Trigonometry

[New] Problem :rewrite in terms of and .

>> expand(cos(3*x)/cos(x));

                                       2    
                               4 cos(x)  - 3

[New] Problem : linearize .

>> combine(expand(cos(3*x)/cos(x)),sincos);

                              2 cos(2 x) - 1



Andre Heck
Sun Apr 23 10:32:10 MDT 1995