differentials/
differentials.rs

1//! This prints all the differentials in the resolution.
2
3use ext::{
4    chain_complex::{ChainComplex, FreeChainComplex},
5    utils::query_module,
6};
7use sseq::coordinates::BidegreeGenerator;
8
9fn main() -> anyhow::Result<()> {
10    ext::utils::init_logging()?;
11
12    let resolution = query_module(None, false)?;
13
14    for b in resolution.iter_stem() {
15        for i in 0..resolution.number_of_gens_in_bidegree(b) {
16            let g = BidegreeGenerator::new(b, i);
17            let boundary = resolution.boundary_string(g);
18            println!("d x_{g:#} = {boundary}");
19        }
20    }
21    Ok(())
22}