#6018: Confusing behaviour with Dirichlet characters
-----------------------------+----------------------------------------------
Reporter: davidloeffler | Owner: craigcitro
Type: defect | Status: needs_review
Priority: minor | Milestone: sage-4.3.1
Component: modular forms | Keywords: Dirichlet characters
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by davidloeffler):
I am running sage -testall on this patch at the moment.
The key question, I think, is what we want to happen in the following
situation:
{{{
sage: f = DirichletGroup(17, ZZ).0
sage: f.base_extend(Integers(15))
}}}
This worked under the old approach, because the parent of the base-
extended thing was the Dirichlet group of modulus 17 and {{{zeta =
ZZ(15)(-1)}}}, of order 2. But I suspect that with this patch it will fail
now, with an error message about not being able to compute roots of unity
mod 15.
I suggest a further modification which makes the constructor raise a more
intelligent error message if the root of unity isn't specified and the
base ring is one where we can't do factorisation. If the tests pass I will
write such a patch, and give William's patch a positive review conditional
on that.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6018#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
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.
