From 9a3ab30b553da3e78db1e80a34ec00537fcb6bb4 Mon Sep 17 00:00:00 2001
From: Alexandre Guillemot <alexandre.guillemot@inria.fr>
Date: Mon, 3 Mar 2025 15:09:05 +0100
Subject: [PATCH] correct track_path bug
---
src/prog.rs | 2 +-
src/traits/mod.rs | 3 +--
src/traits/track.rs | 2 +-
3 files changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/prog.rs b/src/prog.rs
index f9e55b2..61771a8 100644
--- a/src/prog.rs
+++ b/src/prog.rs
@@ -575,7 +575,7 @@ impl AcbProg {
// We require precision and scalars in write mode and update them simultaneously
let mut prec_write = self.prec.write().unwrap();
#[cfg(debug_assertions)]
- println!("Updating program coefficients ({} to {})...", prec_write, get_prec());
+ println!("Updating program coefficients ({} to {} bits of precision)...", prec_write, get_prec());
let mut program_scalars_write = self.program.scalars.write().unwrap();
*prec_write = get_prec();
*program_scalars_write = Arc::new(self.exact_coeffs.iter().map(|scalar| Acb::from(scalar)).collect());
diff --git a/src/traits/mod.rs b/src/traits/mod.rs
index 309421c..929db58 100644
--- a/src/traits/mod.rs
+++ b/src/traits/mod.rs
@@ -7,5 +7,4 @@ pub use interval::Interval;
pub use taylor_model::TaylorModel;
pub mod track;
pub mod set;
-pub mod system;
-pub mod track_path;
\ No newline at end of file
+pub mod system;
\ No newline at end of file
diff --git a/src/traits/track.rs b/src/traits/track.rs
index 4fbc2f3..520d0d0 100644
--- a/src/traits/track.rs
+++ b/src/traits/track.rs
@@ -84,7 +84,7 @@ where
let mut cpt = 1;
while (&mbox.params[0]).try_into().unwrap().interval_lt(&1.0.into()) {
- if cpt % 1000 == 0 {
+ if cpt % 1_000 == 0 {
dbg!(Ctx::get_prec());
dbg!(&mbox.pt.coord.mag());
dbg!(step_size);
--
GitLab