Kronecker

The Kronecker delta.

Syntax

• Kronecker(m, n)

  • m is an integer

  • n is an integer

Description

The Kronecker delta is defined by

                  ⎧ 1   if m = n
Kronecker(m, n) = ⎨
                  ⎩ 0   otherwise.

Hence,

Kronecker(m, n) = Iverson(m = n).

Notes

If you use the Kronecker function frequently, you may want to assign it to δ or some other brief symbol.

Examples

δ ≔ Kronecker

Kronecker

a ≔ (m, n, i, j) ↦ (−1)^(m⋅n) + δ(i, j) − δ(m, n)

custom function

See also

• Iverson

• KroneckerSymbol