Repository navigation

feat(PolyTime/LinearAlgebra): add Vandermonde auxiliary rows and exchange replacement - #1308

Merged

SamuelSchlesinger merged 7 commits into

mainfrom

feat/rt-aux-rows-1226-antonkov

Oct 27, 2026

Merged

feat(PolyTime/LinearAlgebra): add Vandermonde auxiliary rows and exchange replacement#1308
SamuelSchlesinger merged 7 commits into
mainfrom
feat/rt-aux-rows-1226-antonkov

Commits on Oct 27, 2026
- feat(PolyTime/LinearAlgebra): auxiliary measurement matrices and cleared replacement rows
  Anton Kovsharov
  committed
  0dd972f
- Merge remote-tracking branch 'origin/main' into feat/rt-aux-rows-1226-antonkov
  Anton Kovsharov
  committed
  0c39482
- Merge remote-tracking branch 'origin/main' into feat/rt-aux-rows-1226-antonkov
  Anton Kovsharov
  committed
  e8dc815
- chore: regenerate Complexity.lean after merging origin/main
  Anton Kovsharov
  committed
  e1b1188
- fix(PolyTime): consolidate coeffNorm1_ofCoeffList and clarify table docs
  Anton Kovsharov
  committed
  2bcd3a2
- Merge remote-tracking branch 'origin/main' into feat/rt-aux-rows-1226-antonkov
  Anton Kovsharov
  committed
  d61cfe6
- Merge remote-tracking branch 'origin/main' into feat/rt-aux-rows-1226-antonkov
  Anton Kovsharov
  committed
  f934ee1