SpectralSequences / sseq

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

Add Mahowald invariant example #113

Closed aergus closed 11 months ago

aergus commented 1 year ago

Here is an example that computes algebraic Mahowald invariants, showcasing ResolutionHomomorphism in particular.

hoodmane commented 1 year ago

Sorry for just leaving this here. We should probably merge this...

JoeyBF commented 1 year ago

I'll add that the lint error is just due to a new version of clippy and the selenium error is the same as in #121

aergus commented 1 year ago

Thanks for the feedback. I'm trying to refactor the code to make it more testable and will comment here again when it's done (or I give up).

aergus commented 1 year ago

I've added a test with a few cases (and "fixed" the incompatibility with the nassau feature).

JoeyBF commented 1 year ago

Looks great to me! @hoodmane anything to add?