Changes between Version 2 and Version 3 of Ticket #17283


Ignore:
Timestamp:
11/04/14 21:33:54 (5 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17283

    • Property Priority changed from major to critical
    • Property Summary changed from Changing the coefficient ring of a Dirichlet character gives a wrong result to Evaluating Dirichlet characters can give wrong results
  • Ticket #17283 – Description

    v2 v3  
    1 Changing the coefficient field of a Dirichlet character is broken in some cases (the conductor and the image of 133 are wrong in `chi0`):
     1Evaluating Dirichlet characters is broken in some cases (the image of 133 is wrong in this example):
    22{{{
    33sage: k.<i> = CyclotomicField(4)
    44sage: G = DirichletGroup(192)
    5 sage: G0 = DirichletGroup(192, k)
    65sage: chi = G([i,-1,-1]); chi
    76Dirichlet character modulo 192 of conductor 48 mapping 127 |--> zeta16^4, 133 |--> -1, 65 |--> -1
     7sage: chi(133)
     81
     9}}}
     10Because of this, changing the coefficient field of `chi` is broken as well:
     11{{{
     12sage: G0 = DirichletGroup(192, k)
    813sage: chi0 = G0(chi); chi0
    914Dirichlet character modulo 192 of conductor 24 mapping 127 |--> i, 133 |--> 1, 65 |--> -1