Repository navigation

Literally check #4601's radical-invariance cost formula on a noncommutative local algebra (F4[e;Frob]/e^2) and three further local rings: holds on every target (no new κ) - #4613

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

pinterbanget:check-4601

Oct 22, 2026

Merged

Literally check #4601's radical-invariance cost formula on a noncommutative local algebra (F4[e;Frob]/e^2) and three further local rings: holds on every target (no new κ)#4613
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
pinterbanget:check-4601

Commits on Oct 22, 2026
- Literally check #4601's radical-invariance cost formula on a noncommutative local algebra (F4[e;Frob]/e^2) and three further local rings: holds on every target (no new κ)
  
  pinterbanget
  and
  claude
  committed
  a59c2bf