pub fn yoneda_representative_with_strategy<CC>(
cc: Arc<CC>,
map: ChainMap<FreeModuleHomomorphism<impl Module<Algebra = CC::Algebra>>>,
strategy: impl Fn(&CC::Module, &Subspace, i32, usize) -> i32,
) -> Yoneda<CC>where
CC: FreeChainComplex + AugmentedChainComplex<ChainMap = FreeModuleHomomorphism<<<CC as AugmentedChainComplex>::TargetComplex as ChainComplex>::Module>>,
CC::TargetComplex: BoundedChainComplex,
CC::Algebra: GeneratedAlgebra,