Previous: Package scifac, Up: simplification [Contents][Index]

### 69.8 Package sqdnst

Function: sqrtdenest (expr)

  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, Up: simplification [Contents][Index]