#2943: [with patch, not ready for review] bug with power series and/or p-adics
---------------------------------------------+------------------------------
Reporter: jen | Owner: was
Type: defect | Status: new
Priority: critical | Milestone: sage-3.4.1
Component: number theory | Resolution:
Keywords: power series, p-adic extensions |
---------------------------------------------+------------------------------
Comment (by kedlaya):
I can simplify dmharvey's bad example even further. No need to work over
the p-adics at all! (This execution is from 3.2.3.)
{{{
sage: C.<t> = PowerSeriesRing(Integers())
sage: D.<s> = PowerSeriesRing(C)
sage: y = 1 - (t + O(t^2))*s + O(s^5)
sage: 1/y
1 + (t + O(t^2))*s + (2*t^2 + O(t^3))*s^2 + O(s^5)
}}}
So I dare say this is really a bug in power series, specifically in
precision management.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/2943#comment:16>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
