diff options
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
| -rw-r--r-- | src/algebra/si.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index 224976c8..809a9f67 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -318,12 +318,12 @@ SingleInteger(): Join(IntegerNumberSystem,OrderedFinite,Logic,OpenMath) with addmod(a,b,p) == QSADDMOD(a,b,p)$Lisp submod(a,b,p) == QSDIFMOD(a,b,p)$Lisp negative?(x) == QSMINUSP$Lisp x - size() == (MAXINT - MININT + 1$Lisp) pretend NonNegativeInteger + size() == (MAXINT -$Lisp MININT +$Lisp 1$Lisp) pretend NonNegativeInteger index i == i > size() => error ["index %1b out of range",i] per(i + MININT - 1$Lisp) lookup x == - (x - MININT + 1$Lisp) pretend PositiveInteger + (x -$Lisp MININT +$Lisp 1$Lisp) pretend PositiveInteger reducedSystem(m, v) == |