#13200: Add a function for computing Dedekind sums
---------------------------------+------------------------------------------
Reporter: fredrik.johansson | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.2
Component: number theory | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors: Fredrik Johansson
Merged in: | Dependencies: 13199
Stopgaps: |
---------------------------------+------------------------------------------
The patch adds dedekind_sum() to arith.py, wrapping the FLINT
implementation.
Pari is also exposed (inefficiently, using the gp interface) for reference
purposes. Note that FLINT and Pari return different results when gcd(p,q)
!= 1. The Dedekind is usually simply not defined in this case. If anyone
knows a use for Dedekind sums with gcd(p,q) != 1, and a reason to prefer
one definition over the other, I would be interested in hearing about it.
We could, alternatively, check that gcd(p,q) = 1 and otherwise return 0 or
raise an exception (this would add a bit of overhead).
The patch depends on #13199 for a library file added there.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13200>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
