id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
21946,"solve(x==x, x) returns [x == r1]",pelegm,aashu12,"Not sure if it's a bug or a problem with the documentation, but without any assumptions on `x`, `solve(x==x, x)` returns `[x == r1]`. The documentation does not state what `r1` is, but gives the following example:
{{{
If there is a parameter in the answer, that will show up as a new
variable. In the following example, ""r1"" is a real free variable
(because of the ""r""):
sage: solve([x+y == 3, 2*x+2*y == 6],x,y)
[[x == -r1 + 3, y == r1]]
}}}
However, without assumptions on `x`, there's no reason to believe that `x` is real.
This ticket also fixes a grammar issue introduced in #21554 (see comments).",defect,closed,minor,sage-8.4,symbolics,fixed,"solve,days79",,,Ashutosh Ahelleya,Bryan Gin-ge Chen,N/A,,224e0641f083472bda753ca8c1a833073b08a218,224e0641f083472bda753ca8c1a833073b08a218,#21554,