Skip to content

Separate the shared-row sum from the operator 2-norm (no new κ) - #4515

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/gaussian-operator-lift
Oct 22, 2026
Merged

Separate the shared-row sum from the operator 2-norm (no new κ)#4515
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jwr404:research/gaussian-operator-lift

Record that a shared row does not bound the operator 2-norm

535e4f5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 22, 2026 in 2m 44s