Opened 5 years ago

Last modified 6 weeks ago

#24454 new defect

Strange behaviour of change_ring(CC) for Dirichlet characters

Reported by: mneururer Owned by:
Priority: minor Milestone:
Component: number theory Keywords: dirichlet characters, DirichletGroup
Cc: wuthrich Merged in:
Authors: Michael Neururer Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

GitHub link to the corresponding issue


Changing the base ring of a Dirichlet character defined over a number field to the complex numbers does not work. The following code shows some unexpected behaviour:

sage: G = DirichletGroup(5);
sage: G_CC = G.change_ring(CC)
sage: phi = G[1]
sage: phi.change_ring(CC) #NotImplementedError
<repr(<sage.modular.dirichlet.DirichletGroup_class_with_category.element_class at 0x6fe8c3e94b0>) failed: NotImplementedError: order of element not known>
sage: G_CC(phi) #NotImplementedError
<repr(<sage.modular.dirichlet.DirichletGroup_class_with_category.element_class at 0x6fe9012c550>) failed: NotImplementedError: order of element not known>
sage: G_CC[2];
sage: phi.change_ring(CC)
Dirichlet character modulo 5 of conductor 5 mapping 2 |--> 6.12323399573677e-17 + 1.00000000000000*I

It seems that when calling G_CC[2] (or calling any other element of G_CC) some values get cached that make phi.change_ring(CC) work.

Change History (1)

comment:1 Changed 6 weeks ago by mkoeppe

Milestone: sage-8.2
Note: See TracTickets for help on using tickets.