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