#5792: [with patch, needs review] Dirichlet character bug
---------------------------+------------------------------------------------
Reporter: davidloeffler | Owner: craigcitro
Type: defect | Status: new
Priority: major | Milestone: sage-4.0
Component: modular forms | Keywords: dirichlet characters
---------------------------+------------------------------------------------
Comment(by craigcitro):
I agree -- the business of `zeta_order` causes all sorts of confusion.
However, I'm leaning the other direction -- I say we just eliminate it
altogether from the defining data for a `DirichletGroup`. We could just
avoid computing the zeta order in the ring until we need to, and when
forced, just bite the bullet and do it. There will be several bonuses from
doing this, and in particular, we can neatly clean up the trouble with
basically-the-same-but-not-really-the-same groups, which is nice. The only
potential downside I see is what you bring up in your comment -- if
someone gives us a pretty ugly non-domain as the ring to work over (other
than integers mod some `N`, where we can use other tricks to figure out
the zeta order), we might spend time computing the zeta order. But that
really seems like a rare case in my mind ... that said, it's 3am, so I
won't make any promises about how my mind is operating. `:)`
So my vote: we commit this patch, and then open a new ticket to clean up
this `zeta_order` business.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5792#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
-~----------~----~----~----~------~----~------~--~---
