Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 9a3ab30b authored by GUILLEMOT Alexandre's avatar GUILLEMOT Alexandre
Browse files

correct track_path bug

parent e20e4496
No related branches found
No related tags found
No related merge requests found
...@@ -575,7 +575,7 @@ impl AcbProg { ...@@ -575,7 +575,7 @@ impl AcbProg {
// We require precision and scalars in write mode and update them simultaneously // We require precision and scalars in write mode and update them simultaneously
let mut prec_write = self.prec.write().unwrap(); let mut prec_write = self.prec.write().unwrap();
#[cfg(debug_assertions)] #[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(); let mut program_scalars_write = self.program.scalars.write().unwrap();
*prec_write = get_prec(); *prec_write = get_prec();
*program_scalars_write = Arc::new(self.exact_coeffs.iter().map(|scalar| Acb::from(scalar)).collect()); *program_scalars_write = Arc::new(self.exact_coeffs.iter().map(|scalar| Acb::from(scalar)).collect());
......
...@@ -7,5 +7,4 @@ pub use interval::Interval; ...@@ -7,5 +7,4 @@ pub use interval::Interval;
pub use taylor_model::TaylorModel; pub use taylor_model::TaylorModel;
pub mod track; pub mod track;
pub mod set; pub mod set;
pub mod system; pub mod system;
pub mod track_path; \ No newline at end of file
\ No newline at end of file
...@@ -84,7 +84,7 @@ where ...@@ -84,7 +84,7 @@ where
let mut cpt = 1; let mut cpt = 1;
while (&mbox.params[0]).try_into().unwrap().interval_lt(&1.0.into()) { 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!(Ctx::get_prec());
dbg!(&mbox.pt.coord.mag()); dbg!(&mbox.pt.coord.mag());
dbg!(step_size); dbg!(step_size);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment