Module rpn 

Structs

RPSpec 🔒

RealProjectiveSpace

This is $\mathbb{RP}_{\mathrm{min}}^{\mathrm{max}}$. The cohomology is the subquotient of $\mathbb{F}_2[x^\pm]$ given by elements of degree between min and max (inclusive)

Functions

coef_adem 🔒

coef_milnor 🔒