Skip to main content
2 of 2
added 115 characters in body
Hood
  • 183
  • 2
  • 7

I just wanted to chime in to plug my own Ext calculator (a joint venture with Dexter Chua). You can see an interactive calculation of $\mathbb{R}\mathrm{P}^4\wedge\mathbb{R}\mathrm{P}^4$ here:

Ext chart here.

There's a list of other example modules that you can resolve here: https://hoodmane.github.io/rust_ext/

You can interactively add Adams differentials and it will propagate them using a few basic rules, but you'll mostly need to work them out yourself.

Hood
  • 183
  • 2
  • 7