Re-exports§
pub use steenrod_module::SteenrodModule;
Modules§
- block_
structure - finite_
dimensional_ 🔒module - finitely_
presented_ 🔒module - free_
module 🔒 - hom_
module 🔒 - homomorphism
- module_
trait 🔒 - quotient_
module 🔒 - rpn 🔒
- steenrod_
module - suspension_
module 🔒 - tensor_
module 🔒 - zero_
module 🔒
Structs§
- FDModule
- FPModule
- Generator
Data - HomModule
- Given a module N and a free module M, this is the module Hom(M, N) as a module over the ground field.
- Module
Failed Relation Error - MuFree
Module - A free module.
- Operation
Generator Pair - Quotient
Module - A quotient of a module truncated below a fix degree.
- Real
Projective Space - 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)
- Suspension
Module - Tensor
Module
Traits§
- Module
- A bounded below module over an algebra.
- Zero
Module