Re: [Maxima-discuss] Maxima 5.33.0 release

[Robert D. <rob...@gm...>]

On 2014-04-23, 本田康晃 <yas...@gm...> wrote:

> (%i2) qe([[E,x],[E,y]], x^2+2*y^2=3 %and y=x/2+m);
>
> (%o2) (2*m-3<=0) %and (2*m+3>=0)

Please help me understand this result. By eliminating x and y, we get
a result in terms of m alone. But what problem does that solve? If we
are interested in intersections of an ellipse with a line, surely we
need to know about x and y as well as m. I don't know anything about
quantifier elimination in general so I am probably missing the point.
Thanks for any information.

best,

Robert Dodier