CAS not always working with trigonometric formulas ?



-----thomas x wrote: -----

> For instance, it is not able to simplify
> (sqrt(2)+sqrt(6-4*sqrt(2)))/2 into 1.

(%i1) load("sqdnst")$
(%i2) (sqrt(2)+sqrt(6-4*sqrt(2)))/2;
(%o2) (sqrt(2)+sqrt(6-4*sqrt(2)))/2
(%i3) SQRTDENEST(%);
(%o3) 1

Barton