diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-12 17:04:43 +0000 |
| commit | 52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9 (patch) | |
| tree | 4b13ccc6d57c7c1ee615c83615b246c98eae388a /src/algebra/radix.spad.pamphlet | |
| parent | 42d38bee45a64edfc12641053e58581c20584363 (diff) | |
| download | open-axiom-52fddea19454dc2b9bcb54c6edd5a4cd4f5765a9.tar.gz | |
* src/algebra/: Systematically use negative? when comparing for
less than 0.
Diffstat (limited to 'src/algebra/radix.spad.pamphlet')
| -rw-r--r-- | src/algebra/radix.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/radix.spad.pamphlet b/src/algebra/radix.spad.pamphlet index 455e7b77..79c4aa17 100644 --- a/src/algebra/radix.spad.pamphlet +++ b/src/algebra/radix.spad.pamphlet @@ -113,7 +113,7 @@ RadixExpansion(bb): Exports == Implementation where coerce(a):RN == (wholePart a) :: RN + fractionPart a coerce(n):% == n :: RN :: % coerce(q):% == - s := 1; if q < 0 then (s := -1; q := -q) + s := 1; if negative? q then (s := -1; q := -q) qr := divide(numer q,denom q) whole := radixInt (qr.quotient,bb) fractn := radixFrac(qr.remainder,denom q,bb) @@ -190,11 +190,11 @@ RadixExpansion(bb): Exports == Implementation where if not null a.int then le := concat(intgroup a.int,le) else le := concat(0 :: OUT,le) rex := exprgroup le - if a.sgn < 0 then -rex else rex + if negative? a.sgn then -rex else rex -- Construction utilities checkRagits li == - for i in li repeat if i < 0 or i >= bb then + for i in li repeat if negative? i or i >= bb then error "Each ragit (digit) must be between 0 and base-1" true |