#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 dmharvey):
Replying to [comment:17 kedlaya]:
> I think multiplication here uses z._mul_karatsuba, so maybe dmharvey
needs to look at this again. Karatsuba may cause problems when working
over an inexact coefficient ring.
I don't know who wrote the karatsuba code. I think it was there long
before I started working on sage. Sure, I agree karatsuba should give
inaccurate answers over an inexact coefficient ring, but it shouldn't give
*wrong* answers. I guess the easiest solution is just to disable or remove
karatsuba altogether, or first check whether the coefficient ring is
exact.
david
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/2943#comment:18>
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
-~----------~----~----~----~------~----~------~--~---
