From c93e84048964194e5674e859d6bd8827010f09f6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 12 Mar 2011 19:17:32 +0000
Subject: 	* src/algebra/: Systematically use negative? when comparing
 for 	greater than 0.

---
 src/algebra/stream.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/algebra/stream.spad.pamphlet')

diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet
index a51a1c51..8be08ff7 100644
--- a/src/algebra/stream.spad.pamphlet
+++ b/src/algebra/stream.spad.pamphlet
@@ -698,12 +698,12 @@ Stream(S): Exports == Implementation where
       getm(x,le,n) ==
         explicitlyEmpty? x => le
         lazy? x =>
-          n > 0 =>
+          positive? n =>
             empty? x => le
             getm(rst x,concat(frst(x) :: OUT,le),n - 1)
           concat(message("..."),le)
         eq?(x,rst x) => concat(overbar(frst(x) :: OUT),le)
-        n > 0 => getm(rst x,concat(frst(x) :: OUT,le),n - 1)
+        positive? n => getm(rst x,concat(frst(x) :: OUT,le),n - 1)
         concat(message("..."),le)
 
       streamCountCoerce x ==
@@ -731,7 +731,7 @@ Stream(S): Exports == Implementation where
       listm(x,le,n) ==
         explicitlyEmpty? x => le
         lazy? x =>
-          n > 0 =>
+          positive? n =>
             empty? x => le
             listm(rst x, concat(frst(x) :: OUT,le),n-1)
           concat(message("..."),le)
@@ -1082,7 +1082,7 @@ Stream(S): Exports == Implementation where
     if S has SetCategory then
 
       output(n,x) ==
-        (not(n>0))or empty? x => void()
+        (not(positive? n)) or empty? x => void()
         mathPrint(frst(x)::OUT)$Lisp
         output(n-1, rst x)
 
-- 
cgit v1.2.3