Split the secondary layer + add SecondaryExtModule::secondary_massey - #278

Open

JoeyBF wants to merge 6 commits into

SpectralSequences:masterfrom

JoeyBF:claude/259-phase3-secondary

Commits on Aug 1, 2026

Make Algebra trait generic over grading (multidegree support)
claude
committed
00bf44a
Make Module trait generic over grading (multidegree support)
claude
committed
ae0b613
Split ExtAlgebra into ring ExtAlgebra and module ExtModule (#259)
claude
committed
a4045ee
Assemble class product maps by adding cached generator maps
claude
committed
285e8bc
Split secondary layer into SecondaryExtAlgebra (ring) and SecondaryExtModule
claude
committed
d9c73b2
Add SecondaryExtModule::secondary_massey and refactor its example onto it
claude
committed
cbdd6d7