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/FPS-.lsp | |
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/FPS-.lsp')
-rw-r--r-- | src/algebra/strap/FPS-.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
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|) |