From d351d1076c6a506fc4bbbb01d26e86c187096ef8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 22 Sep 2009 09:06:30 +0000
Subject:

---
 src/algebra/integer.spad.pamphlet | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/algebra')

diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index a0a962f7..a1dd4478 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -264,6 +264,8 @@ NonNegativeInteger: Join(OrderedAbelianMonoidSup,Monoid) with
               ++ if b is zero or \spad{a} rem b is zero.
             shift: (%, Integer) -> %
               ++ shift(a,i) shift \spad{a} by i bits.
+            random   : % -> %
+              ++ random(n) returns a random integer from 0 to \spad{n-1}.
             commutative("*")
               ++ commutative("*") means multiplication is commutative : \spad{x*y = y*x}.
 
-- 
cgit v1.2.3