resolution_size/
resolution_size.rs

1use algebra::module::Module;
2use ext::{chain_complex::ChainComplex, utils::query_module};
3
4fn main() -> anyhow::Result<()> {
5    ext::utils::init_logging()?;
6
7    let res = query_module(None, false)?;
8
9    for s in (0..res.next_homological_degree()).rev() {
10        let module = res.module(s);
11        for t in res.min_degree() + s..=module.max_computed_degree() {
12            print!("{}, ", module.dimension(t));
13        }
14        println!();
15    }
16    Ok(())
17}