Screenshot instructions:
Windows
Mac
Red Hat Linux
Ubuntu
Click URL instructions:
Rightclick on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)
From: SourceForge.net <noreply@so...>  20061009 01:25:43

Bugs item #1573422, was opened at 20061008 18:25 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1573422&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: Lisp Core  Simplification Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Exponentiation laws are missing Initial Comment: Take a look at http://en.wikipedia.org/wiki/Exponentiation#Identities_and_properties We KNOW that aⁿ × bⁿ = (a × b)ⁿ, because that is a LAW. (That is "a^n * b^n = (a * b)^n") This is ignored by Maxima, for instance, (%i1) fullratsimp(7*sqrt(3)*sqrt(78)); (%o1) 7*sqrt(3)*sqrt(78) still, 7*sqrt(3)*sqrt(78) = 7*sqrt(3*78) so the correct answer is (%o1) 21*sqrt(26) Mario/Mexico  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1573422&group_id=4933 
From: SourceForge.net <noreply@so...>  20061010 10:11:16

Bugs item #1573422, was opened at 20061008 20:25 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1573422&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: Lisp Core  Simplification Group: None >Status: Closed >Resolution: Invalid Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Exponentiation laws are missing Initial Comment: Take a look at http://en.wikipedia.org/wiki/Exponentiation#Identities_and_properties We KNOW that aⁿ × bⁿ = (a × b)ⁿ, because that is a LAW. (That is "a^n * b^n = (a * b)^n") This is ignored by Maxima, for instance, (%i1) fullratsimp(7*sqrt(3)*sqrt(78)); (%o1) 7*sqrt(3)*sqrt(78) still, 7*sqrt(3)*sqrt(78) = 7*sqrt(3*78) so the correct answer is (%o1) 21*sqrt(26) Mario/Mexico  >Comment By: Barton Willis (willisbl) Date: 20061010 05:11 Message: Logged In: YES user_id=895922 The function radcan does what you want: (%i6) radcan(7*sqrt(3)*sqrt(78)); (%o6) 21*sqrt(2)*sqrt(13) Also, a^n * b^n = (a * b)^n isn't an identity. Try a > 1, b > 1, and n > 1/2. If Maxima automatically did a^n * b^n ==> (a * b)^n, that would be a bug. The wikipedia article you reference *does* say that n is an integer; in your example, the exponent isn't an integer.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1573422&group_id=4933 