#7191: is_primitive() for a Dirichlet character doesn't work when base ring is
CC
-----------------------------+----------------------------------------------
Reporter: bober | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-4.7
Component: number theory | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by bober):
The attached patch may fix the issues. (But perhaps some issues remain.)
The main solution is to fix things so that the discrete log table is not
used when the base ring is a complex field. (It really isn't needed since
the nth root of unity that is chosen will always be e(1/n).)
There are also some small fixes to deal with the gauss sum, and to deal
with is_even and is_odd. In the latter case, we again have the problem
that we can't test chi(-1) == -1, for example, since things are
approximate.
There might be some more issues to fix to make things work well, but all
doctests pass for me, so the patch at least doesn't break anything.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7191#comment:2>
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.
