From 5657c2c8f03ddfad418811291cb1285c5da9b21f Mon Sep 17 00:00:00 2001 From: Pavel Chekmaryov Date: Wed, 12 Nov 2025 11:44:00 -0800 Subject: [PATCH] Update main function in resolve.rs Refactor main function to improve output of E2 page dimensions to use Python parser to avoid python_ext usage. --- ext/examples/resolve.rs | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/ext/examples/resolve.rs b/ext/examples/resolve.rs index ad4ea95741..3f1442df22 100644 --- a/ext/examples/resolve.rs +++ b/ext/examples/resolve.rs @@ -14,8 +14,9 @@ //! ยท //! ``` -use ext::chain_complex::{ChainComplex, FreeChainComplex}; +use ext::chain_complex::{ChainComplex}; use sseq::coordinates::Bidegree; +use algebra::module::Module; fn main() -> anyhow::Result<()> { ext::utils::init_logging()?; @@ -28,6 +29,16 @@ fn main() -> anyhow::Result<()> { ); res.compute_through_bidegree(max); - println!("{}", res.graded_dimension_string()); + println!("E2 page:"); + for s in 0..=max.s() { + for t in s..=max.t() { + let dim = res.module(s).dimension(t); + if dim > 0 { + println!("({},{}): Z/2Z^{}", s, t, dim); + } + } + } + + // println!("{}", res.graded_dimension_string()); Ok(()) }