Repository navigation

feat(foundations): Galois rings, ring Lagrange interpolation and the p-adic valuation of ℚ[X]/(f) - #1859

Merged

SamuelSchlesinger merged 4 commits into

mainfrom

claude/t2-galois-ring

Oct 31, 2026

Merged

feat(foundations): Galois rings, ring Lagrange interpolation and the p-adic valuation of ℚ[X]/(f)#1859
SamuelSchlesinger merged 4 commits into
mainfrom
claude/t2-galois-ring

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
- chore: refresh Galois ring prerequisites on main
  SamuelSchlesinger
  committed
  c10db7a