On 03/02/2017 10:57 PM, Ashutosh Ahelleya wrote:
> Hello,
>
> I am interested in solving the documentation error having ticket number
> #29146 but I have a doubt.
>
> In the description of ticket number #29146
> <https://trac.sagemath.org/ticket/21946> , I feel within the domain of x
> that is a real number the documentation is correct since the solution is
> shown up to be
> "r1" which is a real number. In case the domain is over complex numbers
> too, what should be the appropriate symbol in place of "r1" to be used to
> fix this?
>
The symbol "z" is used for integers already, so that's out. I wonder if
any of our equation-solving backends ever return complex parameters...
on the other hand, the Maxima documentation doesn't say they're real:
The symbols %r are used to denote arbitrary constants in a solution[1].
So maybe it was an overstatement to say that the "r" parameters are
real, as far as Maxima is concerned. In any case, there is a special
branch in the code that handles the result of x == x,
if s == 'all':
if solution_dict:
ans = [ {x: self.parent().var('r1')} ]
else:
ans = [x == self.parent().var('r1')]
if multiplicities:
return ans,[]
else:
return ans
So you could update the documentation to say that the "r" parameters are
complex, or I guess you could try to add a new type of complex
parameter. If none of our backends ever return them, though, the latter
seems like overkill.
[1] http://maxima.sourceforge.net/docs/manual/maxima_20.html
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
