id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
16397,Symbolic cmp,vbraun,,"In the symbolic ring, cmp implements the print comparison which is probably not what you envisioned:
{{{
sage: cmp(1, sqrt(2)) # mathematically correct, uses rich comparison
-1
sage: cmp(SR(1), sqrt(2)) # unexpectedly, you get the print sort order
1
sage: cmp(log(8), 3*log(2))
-1
}}}
Everybody who coerces to same parents internally before comparing trips over this, for example the real lazy field:
{{{
sage: RLF(1) < RLF(sqrt(2))
False
}}}
This also makes `RealSet` unusable with symbolics:
{{{
sage: RealSet((0, pi),[pi, pi],(pi,4))
[pi, 4)
sage: RealSet((0, pi),[0, pi],(pi,4))
[pi, 4)
sage: RealSet((0, pi),[0, 3.5],(pi,4))
(pi, 4)
}}}
",defect,closed,critical,sage-7.1,symbolics,fixed,,vdelecroix mmezzarobba jpflori,,"Volker Braun, Ralf Stephan","Ralf Stephan, Volker Braun",N/A,,07f12cdfd14f3a7af5445aab7419c0ddaea1074d,07f12cdfd14f3a7af5445aab7419c0ddaea1074d,,