aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/si.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/si.spad.pamphlet')
-rw-r--r--src/algebra/si.spad.pamphlet8
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(%)