Skip to content

KroneckerSymbol

The Kronecker symbol (a/n): the Jacobi symbol extended to every integer n.

KroneckerSymbol(a, n)the Kronecker symbol .

Domain: Number theory

Details
  • Agrees with JacobiSymbol wherever is odd and positive, and with LegendreSymbol where is also prime — this is the head above both.
  • if , else 0; if , if .
  • for even ; if ; if — this is the piece Jacobi's odd- restriction leaves out.
  • Completely multiplicative in : .
  • Bignum-safe: both arguments may exceed the double-precision range.

Examples

See also: JacobiSymbol, LegendreSymbol