Previous: Package scifac, Nach oben: simplification [Inhalt][Index]
Denests sqrt of simple, numerical, binomial surds, where possible.  E.g.
(%i1) load ("sqdnst")$
(%i2) sqrt(sqrt(3)/2+1)/sqrt(11*sqrt(2)-12);
                                    sqrt(3)
                               sqrt(------- + 1)
                                       2
(%o2)                        ---------------------
                             sqrt(11 sqrt(2) - 12)
(%i3) sqrtdenest(%);
                                  sqrt(3)   1
                                  ------- + -
                                     2      2
(%o3)                            -------------
                                    1/4    3/4
                                 3 2    - 2
Sometimes it helps to apply sqrtdenest more than once, on such as
(19601-13860 sqrt(2))^(7/4).
load("sqdnst") loads this function.
Previous: Package scifac, Nach oben: simplification [Inhalt][Index]