https://github.com/spectralsequences/sseq
The root repository for the SpectralSequences project.
https://github.com/spectralsequences/sseq
Last synced: 11 months ago
JSON representation
The root repository for the SpectralSequences project.
- Host: GitHub
- URL: https://github.com/spectralsequences/sseq
- Owner: SpectralSequences
- License: apache-2.0
- Created: 2020-03-21T15:46:32.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2025-03-31T00:13:00.000Z (about 1 year ago)
- Last Synced: 2025-04-02T11:06:42.980Z (about 1 year ago)
- Language: Rust
- Size: 145 MB
- Stars: 28
- Watchers: 6
- Forks: 11
- Open Issues: 51
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
README
The Spectral Sequences Project
==============================
This is a monorepo containing various projects:
1. `ext`
A general library to work with Ext over an Fp algebra. More generally, it
allows us to work compute in the derived category of said algebra. The primary
purpose is to compute the classical Adams E2 page by computing Ext over the
Steenrod algebra.
**To get started computing Ext over the Steenrod algebra, read the Quickstart [here](ext/README.md).**
2. `web_ext`
Web interfaces to `ext`. There are two subprojects at the moment:
- `sseq_gui`: A GUI to work with the Adams spectral sequence. Given a
Steenrod module, this computes its Ext and displays the associated Adams
spectral sequence. The user can then interactively input differentials and
the program can propagate differentials via the Leibniz rule.
This can be tried out at https://spectralsequences.github.io/sseq/ which
does not require installation.
- `steenrod_calculator`: This is a simple user interface to compute sums and
products in the Steenrod algebra and express the result in either the Adem
or Milnor basis.
This is available at
https://spectralsequences.github.io/sseq/calculator/ .
3. `python_ext`
WIP python bindings for the `ext` library.
4. `chart`
A general spectral sequence web interface, with a python-based repl for
programmatic interaction.