From: SourceForge.net <no...@so...> - 2011-04-25 14:29:43
|
Bugs item #3247367, was opened at 2011-03-26 17:38 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3247367&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: expand returns unsimplified Initial Comment: I thought that expand returned a simplified expression; maybe it does not: (%i241) (1-sqrt(5))^3-4*(1-sqrt(5))^2+8; (%o241) (1-sqrt(5))^3-4*(1-sqrt(5))^2+8 (%i242) expand(%); (%o242) 5^(3/2)-5^(3/2) (%i243) expand(%,0,0); (%o243) 0 Ratexpand crunches this to zero without the additional simplification: (%i244) ratexpand((1-sqrt(5))^3-4*(1-sqrt(5))^2+8); (%o244) 0 Dieter also reports the bug (http://www.math.utexas.edu/pipermail/maxima/2011/024700.html) (%i4) sqrt(2)+sqrt(2)+sqrt(2); (%o4) 2^(3/2)+sqrt(2) ---------------------------------------------------------------------- >Comment By: Dieter Kaiser (crategus) Date: 2011-04-25 16:29 Message: Fixed in simp.lisp. The simplification v*a^(c+n)+w*a^(c+m) -> (v*a^n+w*a^m)*a^c has been implemented, a, v, w, and (n-m) are integers. http://maxima.git.sourceforge.net/git/gitweb.cgi?p=maxima/maxima;a=commit;h=7ec68513b157f06c24a51c5fb37e98cd315207f6 See also the added tests in rtest16.mac: http://maxima.git.sourceforge.net/git/gitweb.cgi?p=maxima/maxima;a=commit;h=6211ffd0300c0cf1f9b4aeaeebeb0b9608f9619c Closing this bug report as fixed. Dieter Kaiser ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3247367&group_id=4933 |