src/sliding_fb.rs

changeset 81
642141008293
parent 78
2a122736e91c
child 82
afb3ce40cff6
--- a/src/sliding_fb.rs	Tue Jul 28 22:00:55 2026 -0500
+++ b/src/sliding_fb.rs	Wed Jul 29 00:08:14 2026 -0500
@@ -1101,7 +1101,7 @@
                 ε,
                 ins,
                 &reg,
-                Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)),
+                Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃) ),
             );
             //if m > 0 {
             stats.merged += m;

mercurial