#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):
Here's the problem.
Without the patch:
{{{
sage: R.<T> = QQ.completion(5,5)[[]]
sage: R
Power Series Ring in T over 5-adic Field with capped relative precision 5
sage: O(T^2) == 0
False
}}}
With the patch:
{{{
sage: R.<T> = QQ.completion(5,5)[[]]
sage: R
Power Series Ring in T over 5-adic Field with capped relative precision 5
sage: O(T^2) == 0
True
}}}
I guess that the second answer is correct. Unfortunately, Sha.an_padic
relies on the wrong answer.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9457#comment:8>
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.
