From: SourceForge.net <noreply@so...>  20090121 21:15:54

Bugs item #2527002, was opened at 20090121 14:15 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=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: Open Resolution: None 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]]  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2527002&group_id=4933 