Revision as of 13:55, 25 March 2023 (view source) Chemoelectric (talk \| contribs) (→‎{{header\|C}}) ← Older edit		Revision as of 14:01, 25 March 2023 (view source) Chemoelectric (talk \| contribs) m (→‎{{header\|ATS}}) Newer edit →
Line 354: extern fn {tk : tkind} f : {m : int} modular_g0uint (tk, m) -<> modular_g0uint (tk, m) (* Using the "successor" function below means that, to add 1, we do

Modular arithmetic: Difference between revisions

Modular arithmetic (view source)