DedekindSum

The Dedekind sum $s(h,k) = \sum_{j=1}^{k-1}((j/k))\,((hj/k))$, returned as an exact rational rather than a float.

FungrimDedekindSum↗Fungrim entry921ef0↗

DedekindSum(h, k)$s(h,k)$, exact

Typed signatures

Type	Package	Applies
(integer, integer) -> number	modular	always

Domain: The modular group

Examples

Basic #

$s(1,5) = \frac{(5-1)(5-2)}{12\cdot 5}$, exact

live ↗

In$\mathrm{DedekindSum}(1, 5)$Out$\frac{1}{5}$

A rational, not a float

live ↗

In$\mathrm{DedekindSum}(2, 7)$Out$\frac{1}{14}$

About

Examples	2
Crosswalk	FungrimFungrim entry

See also: RademacherSymbol