Ticket #2521 (closed defect: fixed)

Opened 5 years ago

Last modified 5 years ago

[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: Work issues:
Report Upstream: Reviewers:
Authors: Merged in:
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

comment:1 Changed 5 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 5 years ago by was

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

comment:3 Changed 5 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.