[Maxima-bugs] [ maxima-Bugs-850884 ] algsys fails in simple case

[SourceForge.net <no...@so...>]

Bugs item #850884, was opened at 2003-11-28 15:30
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=850884&group_id=4933

Category: None
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).

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=850884&group_id=4933