Skip to content

SpectralSequences

aboocher edited this page May 10, 2016 · 4 revisions

Notes of things we have done

We should change the way that net displays the pages. It often has a giant module at the end due to the fact that we didn't take an infinite resolution. (This has been completed - we have a new function called netPage which should function like netList in that it displays only portions of the spectralSequencePage)

We have commented out some experimental code.

We have added a method called tensor(RingMap, ChainComplex) to facilitate our change of rings spectral sequence.

Still to do / Wishlist

Implement a change of rings spectral sequence that involves Ext. We attempted to do this during the workshop, but encountered a need for injective resolutions. We suspect there might be a way around this, though. But this is a mathemtatical question - note: most naive constructions don't work!

Documentation Goals

The examples are currently displaying "too much" We could have more text explaining the computations and highlight various features. We should opt not to display very large matrices/pages/etc. netPage can help with this.

We should have tests/examples for each method.