Repository navigation

Add `ResidueClass(k, n)`, an element of ℤ/nℤ, and list ℤ/nℤ through it - #411

Closed

enumeratio wants to merge 1 commit into

cortex-js:mainfrom

enumeratio:residue-class

Closed

Add `ResidueClass(k, n)`, an element of ℤ/nℤ, and list ℤ/nℤ through it#411
enumeratio wants to merge 1 commit into
cortex-js:mainfrom
enumeratio:residue-class

Commits on Oct 3, 2026
- Add ResidueClass(k, n), an element of ℤ/nℤ with k reduced into 0…n-1, equality, exact bigint arithmetic with inverses only for units, integer coercion, \overline{k}_{n} LaTeX; list and decide membe…
  enumeratio
  committed
  095aaa8