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
}}}
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,new,critical,sage-6.6,symbolics,,,vdelecroix,,,,N/A,,u/rws/symbolic_cmp,af5f800fdc616022d503b5e845ec81ebfef7c25e,,