diff options
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index fa8cdb76..3e3d71f9 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -101,6 +101,7 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with import %ile: (%,%) -> Boolean from Foreign Builtin import %igt: (%,%) -> Boolean from Foreign Builtin import %ige: (%,%) -> Boolean from Foreign Builtin + import %ilength: % -> % from Foreign Builtin x,y: % n: NonNegativeInteger @@ -161,7 +162,7 @@ Integer: Join(IntegerNumberSystem, ConvertibleTo String, OpenMath) with coerce(x):OutputForm == outputForm(x pretend Integer) coerce(m:Integer):% == m pretend % convert(x:%):Integer == x pretend Integer - length a == INTEGER_-LENGTH(a)$Lisp + length a == %ilength a addmod(a, b, p) == c := %iadd(a,b) c >= p => c - p |