Opened 12 years ago

Closed 12 years ago

Last modified 12 years ago

#2521 closed defect (fixed)

[already fixed] Bug in gauss_sum_numerical in degenerate case (probably easy to fix)

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

Description

sage: G = DirichletGroup(4)
sage: G(1).gauss_sum_numerical()
Traceback (most recent call last):
...
TypeError: 1 must be coercible into Cyclotomic Field of order 2 and degree 1 (and is not an element)

Instead the result should be 0:

sage: G(1).gauss_sum()
0

Change History (3)

comment:1 Changed 12 years ago by AlexGhitza

  • Summary changed from Bug in gauss_sum_numerical in degenerate case (probably easy to fix) to [already fixed] Bug in gauss_sum_numerical in degenerate case (probably easy to fix)

This is fixed in sage-3.0.alpha2:

sage: G=DirichletGroup(4)
sage: G(1).gauss_sum_numerical()
-1.22464679914735e-16

I think it is due to Craig Citro's fixes in the cyclotomic fields code (see #2192).

comment:2 Changed 12 years ago by was

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

comment:3 Changed 12 years ago by mabshoff

For the record:

[04:14] <mabshoff> wstein: can you confirm that #2521 is fixed and close it then?
[04:16] <wstein> yep, is fixed.
Note: See TracTickets for help on using tickets.