changed from 1.0 to 1

LKlinke · Dec 11, 2024 · bda6003 · bda6003
1 parent 47e3cd4
commit bda6003
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pgfexamples/equivalence/dueling_cowboys_parameter_invariant.pgcl b/pgfexamples/equivalence/dueling_cowboys_parameter_invariant.pgcl
@@ -6,11 +6,11 @@ rparam b; // probability that Player B shoots player A in a turn.
 if(c = 1 & t <= 1){
     if(t = 0){
         // resulting dist: (a*t + (1-a)*b) / (1 - (1-a) * (1-b))
-        t := bernoulli((1.0-a)*b/(1.0-(1.0-a)*(1.0-b)))
+        t := bernoulli((1-a)*b/(1-(1-a)*(1-b)))
         c := 0
     } else {
         // resulting dist: (a * (b-1) * t - b) / (a * (b-1) - b)
-        t := bernoulli( b / (1.0-(1.0-a)*(1.0-b)))
+        t := bernoulli( b / (1-(1-a)*(1-b)))
         c := 0
     }
 } else {