id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
24726 Sage silently accepts symbolic expressions with two comparison operators tmonteil "See the following example:
{{{
sage: 0 <= x <= 1/2
0 <= x
}}}
This should raise an error. Note that it can create confusion when used in assumptions:
{{{
sage: assume(0 <= x <= 1/2)
sage: bool(x <= 1/2)
False
}}}
This has been reported on [https://ask.sagemath.org/question/41061/piecewise-defined-function-via-def this ask question].
" defect closed major sage-duplicate/invalid/wontfix symbolics wontfix rws slelievre N/A