unsimplifed result from expand
- Subject: unsimplifed result from expand
- From: Barton Willis
- Date: Sat, 26 Mar 2011 13:45:38 -0500
-----maxima-bounces at math.utexas.edu wrote: -----
>-----maxima-bounces at math.utexas.edu?wrote:?-----
>?
>>This?problem?might?be?related?to?a?further?bug?I?have?observed?some
>timeago:
>>
>>(%i4)?sqrt(2)+sqrt(2)+sqrt(2);
>>(%o4)?2^(3/2)+sqrt(2)
>>
>>(%i6)?ratsimp(%);
>>(%o6)?3*sqrt(2)
Here is an expression that ratexpand doesn't crunch to zero:
(%i575) (-5^(3/2)/8+5^(3/2)/8-sqrt(5)/2-1/2)/5+(-5^(3/2)/8+sqrt(5)/8+1/2)/5+1/sqrt(5);
(%o575) (-5^(3/2)/8+sqrt(5)/8+1/2)/5+(-sqrt(5)/2-1/2)/5+1/sqrt(5)
(%i576) ratexpand(%);
(%o576) sqrt(5)/8-sqrt(5)/8
(%i577) ratexpand(%);
(%o577) 0
--Barton