algsys and "quotient by zero"



For a workaround,  try some combination of

  (1) try solving for more variables
  (2) set algebraic to true
  (3) try other values for gcd (the user documentation for gcd lists them)
  (4) compute the grobner basis--the easiest way for me to to use the to poly solver:

      (%i14) load(to_poly_solve)$

      (%i16) %solve([x^2+y^2-a^2,x+y=b],[x,y], use_grobner=true);
      (%o16) %union([x=-(sqrt(2*a^2-b^2)-b)/2,y=(sqrt(2*a^2-b^2)+b)/2],[x=(sqrt(2*a^2-b^2)+b)/2,y=-(sqrt(2*a^2-b^2)-b)/2])

These tricks have a low chance of helping, but I have seen equations where they do workaround the quotient by zero bug.

Good luck...

--Barton

________________________________________
From: maxima-bounces at math.utexas.edu [maxima-bounces at math.utexas.edu] on behalf of andre maute [andre.maute at gmx.de]
Sent: Saturday, October 06, 2012 05:14
To: maxima at math.utexas.edu
Subject: algsys and "quotient by zero"

Hi list,

does somebody know,
if I want to solve an algebraic system of equations
and algsys returns "quotient by zero",
is there still a possibility my system is solvable?

Regards
Andre

P.S. The Maxima 5.27.0 documentation says nothing.

_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima