From: SourceForge.net <noreply@so...>  20071012 11:26:54

Bugs item #1812184, was opened at 20071012 13:26 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=1812184&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 Private: No Submitted By: Harald Geyer (hgeyer) Assigned to: Nobody/Anonymous (nobody) Summary: no obvious way to expand roots Initial Comment: There is no obvious way to simplify sqrt(x*y+sqrt(x))sqrt(x)*sqrt(y+1) to zero. I'd expect radcan() to handle such cases  at least if some flag (radexpand comes to my mind) is enabled.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&group_id=4933 
From: SourceForge.net <noreply@so...>  20071012 17:01:59

Bugs item #1812184, was opened at 20071012 04:26 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&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 Private: No Submitted By: Harald Geyer (hgeyer) Assigned to: Nobody/Anonymous (nobody) Summary: no obvious way to expand roots Initial Comment: There is no obvious way to simplify sqrt(x*y+sqrt(x))sqrt(x)*sqrt(y+1) to zero. I'd expect radcan() to handle such cases  at least if some flag (radexpand comes to my mind) is enabled.  Comment By: Nobody/Anonymous (nobody) Date: 20071012 10:01 Message: Logged In: NO Simple explanation: Maxima CANNOT simplify this expression to zero, because it IS NOT zero! ;)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&group_id=4933 
From: SourceForge.net <noreply@so...>  20071012 22:53:53

Bugs item #1812184, was opened at 20071012 07:26 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&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 Private: No Submitted By: Harald Geyer (hgeyer) Assigned to: Nobody/Anonymous (nobody) Summary: no obvious way to expand roots Initial Comment: There is no obvious way to simplify sqrt(x*y+sqrt(x))sqrt(x)*sqrt(y+1) to zero. I'd expect radcan() to handle such cases  at least if some flag (radexpand comes to my mind) is enabled.  >Comment By: Stavros Macrakis (macrakis) Date: 20071012 18:53 Message: Logged In: YES user_id=588346 Originator: NO The above expression is not identically zero. I think you intended: sqrt(x*y+x)  sqrt(x)*sqrt(y+1) which radcan *does* simplify to 0, or perhaps ex: sqrt(x*y+sqrt(x))  sqrt(x)*sqrt(y+1/sqrt(x)) which radcan by itself cannot simplify to zero. But radcan(rootscontract(ex)) does simplify it to zero. You can also see it is identically zero by expanding it using taylor: taylor(ex,x,0,100) I am closing this because it is not a bug that radcan can't handle all cases.  Comment By: Nobody/Anonymous (nobody) Date: 20071012 13:01 Message: Logged In: NO Simple explanation: Maxima CANNOT simplify this expression to zero, because it IS NOT zero! ;)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&group_id=4933 
From: SourceForge.net <noreply@so...>  20071013 14:05:16

Bugs item #1812184, was opened at 20071012 13:26 Message generated for change (Comment added) made by hgeyer You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&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 Private: No Submitted By: Harald Geyer (hgeyer) Assigned to: Nobody/Anonymous (nobody) Summary: no obvious way to expand roots Initial Comment: There is no obvious way to simplify sqrt(x*y+sqrt(x))sqrt(x)*sqrt(y+1) to zero. I'd expect radcan() to handle such cases  at least if some flag (radexpand comes to my mind) is enabled.  >Comment By: Harald Geyer (hgeyer) Date: 20071013 16:05 Message: Logged In: YES user_id=929336 Originator: YES Oh, it seems in constructing a minimal example I did somewhat overminimalize it ... sorry for the noise! Yes, rootscontract() is exactly what I was looking for, but I wonder: Why is it in the manual in the chapter on equations rather than in the chapter on simplification? Are there any objections if I move the description?  Comment By: Stavros Macrakis (macrakis) Date: 20071013 00:53 Message: Logged In: YES user_id=588346 Originator: NO The above expression is not identically zero. I think you intended: sqrt(x*y+x)  sqrt(x)*sqrt(y+1) which radcan *does* simplify to 0, or perhaps ex: sqrt(x*y+sqrt(x))  sqrt(x)*sqrt(y+1/sqrt(x)) which radcan by itself cannot simplify to zero. But radcan(rootscontract(ex)) does simplify it to zero. You can also see it is identically zero by expanding it using taylor: taylor(ex,x,0,100) I am closing this because it is not a bug that radcan can't handle all cases.  Comment By: Nobody/Anonymous (nobody) Date: 20071012 19:01 Message: Logged In: NO Simple explanation: Maxima CANNOT simplify this expression to zero, because it IS NOT zero! ;)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1812184&group_id=4933 