#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):
> This is a systemic problem with using the generic polynomial module with
an inexact ring: it has a habit of truncating leading zeroes after
virtually every arithmetic operation. This systemic problem needs a
systemic solution: there needs to be a way to check whether an element of
an inexact ring is an exact zero or not, so that `truncate` can preserve
inexact leading zeroes, i.e., a method called `is_exact_zero` or
something.
I agree, this is the key. I believe it's been discussed several times in
the past. Unfortunately the Sage development model seems to be very good
at introducing systemic design bugs like this, but doesn't seem to be very
good at fixing them (my perennial favourite is #3680). What we need is a
hero with lots of time on their hands.
david
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/2943#comment:21>
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
-~----------~----~----~----~------~----~------~--~---
