From 95d7a3a8c107a8b722f97afdc0266449aad3a5bc Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 22 Jul 2010 23:30:09 +0000 Subject: more cleanup --- src/algebra/integer.spad.pamphlet | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/integer.spad.pamphlet') 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 -- cgit v1.2.3