Genericize the algebra crate and resolution engine over the ground ring - #263

Closed

JoeyBF wants to merge 7 commits into

SpectralSequences:masterfrom

JoeyBF:claude/algebra-generic-base-ring

Commits on Jul 10, 2026

Genericize the algebra crate over the base ring: Ring and GradedDvr

claude
authored and
JoeyBF
committed
d5cb501
Wire the resolution engine onto the base ring's linear algebra

claude
authored and
JoeyBF
committed
7ec6ebb
Make Ring a sub-trait of Algebra

claude
authored and
JoeyBF
committed
0edc46c
Rename the solving trait GradedDvr to Solvable

claude
authored and
JoeyBF
committed
fd80ef3
Add Algebra::module_at accessor exposing graded pieces as R-modules

claude
authored and
JoeyBF
committed
4bdd9ea
Satisfy rustfmt and rustdoc lints

claude
authored and
JoeyBF
committed
2e53345
Extract the classical module_at body into a shared helper

claude
authored and
JoeyBF
committed
70667e9