Repository navigation

feat(AKS): the word-RAM AKS program and PRIMES ∈ P - #1902

Merged

SamuelSchlesinger merged 20 commits into

mainfrom

claude/aks-toplevel-893

Oct 31, 2026

Merged

feat(AKS): the word-RAM AKS program and PRIMES ∈ P#1902
SamuelSchlesinger merged 20 commits into
mainfrom
claude/aks-toplevel-893

Commits on Oct 30, 2026
- feat(WordRAM/AKS): word-RAM subroutines for the AKS primality test (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  fffd3d2
- feat(WordRAM/AKS): write and compare coefficient arrays (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  c743e32
Commits on Oct 31, 2026
- fix(WordRAM/AKS): wrap long test line and correct two docstrings (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  99fd3bc
- feat(WordRAM/AKS): repeated squaring and the congruence test (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  a3649ca
- feat(AKS): integer thresholds, the order search and step 3 (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  0f592f2
- feat(WordRAM/AKS): the step-5 congruence loop (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  71b9b9c
- Merge remote-tracking branch 'origin/main' into claude/aks-toplevel-893
  
  SamuelSchlesinger
  and
  claude
  committed
  049074c
- feat(WordRAM/AKS): the top-level AKS program and its correctness (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  35a8017
- Merge remote-tracking branch 'origin/main' into claude/aks-congruence-893
  SamuelSchlesinger
  committed
  6f99f72
- Merge branch 'claude/aks-congruence-893' into claude/aks-program-893
  
  SamuelSchlesinger
  and
  claude
  committed
  1b08ead
- Merge branch 'claude/aks-program-893' into claude/aks-toplevel-893
  
  SamuelSchlesinger
  and
  claude
  committed
  b77e941
- chore: add the AKS program to the import aggregate
  
  SamuelSchlesinger
  and
  claude
  committed
  b5328a8
- feat(AKS): PRIMES is in P through the word-RAM AKS program (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  0c9483d
- style(WordRAM/AKS): make a non-terminal simp terminal in the order search (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  7bf57c7
- Merge branch 'claude/aks-program-893' into claude/aks-toplevel-893
  
  SamuelSchlesinger
  and
  claude
  committed
  747a514
- feat(WordRAM/AKS): the explicit bound time s ≤ 4096 (s + 1)^15 (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  bf2d042
- Merge origin/main into claude/aks-program-893
  
  SamuelSchlesinger
  and
  claude
  committed
  bd357c7
- refactor(AKS): define Passes as PassesUpTo at numTests (#893)
  
  SamuelSchlesinger
  and
  claude
  committed
  dcc17f6
- Merge claude/aks-program-893 into claude/aks-toplevel-893
  SamuelSchlesinger
  committed
  69dc7b2
- Merge origin/main into claude/aks-toplevel-893
  
  SamuelSchlesinger
  and
  claude
  committed
  c241976

Commits

Commits on Oct 30, 2026

Commits on Oct 31, 2026