From c39287d87b632b3582b0e179b08d44dc6c27510f Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 29 May 2009 19:09:54 +0000 Subject: * algebra/algext.spad.pamphlet: Qualify `characteristic'. * algebra/clifford.spad.pamphlet: Likewise. * algebra/complet.spad.pamphlet: Likewise. * algebra/contfrac.spad.pamphlet: Likewise. * algebra/curve.spad.pamphlet: Likewise. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/derham.spad.pamphlet: Likewise. * algebra/equation2.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/fff.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/ffpoly.spad.pamphlet: Likewise. * algebra/ffx.spad.pamphlet: Likewise. * algebra/fmod.spad.pamphlet: Likewise. * algebra/fortmac.spad.pamphlet: Likewise. * algebra/fr.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/gaussian.spad.pamphlet: Likewise. * algebra/gpol.spad.pamphlet: Likewise. * algebra/intclos.spad.pamphlet: Likewise. * algebra/interval.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/matrix.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/oct.spad.pamphlet: Likewise. * algebra/opalg.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/perman.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/pfr.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/puiseux.spad.pamphlet: Likewise. * algebra/quat.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/reclos.spad.pamphlet: Likewise. * algebra/resring.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/solvefor.spad.pamphlet: Likewise. * algebra/sups.spad.pamphlet: Likewise. * algebra/taylor.spad.pamphlet: Likewise. * algebra/vector.spad.pamphlet: Likewise. * algebra/xpoly.spad.pamphlet: Likewise. --- src/algebra/strap/DFLOAT.lsp | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) (limited to 'src/algebra/strap/DFLOAT.lsp') diff --git a/src/algebra/strap/DFLOAT.lsp b/src/algebra/strap/DFLOAT.lsp index f6af98ec..58577fe4 100644 --- a/src/algebra/strap/DFLOAT.lsp +++ b/src/algebra/strap/DFLOAT.lsp @@ -450,8 +450,7 @@ $) (|getShellEntry| $ 35))) |DFLOAT;bits;Pi;10|) - (|check-subtype| - (AND (COND ((< #0# 0) 'NIL) ('T 'T)) (< 0 #0#)) + (|check-subtype| (AND (NOT (< #0# 0)) (< 0 #0#)) '(|PositiveInteger|) #0#))))))) (DEFUN |DFLOAT;max;$;11| ($) @@ -641,8 +640,8 @@ (|DFLOAT;rationalApproximation;$2NniF;84| |x| (PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1) |DFLOAT;retract;$F;77|) - (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) - '(|NonNegativeInteger|) #0#)) + (|check-subtype| (NOT (< #0# 0)) '(|NonNegativeInteger|) + #0#)) (FLOAT-RADIX 0.0) $)))) (DEFUN |DFLOAT;retractIfCan;$U;78| (|x| $) @@ -652,7 +651,7 @@ (|DFLOAT;rationalApproximation;$2NniF;84| |x| (PROG1 (LETT #0# (- (FLOAT-DIGITS 0.0) 1) |DFLOAT;retractIfCan;$U;78|) - (|check-subtype| (COND ((< #0# 0) 'NIL) ('T 'T)) + (|check-subtype| (NOT (< #0# 0)) '(|NonNegativeInteger|) #0#)) (FLOAT-RADIX 0.0) $))))) @@ -737,9 +736,7 @@ (LETT #0# (- |ex|) |DFLOAT;rationalApproximation;$2NniF;84|) (|check-subtype| - (COND - ((< #0# 0) 'NIL) - ('T 'T)) + (NOT (< #0# 0)) '(|NonNegativeInteger|) #0#))) |DFLOAT;rationalApproximation;$2NniF;84|) (EXIT @@ -834,9 +831,7 @@ (EXPT BASE (PROG1 |ex| (|check-subtype| - (COND - ((< |ex| 0) 'NIL) - ('T 'T)) + (NOT (< |ex| 0)) '(|NonNegativeInteger|) |ex|)))) (|getShellEntry| $ 142))))))) #1# (EXIT #1#))))) -- cgit v1.2.3