diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-18 17:57:00 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-18 17:57:00 +0000 |
commit | af3ebc0d983434f91686d8e2ba7bcb21d5083a30 (patch) | |
tree | b2432ba3cccf14d686ac8e0db3a11d12c5d5054e /src/algebra/strap/POLYCAT-.lsp | |
parent | e865a85b43caa6f453304e836dae3b62ca73c635 (diff) | |
download | open-axiom-af3ebc0d983434f91686d8e2ba7bcb21d5083a30.tar.gz |
* algebra/mkfunc.spad.pamphlet (InputForm): Remove assignment to Rep.
(convert): Use per and rep operators.
* algebra/stap: Updated cached Lisp translation.
Diffstat (limited to 'src/algebra/strap/POLYCAT-.lsp')
-rw-r--r-- | src/algebra/strap/POLYCAT-.lsp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp index c8d88782..d6fea686 100644 --- a/src/algebra/strap/POLYCAT-.lsp +++ b/src/algebra/strap/POLYCAT-.lsp @@ -267,7 +267,7 @@ ((OR (NULL (LETT |lv| (SPADCALL |p| (|getShellEntry| $ 40)) |POLYCAT-;isTimes;SU;4|)) - (NULL (SPADCALL |p| (|getShellEntry| $ 42)))) + (NOT (SPADCALL |p| (|getShellEntry| $ 42)))) (CONS 1 "failed")) ('T (SEQ (LETT |l| @@ -320,15 +320,15 @@ |POLYCAT-;isExpt;SU;5|) (EXIT (COND ((OR (QEQCAR |u| 1) - (NULL (SPADCALL |p| - (SPADCALL (|spadConstant| $ 43) - (QCDR |u|) - (LETT |d| - (SPADCALL |p| (QCDR |u|) - (|getShellEntry| $ 46)) - |POLYCAT-;isExpt;SU;5|) - (|getShellEntry| $ 47)) - (|getShellEntry| $ 54)))) + (NOT (SPADCALL |p| + (SPADCALL (|spadConstant| $ 43) + (QCDR |u|) + (LETT |d| + (SPADCALL |p| (QCDR |u|) + (|getShellEntry| $ 46)) + |POLYCAT-;isExpt;SU;5|) + (|getShellEntry| $ 47)) + (|getShellEntry| $ 54)))) (CONS 1 "failed")) ('T (CONS 0 (CONS (QCDR |u|) |d|))))))))) |