diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-09-21 22:23:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-09-21 22:23:57 +0000 |
| commit | 8e4e9304074fff69226b86bdc16cfd617115cd99 (patch) | |
| tree | 63a82e4a99089dd325f35bac6bc86467e3f989d3 /src/algebra/integer.spad.pamphlet | |
| parent | 31cfd568a21d4187e3ac8e19439fa59e69273619 (diff) | |
| download | open-axiom-8e4e9304074fff69226b86bdc16cfd617115cd99.tar.gz | |
* algebra/data.spad.pamphlet (SystemInteger): Tidy.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/si.spad.pamphlet (IntegerNumberSystem): Likewise.
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index d8180ed4..a0a962f7 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -71,8 +71,6 @@ IntegerSolveLinearPolynomialEquation(): C ==T ++ integers. Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with - random : % -> % - ++ random(n) returns a random integer from 0 to \spad{n-1}. canonical ++ mathematical equality is data structure equality. canonicalsClosed @@ -266,8 +264,6 @@ 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}. |