From 8e4e9304074fff69226b86bdc16cfd617115cd99 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 21 Sep 2009 22:23:57 +0000 Subject: * algebra/data.spad.pamphlet (SystemInteger): Tidy. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/si.spad.pamphlet (IntegerNumberSystem): Likewise. --- src/algebra/integer.spad.pamphlet | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/algebra/integer.spad.pamphlet') 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}. -- cgit v1.2.3