Identity element

From The K Language Wiki
Revision as of 22:29, 8 July 2021 by Ngn (talk | contribs) (Created page with "The '''identity element''' (or '''left identity element''') for a given type and dyadic function <code>f</code> is an object <code>x</code> such that <code>f[x;y]~y</code> for...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The identity element (or left identity element) for a given type and dyadic function f is an object x such that f[x;y]~y for all (or almost all) y.

Identity elements corresponding to primitive dyadic verbs act as a default seed for fold, scan, and each prior.

Retrieved from "https://wiki.cor.fyi/wiki/Identity_element?oldid=193"