Correction to the Solve vs. Reduce post.
Is: which returns -1
Should be: -1
I just discovered that if I enter
solve(x=RootOf(_Z^2-3),x) I get the same thing
back, i.e., Maple can't deal with it. But if I
enter solve(x=RootOf(_Z^2-3,label=_L2),x) I get
the correct answers back, namely sqrt(3) and
-sqrt(3). But then if I use an arbitrary label
of _L5204 I also get the correct answers
returned! This again leads me to believe that
there has to be a label number but it doesn't
matter what it is. Like there is a requirement
for this argument which is of no consequence
so some programmer invented the label number rather
than eliminate the requirement for the argument
of no consequence. I am beginnning to suspect
that the label is just a programming kludge.
Am I wrong?