From: SourceForge.net <noreply@so...>  20060915 12:16:40

Bugs item #850884, was opened at 20031128 14:30 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=850884&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  Solving equations Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: algsys fails in simple case Initial Comment: eqs: [ v^2  2*v + u^2 + 10*u + 1, v^2  10*v + u^2 + 2*u + 1 ] solve(eqs,[u,v]) => [] But in fact eqs is solvable: eqs1: [ eqs[1], eqs[1]eqs[2] ]; solve(eqs1, [u,v]) => [[u = (sqrt(34) + 6) / 2, v = (sqrt(2)*sqrt(17) + 6) / 2], [u = (sqrt(34)  6) / 2, v = (sqrt(2)*sqrt(17)  6) / 2]] That solution is correct, as you can verify with subst followed by radcan. For that matter, eliminate also works. Maxima 5.9.0/W2k tested with both gcd:subres and gcd:spmod Found starting with a problem report submitted by Kirk Lancaster (27 Nov 2003).  >Comment By: Barton Willis (willisbl) Date: 20060915 07:16 Message: Logged In: YES user_id=895922 Maxima can't even solve a triangular form of these equations: (%o5) [2*v^212*v+1,v^22*v+u^2+10*u+1] (%i6) algsys(%,[v,u]); (%o6) [] Eliminating v^2 in the second equation allows Maxima to finish: (%i7) [%o5[1],ratsubst((12*v1)/2,v^2,%o5[2])]; (%o7) [2*v^212*v+1,(8*v+2*u^2+20*u+1)/2] (%i8) algsys(%,[v,u]); (%o8) [[v=(sqrt(2)*sqrt(17)6)/2,u=(sqrt(34)+14)/2],...]  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=850884&group_id=4933 