search

SpectralSequences / sseq

The root repository for the SpectralSequences project.
Apache License 2.0
25 stars 10 forks source link

Finish HomModule work #81

Closed dalcde closed 2 years ago

dalcde commented 2 years ago

This was written to make it possible to compute Ext(M, N) instead of just Ext(M, k).

dalcde commented 2 years ago

I'm thinking that instead of constructing the chain complex whose homology is Ext(M, N), we can simply have code that directly computes this ext group given a free resolution of M and a module N. There is no need to have an actual chain complex object to represent it.

This would avoid needing to introduce a cochain complex trait as well as all the homology functions that are not implemented/broken for the majority of the chain complexes we deal with.