Previous: Package scifac, Up: simplification [Contents][Index]
可能なら、簡単で、数値的で、二項無理数(binomial surds)のsqrtをdenestします。
例えば、
(%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
時々、
(19601-13860 sqrt(2))^(7/4)に対してのように、
sqrtdenestを複数回適用することが役立ちます。
load ("sqdnst")はこの関数をロードします。
Previous: Package scifac, Up: simplification [Contents][Index]