make 7 standard value

dafny-lang · Jul 29, 2024 · 8099ccd · 8099ccd
1 parent 9042472
commit 8099ccd
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/docs/java/TestSamplers.java b/docs/java/TestSamplers.java
@@ -29,7 +29,7 @@ public static void main(String[] args) {
                     System.out.println(r.BernoulliExpNegSample(i, j));
 
                     System.out.println("Testing DiscreteGaussian(" + a + "/" + b + ")");
-                    System.out.println(r.DiscreteGaussianSample(i, j, BigInteger.valueOf(7)));
+                    System.out.println(r.DiscreteGaussianSample(i, j));
 
                     System.out.println("Testing DiscreteLaPlace(" + a + "/" + b + ")");
                     System.out.println(r.DiscreteLaplaceSample(i, j));
@@ -52,9 +52,9 @@ public static void main(String[] args) {
             System.out.println(r.BernoulliExpNegSample(l, k));
 
             System.out.println("Testing DiscreteGaussianSample(1000000, 1)");
-            System.out.println(r.DiscreteGaussianSample(k, l, BigInteger.valueOf(7)));
+            System.out.println(r.DiscreteGaussianSample(k, l));
             System.out.println("Testing DiscreteGaussianSample(1, 1000000)");
-            System.out.println(r.DiscreteGaussianSample(l, k, BigInteger.valueOf(7)));
+            System.out.println(r.DiscreteGaussianSample(l, k));
 
             System.out.println("Testing DiscreteLaplace(1000000, 1)");
             System.out.println(r.DiscreteLaplaceSample(k, l));
@@ -81,7 +81,7 @@ public static void main(String[] args) {
                     System.out.println(t.BernoulliExpNegSample(i, j));
 
                     System.out.println("Testing DiscreteGaussian(" + a + "/" + b + ")");
-                    System.out.println(t.DiscreteGaussianSample(i, j, BigInteger.valueOf(7)));
+                    System.out.println(t.DiscreteGaussianSample(i, j));
 
                     System.out.println("Testing DiscreteLaPlace(" + a + "/" + b + ")");
                     System.out.println(t.DiscreteLaplaceSample(i, j));
@@ -102,9 +102,9 @@ public static void main(String[] args) {
             System.out.println(t.BernoulliExpNegSample(l, k));
 
             System.out.println("Testing DiscreteGaussianSample(1000000, 1)");
-            System.out.println(t.DiscreteGaussianSample(k, l, BigInteger.valueOf(7)));
+            System.out.println(t.DiscreteGaussianSample(k, l));
             System.out.println("Testing DiscreteGaussianSample(1, 1000000)");
-            System.out.println(t.DiscreteGaussianSample(l, k, BigInteger.valueOf(7)));
+            System.out.println(t.DiscreteGaussianSample(l, k));
 
             System.out.println("Testing DiscreteLaplace(1000000, 1)");
             System.out.println(t.DiscreteLaplaceSample(k, l));

diff --git a/src/interop/java/Full/Random.java b/src/interop/java/Full/Random.java
@@ -82,8 +82,8 @@ public dafny.Tuple2<java.math.BigInteger, Boolean> DiscreteGaussianSampleLoop(ja
     return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSampleLoop(this, num, den, t, mix);
   }
 
-  public java.math.BigInteger DiscreteGaussianSample(java.math.BigInteger num, java.math.BigInteger den, java.math.BigInteger mix) {
-    return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSample(this, num, den, mix);
+  public java.math.BigInteger DiscreteGaussianSample(java.math.BigInteger num, java.math.BigInteger den) {
+    return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSample(this, num, den, BigInteger.valueOf(7));
   }
 
   public dafny.Tuple2<Boolean, java.math.BigInteger> DiscreteLaplaceSampleLoop_k(java.math.BigInteger num, java.math.BigInteger den) {