id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
19064 Equality shouldn't also be unequal kcrisman "{{{
bool((1/8*sqrt(2)*(sqrt(2)*(sqrt(2) - 2) + 4*sqrt(2)) + 1/4*sqrt(2)*(sqrt(2) - 2) + 3/4*sqrt(2) - 1/2) < (1/8*sqrt(2)*(sqrt(2) + 2) + 1/4*sqrt(2) + 1/4))
}}}
apparently yields `True`, though these expressions are apparently actually equal. See [http://ask.sagemath.org/question/29228/unexpanded-symbolic-inequalities-yield-erroneous-results/ this ask.sagemath question] for details." defect closed major sage-duplicate/invalid/wontfix symbolics fixed Ralf Stephan N/A