diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-22 09:06:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-22 09:06:30 +0000 |
| commit | d351d1076c6a506fc4bbbb01d26e86c187096ef8 (patch) | |
| tree | 7969265cca67f694978760006059f15a1805c018 /src/algebra | |
| parent | ccd373d0966e45e4700f701160d1ac91ffcb9396 (diff) | |
| download | open-axiom-d351d1076c6a506fc4bbbb01d26e86c187096ef8.tar.gz | |
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 2 |
1 files changed, 2 insertions, 0 deletions
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}. |