#20127: test_relation: uncaught NoConvergence
-------------------------------------+-------------------------------------
Reporter: behackl | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.1
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Benjamin Hackl | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/behackl/symbolic/test_relation/noconvergence|
4ddf10c1c65acabc21bae40d80b51735cf26be24
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by rws):
The exception happens when executing `test_relation()`. With
`domain='complex'` `test_relation()` is not called at all because then the
assumption `(k, 'complex')` has to be taken into account so Maxima is
called for proof which, remarkably, is faster here and correct.
However what happens with the original case is that in `test_relation()`
random substitutions into the relation are performed to see if the
resulting values differ. One substitution that causes the exception is for
example `{k: -312.363505734545? + 152.010201758413?*I}` so you can get the
exception with the code `(gamma(2 + k*pi*I/log(2)) *
zetaderiv(1,1+k*pi*I/log(2))/log(2)^10 == 0).subs({k:
CIF(-312.363505734545 + 152.010201758413*I)}).n()` reliably.
--
Ticket URL: <http://trac.sagemath.org/ticket/20127#comment:10>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
