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/curve.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet
index 57fd38d3..d69d6bfe 100644
--- a/src/algebra/curve.spad.pamphlet
+++ b/src/algebra/curve.spad.pamphlet
@@ -305,7 +305,7 @@ FunctionFieldCategory(F, UP, UPUP): Category == Definition where
 
     infValue f ==
       zero? f => 0
-      (n := infOrder f) > 0 => 0
+      positive?(n := infOrder f) => 0
       zero? n =>
         (leadingCoefficient numer f) / (leadingCoefficient denom f)
       error "f not locally integral at infinity"
-- 
cgit v1.2.3