Ext of infinite modules via Nassau's untwisted tensor resolution - #279

Open

JoeyBF wants to merge 12 commits into

SpectralSequences:masterfrom

JoeyBF:claude/cohomology-field-resolution-cmcu0i

Commits on Aug 1, 2026

ext_algebra: let the Ext DGA carry a differential and compute cohomology
claude
committed
9d14ead
ext_algebra: cohomology_subquotient + the Adams d₂ as an ExtDifferential
claude
committed
9075958
ext_algebra: route the secondary d₂/E₃ page onto the shared cohomology path
claude
committed
a86b774
ext_algebra: fix CI — adapt secondary_massey to the hom_k page-fn API + nightly fmt
claude
committed
9ea0e4d
ext_algebra: match the e3_page convention at the top edge of the resolved range
claude
committed
37918ec
ext_algebra: assert capped matrix dimensions before using their ranks
claude
committed
503a888
ext_algebra: reframe docs so ExtAlgebra reads as classical Ext(k,k)
claude
committed
439c23d
sseq: drive bidegrees whose dependency reaches the same internal degree
claude
committed
37d859c
secondary: allow the secondary machinery to run on a non-minimal resolution
claude
committed
4ca5580
ext_algebra: Ext of infinite modules via the untwisted tensor resolution
claude
committed
a4292fb
ext: chart Ext of the infinite RP^∞ via the untwisted tensor resolution
claude
committed
e2bf71e
Correct the stem-60 test's runtime estimate
claude
committed
85ad5ca