- labels: 460522 --> Lisp Core - Simplification
(%i17) 1/sqrt(8) - sqrt(8) / 8;
(%o17) 1/(2*sqrt(2))-1/2^(3/2)
(%i18) expand(%,0,0);
(%o18) 0
Here I think (%o17) is unsimplified--the expand(%,0,0)
shouldn't be required.
Also:
(%i45) sqrt(8) / 8;
(%o45) 1/2^(3/2)
(%i46) expand(%,0,0);
(%o46) 1/(2*sqrt(2))
With revision 1.80 of simp.lisp the example simplifies as expected:
(%i14) 1/sqrt(8) - sqrt(8) / 8;
(%o14) 0
Closing this bug report as fixed.
Dieter Kaiser