aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-06-07 16:23:51 +0000
committerdos-reis <gdr@axiomatics.org>2009-06-07 16:23:51 +0000
commitf8913372cea43183d427cbe3d00c4967a840329b (patch)
tree0d650b74174ea15413221f1f6448b7870f0ab0c2 /src/algebra/strap
parent03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (diff)
downloadopen-axiom-f8913372cea43183d427cbe3d00c4967a840329b.tar.gz
* 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.
Diffstat (limited to 'src/algebra/strap')
-rw-r--r--src/algebra/strap/CHAR.lsp2
-rw-r--r--src/algebra/strap/DFLOAT.lsp2
-rw-r--r--src/algebra/strap/FFIELDC-.lsp2
-rw-r--r--src/algebra/strap/FPS-.lsp2
-rw-r--r--src/algebra/strap/OUTFORM.lsp2
5 files changed, 5 insertions, 5 deletions
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|)