From f8913372cea43183d427cbe3d00c4967a840329b Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 7 Jun 2009 16:23:51 +0000
Subject: 	* algebra/kl.spad.pamphlet (name$Kernel): Remove. 	*
 algebra/d01weights.spad.pamphlet: Adjust. 	*
 algebra/fs2expxp.spad.pamphlet: Likewise. 	*
 algebra/fs2ups.spad.pamphlet: Likewise. 	*
 algebra/fspace.spad.pamphlet: Likewise. 	*
 algebra/limitps.spad.pamphlet: Likewise. 	*
 algebra/transsolve.spad.pamphlet: Likewise.

---
 src/algebra/strap/CHAR.lsp     | 2 +-
 src/algebra/strap/DFLOAT.lsp   | 2 +-
 src/algebra/strap/FFIELDC-.lsp | 2 +-
 src/algebra/strap/FPS-.lsp     | 2 +-
 src/algebra/strap/OUTFORM.lsp  | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/algebra/strap')

diff --git a/src/algebra/strap/CHAR.lsp b/src/algebra/strap/CHAR.lsp
index 317ee9de..8f93519a 100644
--- a/src/algebra/strap/CHAR.lsp
+++ b/src/algebra/strap/CHAR.lsp
@@ -133,7 +133,7 @@
   (PROG (#0=#:G1407)
     (RETURN
       (PROG1 (LETT #0# (+ 1 (CHAR-CODE |c|)) |CHAR;lookup;$Pi;8|)
-        (|check-subtype| (< 0 #0#) '(|PositiveInteger|) #0#))))) 
+        (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#))))) 
 
 (DEFUN |CHAR;char;Nni$;9| (|n| $)
   (DECLARE (IGNORE $))
diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp
index e33128f2..57155b44 100644
--- a/src/algebra/strap/DFLOAT.lsp
+++ b/src/algebra/strap/DFLOAT.lsp
@@ -466,7 +466,7 @@
                                    $)
                                (|getShellEntry| $ 35)))
                       |DFLOAT;bits;Pi;10|)
-           (|check-subtype| (AND (>= #0# 0) (< 0 #0#))
+           (|check-subtype| (AND (>= #0# 0) (> #0# 0))
                '(|PositiveInteger|) #0#))))))) 
 
 (DEFUN |DFLOAT;max;$;11| ($)
diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp
index e3efcd38..b55925bc 100644
--- a/src/algebra/strap/FFIELDC-.lsp
+++ b/src/algebra/strap/FFIELDC-.lsp
@@ -110,7 +110,7 @@
                            (SPADCALL
                                (PROG1 |i|
                                  (|check-subtype|
-                                     (AND (>= |i| 0) (< 0 |i|))
+                                     (AND (>= |i| 0) (> |i| 0))
                                      '(|PositiveInteger|) |i|))
                                (|getShellEntry| $ 14))
                            |FFIELDC-;createPrimitiveElement;S;8|)
diff --git a/src/algebra/strap/FPS-.lsp b/src/algebra/strap/FPS-.lsp
index 58461486..9cf0ec3d 100644
--- a/src/algebra/strap/FPS-.lsp
+++ b/src/algebra/strap/FPS-.lsp
@@ -22,7 +22,7 @@
                                 (|getShellEntry| $ 16))
                             13301))
                    |FPS-;digits;Pi;2|)
-        (|check-subtype| (AND (>= #0# 0) (< 0 #0#))
+        (|check-subtype| (AND (>= #0# 0) (> #0# 0))
             '(|PositiveInteger|) #0#))))) 
 
 (DEFUN |FloatingPointSystem&| (|#1|)
diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp
index 4205b99e..c215d85f 100644
--- a/src/algebra/strap/OUTFORM.lsp
+++ b/src/algebra/strap/OUTFORM.lsp
@@ -817,7 +817,7 @@
               (SEQ (LETT |r|
                          (SPADCALL
                              (PROG1 |nn|
-                               (|check-subtype| (< 0 |nn|)
+                               (|check-subtype| (> |nn| 0)
                                    '(|PositiveInteger|) |nn|))
                              (|getShellEntry| $ 137))
                          |OUTFORM;differentiate;$Nni$;97|)
-- 
cgit v1.2.3