algebra/module/
zero_module.rs

1use std::sync::Arc;
2
3use crate::{
4    SteenrodAlgebra,
5    module::{FDModule, Module, SteenrodModule},
6};
7
8pub trait ZeroModule: Module {
9    fn zero_module(algebra: Arc<Self::Algebra>, min_degree: i32) -> Self;
10}
11
12impl ZeroModule for SteenrodModule {
13    fn zero_module(algebra: Arc<SteenrodAlgebra>, min_degree: i32) -> Self {
14        Box::new(FDModule::zero_module(algebra, min_degree))
15    }
16}