Changes between Version 2 and Version 3 of Ticket #17283
 Timestamp:
 11/04/14 21:33:54 (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #17283

Property
Priority
changed from
major
tocritical

Property
Summary
changed from
Changing the coefficient ring of a Dirichlet character gives a wrong result
toEvaluating Dirichlet characters can give wrong results

Property
Priority
changed from

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`):1 Evaluating Dirichlet characters is broken in some cases (the image of 133 is wrong in this example): 2 2 {{{ 3 3 sage: k.<i> = CyclotomicField(4) 4 4 sage: G = DirichletGroup(192) 5 sage: G0 = DirichletGroup(192, k)6 5 sage: chi = G([i,1,1]); chi 7 6 Dirichlet character modulo 192 of conductor 48 mapping 127 > zeta16^4, 133 > 1, 65 > 1 7 sage: chi(133) 8 1 9 }}} 10 Because of this, changing the coefficient field of `chi` is broken as well: 11 {{{ 12 sage: G0 = DirichletGroup(192, k) 8 13 sage: chi0 = G0(chi); chi0 9 14 Dirichlet character modulo 192 of conductor 24 mapping 127 > i, 133 > 1, 65 > 1