From ab480e7c03c9f3ab95856eaff6e6493882ff0c36 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 16 Aug 2009 14:17:40 +0000 Subject: * interp/i-map.boot (addMap): Fix typo from last commit. * interp/compiler.boot (compElt): Fix thinko, one more time. * interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms for constants. * algebra/algext.spad.pamphlet: Call niladic functions with empty argument lists. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/gpgcd.spad.pamphlet: Likewise. * algebra/modmon.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/twofact.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: "nil" is now a ocnstant. * algebra/string.spad.pamphlet: "space", "quote", "escape" are now constants. --- src/algebra/strap/INTDOM-.lsp | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'src/algebra/strap/INTDOM-.lsp') diff --git a/src/algebra/strap/INTDOM-.lsp b/src/algebra/strap/INTDOM-.lsp index 9cdf7fb7..42b03119 100644 --- a/src/algebra/strap/INTDOM-.lsp +++ b/src/algebra/strap/INTDOM-.lsp @@ -31,9 +31,7 @@ ('T (SPADCALL (|spadConstant| $ 7) |x| (|getShellEntry| $ 15))))) (DEFUN |INTDOM-;unit?;SB;4| (|x| $) - (COND - ((QEQCAR (SPADCALL |x| (|getShellEntry| $ 17)) 1) 'NIL) - ('T 'T))) + (COND ((QEQCAR (SPADCALL |x| (|getShellEntry| $ 17)) 1) NIL) ('T T))) (DEFUN |INTDOM-;associates?;2SB;5| (|x| |y| $) (SPADCALL (QVELT (SPADCALL |x| (|getShellEntry| $ 10)) 1) @@ -47,8 +45,8 @@ ((OR (SPADCALL |y| (|getShellEntry| $ 13)) (OR (QEQCAR (SPADCALL |x| |y| (|getShellEntry| $ 15)) 1) (QEQCAR (SPADCALL |y| |x| (|getShellEntry| $ 15)) 1))) - 'NIL) - ('T 'T))) + NIL) + ('T T))) (DEFUN |IntegralDomain&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) -- cgit v1.2.3