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/mring.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet
index 8eafac0a..85451910 100644
--- a/src/algebra/mring.spad.pamphlet
+++ b/src/algebra/mring.spad.pamphlet
@@ -132,7 +132,7 @@ MonoidRing(R: Ring, M: Monoid): MRcategory == MRdefinition where
               res := res + co * p ** ex
             res pretend PositiveInteger
 
-          random() == index( (1+(random()$Integer rem size()$%) )_
+          random() == index( (1 + random(size()$%)$Integer )_
             pretend PositiveInteger)$%
 
         0                   == empty()
-- 
cgit v1.2.3