#9457: power series comparison should use padded_list
------------------------------------------------------------------------------------------------------------------------+
Reporter: niles
| Owner: malb
Type: defect
| Status: needs_work
Priority: minor
| Milestone: sage-4.5.2
Component: commutative algebra
| Keywords:
Author: niles
| Upstream: N/A
Reviewer:
| Merged:
Work_issues: Fix bug in sage.schemes.elliptic_curves.sha_tate.Sha.an_padic;
mention ticket number in commit messages. |
------------------------------------------------------------------------------------------------------------------------+
Comment(by SimonKing):
Hi niles!
Replying to [comment:9 niles]:
> Thanks, but I'm not sure I can tell how to fix this . . .
At least your bug hunting was much deeper than mine.
> Before I try to chase this further, I think we should try to determine
whether the patch is causing {{{Dp_valued_series}}} to give the wrong
answer, or whether the conditions on {{{shan0}}} and {{{shan1}}} should be
changed.
Probably {{{Dp_valued_series}}}, since the patch changes it, as you found
out. But I am no expert for elliptic curves.
> Ideas? If I've missed the point of your previous comment, could you
explain how you determined that was the problem?
I inserted some print statements into an_padic, I don't recall exactly
where. And it told me that just before the error occured, {{{O(T^2)}}}
occured and was tested for being zero. As this is something that the patch
changed, I conluded that there is a problem (but perhaps not the only
problem).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9457#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 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.
