src/fb.rs

changeset 81
642141008293
parent 78
2a122736e91c
child 84
edb5de5d5bd6
--- a/src/fb.rs	Tue Jul 28 22:00:55 2026 -0500
+++ b/src/fb.rs	Wed Jul 29 00:08:14 2026 -0500
@@ -210,7 +210,7 @@
                     ε,
                     ins,
                     &reg,
-                    Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)),
+                    Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃)),
                 )
             });
         }

mercurial