ext_algebra: let the Ext DGA carry a differential and compute cohomology#267

Open

JoeyBF wants to merge 7 commits into

SpectralSequences:masterfrom

JoeyBF:claude/ext-algebra-cohomology

Commits on Jul 12, 2026

ext_algebra: let the Ext DGA carry a differential and compute cohomology
claude
committed
ext_algebra: cohomology_subquotient + the Adams d₂ as an ExtDifferential
claude
committed
ext_algebra: route the secondary d₂/E₃ page onto the shared cohomology path
claude
committed
ext_algebra: fix CI — adapt secondary_massey to the hom_k page-fn API + nightly fmt
claude
committed
ext_algebra: match the e3_page convention at the top edge of the resolved range
claude
committed
ext_algebra: assert capped matrix dimensions before using their ranks
claude
committed
ext_algebra: reframe docs so ExtAlgebra reads as classical Ext(k,k)
claude
committed