#5736: [with patch, needs work] Improve doctest coverage for sage/modular/hecke
---------------------------+------------------------------------------------
Reporter: davidloeffler | Owner: davidloeffler
Type: defect | Status: assigned
Priority: major | Milestone: sage-3.4.2
Component: modular forms | Keywords:
---------------------------+------------------------------------------------
Comment(by davidloeffler):
What would you suggest for your point number 2 above? The scenario I had
in mind was that one might be somehow using "loads" to read in a Hecke
operator that had been precomputed at great expense, and it would make
sense to avoid recomputing all that data when comparing it with / adding
it to / whatever something else that had been computed afresh. E.g. in one
session
{{{
sage: H = ModularForms(Gamma0(10), 12).hecke_operator(123456789)
sage: H.matrix() # very long!
sage: save(H, "./bigheckeop.sobj")
}}}
(let's assume this would actually terminate in some reasonable time)
and later
{{{
sage: H = load("./bigheckeop.sobj")
sage: ModularForms(Gamma0(10), 12).hecke_operator(6) + H
}}}
At present this will raise a RuntimeError, which is clearly bad. But doing
the computation of the enormous Hecke operator's matrix again from scratch
isn't ideal either.
Checking that the bases are "the same" is a bit of a problem because what
we really need to do is to check that the basis vectors have the same
interpretation as a mathematical objects, rather than just that they're
the same ones and zeros in memory. E.g. we might have changed the order in
which modular symbol basis vectors were enumerated between versions, and
then the second basis vector would still be (0,1,0,..), but it would
correspond to a different mathematical object.
It's not a very likely use case, I suppose, so maybe it is safer just to
force the recomputation. Let me know what you think, and I'll do a new
patch.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5736#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
