Opened 15 years ago

Closed 15 years ago

#1185 closed defect (fixed)

Coercion trouble: reducing a fourier coefficient of a cusp form modulo a prime ideal

Reported by: ifti Owned by: was
Priority: major Milestone: sage-2.9
Component: number theory Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

I run into some coercion trouble when I reduce a fourier coefficient of a cusp form modulo a prime ideal.

Any idea how I can avoid this?

sage: M = ModularSymbols(77, 2)

sage: s = M.cuspidal_subspace().new_subspace()

sage: N = s.decomposition()

sage: f = N[3].q_eigenform()

sage: R = f.base_ring()

sage: K = R.number_field()

sage: O = K.ring_of_integers()

sage: I = O.ideal(7)

sage: F = O.residue_field(I)

sage: F(f[2])
---------------------------------------------------------------------------
<type 'exceptions.TypeError'>             Traceback (most recent call
last)

/home/burhanud/tau_nov14_07/<ipython console> in <module>()

/home/burhanud/tau_nov14_07/residue_field.pyx in
sage.rings.residue_field.ResidueFiniteField_givaro.__call__()

/home/burhanud/tau_nov14_07/finite_field_givaro.pyx in
sage.rings.finite_field_givaro.FiniteField_givaro.__call__()

<type 'exceptions.TypeError'>: unable to coerce

Change History (5)

comment:1 Changed 15 years ago by ifti

This was an email posted to the sage-devel mailing list on 11/05/07. Consult thread for the discussion.

comment:2 Changed 15 years ago by mabshoff

  • Milestone set to sage-2.8.13

David Roe filed another ticket on that, so please also look at #1183.

Cheers,

Michael

comment:3 Changed 15 years ago by mabshoff

  • Summary changed from Coercion trouble to Coercion trouble: reducing a fourier coefficient of a cusp form modulo a prime ideal

comment:4 Changed 15 years ago by was

The correct way is this, which works with #1183 applied.

sage: M = ModularSymbols(77, 2)
sage: s = M.cuspidal_subspace().new_subspace()
sage: N = s.decomposition()
sage: f = N[3].q_eigenform()
sage: R = f.base_ring()
sage: K = R.number_field()
sage: O = K.ring_of_integers()
sage: I = O.ideal(7)
sage: F = O.residue_field(I)
sage: F(f[2].lift())
alphabar

comment:5 Changed 15 years ago by mabshoff

  • Resolution set to fixed
  • Status changed from new to closed

resolved due to patch set from #1183

Note: See TracTickets for help on using tickets.