From f51aee83708673ef9941174951bec9aee80cb03c Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Thu, 31 Dec 2015 14:56:12 -0800
Subject: Avoid modulus bias in 'random()' usage.

---
 src/algebra/aggcat.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/algebra/aggcat.spad.pamphlet')

diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index 71db9681..f94297c8 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -753,7 +753,7 @@ FiniteSetAggregate(S:SetCategory): Category ==
      complement s == difference(universe(), s )
      size()	  == 2 ** size()$S
      index i	 == {index(j::PositiveInteger)$S for j in 1..size()$S | bit?(i-1,j-1)}
-     random()	  == index((random()$Integer rem (size()$% + 1))::PositiveInteger)
+     random()	  == index((1 + random(size()$%)$Integer)::PositiveInteger)
 
      lookup s ==
        n:PositiveInteger := 1
-- 
cgit v1.2.3