pub type QueryModuleResolution = Resolution<FDModule<MilnorAlgebra>>;Expand description
The type returned by query_module. The value of this type depends on whether
nassau is enabled. In any case, it is an augmented free chain complex over
either SteenrodAlgebra or MilnorAlgebra and supports the compute_through_stem
function.
Aliased Type§
pub struct QueryModuleResolution {
lock: Mutex<()>,
name: String,
max_degree: i32,
modules: OnceBiVec<Arc<MuFreeModule<false, MilnorAlgebra>>>,
zero_module: Arc<MuFreeModule<false, MilnorAlgebra>>,
differentials: OnceBiVec<Arc<MuFreeModuleHomomorphism<false, MuFreeModule<false, MilnorAlgebra>>>>,
target: Arc<FiniteChainComplex<FiniteDimensionalModule<MilnorAlgebra>>>,
chain_maps: OnceBiVec<Arc<MuFreeModuleHomomorphism<false, FiniteDimensionalModule<MilnorAlgebra>>>>,
save_dir: SaveDirectory,
}Fields§
§lock: Mutex<()>§name: String§max_degree: i32§modules: OnceBiVec<Arc<MuFreeModule<false, MilnorAlgebra>>>§zero_module: Arc<MuFreeModule<false, MilnorAlgebra>>§differentials: OnceBiVec<Arc<MuFreeModuleHomomorphism<false, MuFreeModule<false, MilnorAlgebra>>>>§target: Arc<FiniteChainComplex<FiniteDimensionalModule<MilnorAlgebra>>>§chain_maps: OnceBiVec<Arc<MuFreeModuleHomomorphism<false, FiniteDimensionalModule<MilnorAlgebra>>>>§save_dir: SaveDirectory