diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-22 23:30:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 23:30:09 +0000 |
| commit | 95d7a3a8c107a8b722f97afdc0266449aad3a5bc (patch) | |
| tree | b14f1bb96a61322950da273f750b14ef41467b68 /src/algebra/integer.spad.pamphlet | |
| parent | 024f4b2055594e528ec98e733bd50684b2366db0 (diff) | |
| download | open-axiom-95d7a3a8c107a8b722f97afdc0266449aad3a5bc.tar.gz | |
more cleanup
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index ffcb0206..da23d678 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -145,7 +145,7 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with inc x == x + 1 dec x == x - 1 hash x == %hash x - negative? x == MINUSP(x)$Lisp + negative? x == x < 0 coerce(x):OutputForm == outputForm(x pretend Integer) coerce(m:Integer):% == m pretend % convert(x:%):Integer == x pretend Integer |