remove superfluous RNG handler

effekt-lang · Sep 16, 2024 · 9caa36d · 9caa36d
1 parent fd2ed20
commit 9caa36d
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 36 deletions.
diff --git a/examples/casestudies/inference.check b/examples/casestudies/inference.check
@@ -3,56 +3,56 @@ Point(1.015, -0.431)
 Point(0.951, -0.416)
 Point(0.996, 0.143)
 Point(0.946, 0.965)
-State(1.67, 4.208, 1.67, 1.208)
-State(3.335, 2.735, 3.335, -0.265)
-State(2.386, 3.534, 2.386, 0.534)
-State(3.191, 3.431, 3.191, 0.431)
-State(2.563, 3.757, 2.563, 0.757)
+State(1.714, 3.267, 1.714, 0.267)
+State(2.218, 5.379, 2.218, 2.379)
+State(3.677, 1.218, 3.677, -1.782)
+State(2.248, 2.927, 2.248, -0.073)
+State(2.764, 1.716, 2.764, -1.284)
 Path(
   State(0, 3, 2, 0)
-  State(1.714, 3.267, 1.714, 0.267)
-  State(5.807, 5.211, 4.093, 1.944)
-  State(9.254, 8.439, 3.447, 3.228)
-  State(12.011, 11.462, 2.757, 3.023)
-  State(14.503, 15.474, 2.491, 4.012)
+  State(2.566, 2.16, 2.566, -0.84)
+  State(5.541, 0.701, 2.975, -1.459)
+  State(9.763, -2.236, 4.222, -2.938)
+  State(13.812, -5.436, 4.049, -3.199)
+  State(17.814, -8.467, 4.002, -3.032)
 )
 Path(
   State(0, 3, 2, 0)
-  State(1.16, 3.324, 1.16, 0.324)
-  State(1.701, 3.232, 0.541, -0.092)
-  State(0.764, 3.048, -0.938, -0.183)
-  State(-0.436, 4.477, -1.199, 1.429)
-  State(-1.467, 5.219, -1.032, 0.741)
+  State(1.982, 4.912, 1.982, 1.912)
+  State(3.768, 5.321, 1.786, 0.409)
+  State(4.936, 4.639, 1.167, -0.682)
+  State(6.357, 3.514, 1.422, -1.125)
+  State(8.397, 1.149, 2.04, -2.365)
 )
 Path(
   State(0, 3, 2, 0)
-  State(1.853, 3.587, 1.853, 0.587)
-  State(3.614, 3.079, 1.761, -0.507)
-  State(5.524, 4.335, 1.91, 1.255)
-  State(6.562, 5.074, 1.038, 0.74)
-  State(6.493, 5.555, -0.069, 0.48)
+  State(1.421, 3.411, 1.421, 0.411)
+  State(3.333, 4.189, 1.912, 0.777)
+  State(4.226, 4.043, 0.893, -0.146)
+  State(6.99, 3.686, 2.764, -0.357)
+  State(9.861, 1.338, 2.871, -2.349)
 )
 Path(
   State(0, 3, 2, 0)
-  State(1.558, 2.979, 1.558, -0.021)
-  State(2.756, 3.816, 1.199, 0.837)
-  State(3.764, 3.045, 1.008, -0.771)
-  State(4.588, 2.198, 0.824, -0.847)
-  State(5.094, 2.864, 0.506, 0.666)
+  State(2.267, 2.841, 2.267, -0.159)
+  State(4.253, 3.036, 1.987, 0.195)
+  State(4.665, 3.909, 0.412, 0.873)
+  State(5.222, 4.47, 0.557, 0.561)
+  State(5.741, 2.523, 0.519, -1.947)
 )
 Path(
   State(0, 3, 2, 0)
-  State(2.023, 3.395, 2.023, 0.395)
-  State(4.307, 3.64, 2.284, 0.245)
-  State(6.976, 3.352, 2.669, -0.288)
-  State(9.876, 1.761, 2.9, -1.591)
-  State(10.993, -1.466, 1.117, -3.227)
+  State(0.789, 2.991, 0.789, -0.009)
+  State(2.336, 2.492, 1.547, -0.499)
+  State(4.401, 1.887, 2.064, -0.605)
+  State(7.238, 1.129, 2.838, -0.758)
+  State(9.284, 0.578, 2.046, -0.551)
 )
 [
   Population(0.7, 0.2, 0.1)
-  Population(0.358, 0.412, 0.23)
-  Population(0.171, 0.334, 0.496)
-  Population(0.098, 0.223, 0.68)
-  Population(0.062, 0.17, 0.768)
-  Population(0.039, 0.151, 0.81)
+  Population(0.346, 0.424, 0.23)
+  Population(0.163, 0.334, 0.504)
+  Population(0.086, 0.227, 0.687)
+  Population(0.04, 0.183, 0.777)
+  Population(0.038, 0.134, 0.828)
 ]
diff --git a/examples/casestudies/inference.effekt.md b/examples/casestudies/inference.effekt.md
@@ -624,7 +624,6 @@ def main() = {
 
   // Robot movements
   limit[State](5) {
-    with linearCongruentialGenerator(seed);
     with sliceSampling[State](5)
 
     val init = State(0.0, 3.0, 2.0, 0.0)