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/PSETCAT-.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/PSETCAT-.lsp')
-rw-r--r-- | src/algebra/strap/PSETCAT-.lsp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/PSETCAT-.lsp b/src/algebra/strap/PSETCAT-.lsp index 0168ae69..d4723490 100644 --- a/src/algebra/strap/PSETCAT-.lsp +++ b/src/algebra/strap/PSETCAT-.lsp @@ -214,8 +214,8 @@ (LETT |lp| (CDR |lp|) |PSETCAT-;collectUpper;SVarSetS;8|) (EXIT (COND - ((NULL (SPADCALL |p| - (|getShellEntry| $ 24))) + ((NOT (SPADCALL |p| + (|getShellEntry| $ 24))) (COND ((SPADCALL |v| (SPADCALL |p| @@ -238,8 +238,8 @@ (LETT |lp| (CDR |lp|) |PSETCAT-;collect;SVarSetS;9|) (EXIT (COND - ((NULL (SPADCALL |p| - (|getShellEntry| $ 24))) + ((NOT (SPADCALL |p| + (|getShellEntry| $ 24))) (COND ((SPADCALL (SPADCALL |p| @@ -704,7 +704,7 @@ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|) (EXIT (COND - ((NULL + ((NOT (SPADCALL |p| (|getShellEntry| $ 47))) (COND @@ -767,7 +767,7 @@ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|) (EXIT (COND - ((NULL + ((NOT (SPADCALL |p| (|getShellEntry| $ 47))) (COND |