From f8913372cea43183d427cbe3d00c4967a840329b Mon Sep 17 00:00:00 2001 From: dos-reis 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/FPS-.lsp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/algebra/strap/FPS-.lsp') 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|) -- cgit v1.2.3