#11513: add _is_numerically_zero() method to symbolic expressions
---------------------------+------------------------------------------------
Reporter: burcin | Owner: burcin
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: symbolics | Keywords: sd35.5
Work_issues: | Upstream: N/A
Reviewer: | Author: Burcin Erocal
Merged: | Dependencies:
---------------------------+------------------------------------------------
Changes (by newvalueoldvalue):
* status: new => needs_review
* milestone: sage-4.8 => sage-5.0
* author: => Burcin Erocal
Old description:
> A fast way to check if an expression is zero is important in many places,
> see for example comment:15:ticket:11143. We should put the numerical
> check mentioned there in a method (`_is_numerically_zero()`) of symbolic
> expressions (`sage.symbolic.expression.Expression`).
New description:
A fast way to check if an expression is zero is important in many places,
see for example comment:15:ticket:11143. We should put the numerical check
mentioned there in a method (`_is_numerically_zero()`) of symbolic
expressions (`sage.symbolic.expression.Expression`).
Apply attachment:trac_11513-is_trivally_zero.patch.
--
Comment:
After playing around with `ComplexIntervalField`, different precisions and
symbolic expressions, I finally realized that they cannot perform magic
and detect zero. :)
attachment:trac_11513-is_trivally_zero.patch implements a method
`is_trivially_zero()` instead. This is just a wrapper around pynac's
`is_zero()` method, which amounts to the exact integer or real/complex
zero check Paul suggested.
Can we review this quickly and turn to another ticket that requires magic:
#9953?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11513#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
