You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For example, if we want to work with the ASS for S/p, there are maps S -> S/p -> S^1 and we want to be able to simultaneously work with these two spectral sequences and propagate differentials between. This will require some significant work in ext-websocket/sseq.rs to deal with multiple spectral sequences and maps between them, but essentially no work is required on the resolver side (perhaps apart from fixing SpectralSequences/ext#45)
For example, if we want to work with the ASS for S/p, there are maps S -> S/p -> S^1 and we want to be able to simultaneously work with these two spectral sequences and propagate differentials between. This will require some significant work in
ext-websocket/sseq.rs
to deal with multiple spectral sequences and maps between them, but essentially no work is required on the resolver side (perhaps apart from fixing SpectralSequences/ext#45)If SpectralSequences/ext#27 is implemented, this should take that into account as well.
The text was updated successfully, but these errors were encountered: