From: SourceForge.net <noreply@so...>  20090121 22:10:09

Bugs item #2527002, was opened at 20090121 15:15 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2527002&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: Share Libraries Group: None >Status: Pending >Resolution: Fixed Priority: 5 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Barton Willis (willisbl) Summary: to_poly fails on 2*x3 = (2 + sqrt(x+7))^2 Initial Comment: load (topoly); to_poly (2*x  3 = (2 + sqrt(x + 7))^2, [x]); => [[(sqrt(x+7)+2)^2+2*x3],[]] to_poly didn't remove the sqrt. But with a little encouragement: to_poly (sqrt(2*x  3) = 2 + sqrt(x + 7), [x]); => [[%g2%g12,2*x3 = %g2^2,x+7 = %g1^2], [%pi/2 < carg(%g2),carg(%g2) <= %pi/2,%pi/2 < carg(%g1), carg(%g1) <= %pi/2]]$ load (topoly_solver); to_poly_solve (sqrt(2*x  3) = 2 + sqrt(x + 7), [x]); => [[x = 42]]  >Comment By: Barton Willis (willisbl) Date: 20090121 15:38 Message: I think this is fixed in CVS: (%i6) to_poly (2*x  3 = (2 + sqrt(x + 7))^2, [x]); (%o6) [[x4*%g414,x+7 = %g4^2],[%pi/2 < parg(%g4),parg(%g4) <= %pi/2],[]] (%i7) load("to_poly_solver"); " (%i8) to_poly_solve (sqrt(2*x  3) = 2 + sqrt(x + 7), [x]); (%o8) %union([x = 42]) Let me know if it doesn't work for you. Thanks for the bug report. (There is some new user documentation for topoly & friends).  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2527002&group_id=4933 