diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
| commit | f8913372cea43183d427cbe3d00c4967a840329b (patch) | |
| tree | 0d650b74174ea15413221f1f6448b7870f0ab0c2 /src/algebra/strap | |
| parent | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (diff) | |
| download | open-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.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/DFLOAT.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/FFIELDC-.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/FPS-.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/OUTFORM.lsp | 2 |
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|) |