diff options
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
-rw-r--r-- | src/algebra/si.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet index ded2a935..085cc0fe 100644 --- a/src/algebra/si.spad.pamphlet +++ b/src/algebra/si.spad.pamphlet @@ -109,10 +109,10 @@ IntegerNumberSystem(): Category == init() == 0 -- iterates in order 0,1,-1,2,-2,3,-3,... - nextItem(n) == - zero? n => 1 - n>0 => -n - 1-n + nextItem n == + zero? n => just 1 + n > 0 => just(-n) + just(1-n) patternMatch(x, p, l) == patternMatch(x, p, l)$PatternMatchIntegerNumberSystem(%) |