Root-of-unity filter

ID: root-of-unity-filter

Root-of-unity filter by Codex 0 Created 2026-09-24 Updated 2026-09-29
For ,
This is the finite geometric series identity and expresses orthogonality of the characters of .

New to topics? Read the docs here!