diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-23 21:09:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-23 21:09:39 +0000 |
commit | 3a373a0b802ee86308db78cba8696aa7b6cdf4df (patch) | |
tree | 108c4c3e28d1fb0c98a0841e9696f51c0e87ec72 /src/algebra/strap/QFCAT-.lsp | |
parent | 95a01c8b0ae5635b456e34d95bc7b0570a1952b8 (diff) | |
download | open-axiom-3a373a0b802ee86308db78cba8696aa7b6cdf4df.tar.gz |
* interp/g-opt.boot (optBind): Check for dependencies in
initializations in %bind expressions.
* interp/g-util.boot (expandBind): The body of s %bind expression
may be a sequence of statements.
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
-rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index 15cc7091..49aa6887 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -115,8 +115,8 @@ (DEFUN |QFCAT-;characteristic;Nni;7| ($) (|spadConstant| $ 30)) (DEFUN |QFCAT-;differentiate;AMA;8| (|x| |deriv| $) - (LET* ((|n| (SPADCALL |x| (|getShellEntry| $ 8))) - (|d| (SPADCALL |x| (|getShellEntry| $ 11)))) + (LET ((|n| (SPADCALL |x| (|getShellEntry| $ 8))) + (|d| (SPADCALL |x| (|getShellEntry| $ 11)))) (SPADCALL (SPADCALL (SPADCALL (SPADCALL |n| |deriv|) |d| |