Solution of "borderline" eqs. in Mathematica, Maple, and Maxima (was "linsolve")



You have not specified the complete meaning of the solution. Here are some
issues, I think.


Solving 1=1  for x  should be  "any value of x".  Is that what you mean by
[]???
Solving  a*x=x  is either x=0 or a=1.   What does Solving ([a*x=x],[x,a])
do?

Also, the question  is y-3 positive, negative, or zero?    .... What if y-3
is complex?
Maybe you mean  zero or non-zero?

RJF