Repository navigation

feat(PolyTime): Newton inversion inverts every unit of a Galois ring - #1918

Merged

SamuelSchlesinger merged 11 commits into

mainfrom

claude/t2-galois-inv

Oct 31, 2026

Merged

feat(PolyTime): Newton inversion inverts every unit of a Galois ring#1918
SamuelSchlesinger merged 11 commits into
mainfrom
claude/t2-galois-inv

Commits on Oct 30, 2026
- feat(foundations): Galois rings, ring Lagrange interpolation and the p-adic valuation of Q[X]/(f)
  
  SamuelSchlesinger
  and
  claude
  committed
  fa3aa4a
Commits on Oct 31, 2026
- refactor(foundations): move AdjoinRoot coefficient reduction to its own module
  
  SamuelSchlesinger
  and
  claude
  committed
  f934946
- doc(foundations): scope GaloisRing to the manuscript's base ring O/(2^n)
  
  SamuelSchlesinger
  and
  claude
  committed
  5189108
- feat(PolyTime): arithmetic in (Z/2^p)[U]/(f) on coefficient lists
  
  SamuelSchlesinger
  and
  claude
  committed
  99d9e0d
- feat(PolyTime): unit and powers in (Z/2^p)[U]/(f)
  
  SamuelSchlesinger
  and
  claude
  committed
  b9caee5
- feat(PolyTime): negation, subtraction and Newton inversion in (Z/2^p)[U]/(f)
  
  SamuelSchlesinger
  and
  claude
  committed
  dc4824e
- chore: refresh Galois ring prerequisites on main
  SamuelSchlesinger
  committed
  c10db7a
- Merge remote-tracking branch 'origin/claude/t2-galois-ring' into claude/t2-galois-inv
  SamuelSchlesinger
  committed
  83ea444
- feat(PolyTime): Newton inversion inverts every unit of a Galois ring
  
  SamuelSchlesinger
  and
  claude
  committed
  c1407c7
- Merge origin/main into claude/t2-galois-inv
  
  SamuelSchlesinger
  and
  claude
  committed
  c33b2c4
- Merge origin/main into claude/t2-galois-inv
  
  SamuelSchlesinger
  and
  claude
  committed
  df1f86c