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/TSETCAT-.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/TSETCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/TSETCAT-.lsp | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/src/algebra/strap/TSETCAT-.lsp b/src/algebra/strap/TSETCAT-.lsp index c54146fb..3474e270 100644 --- a/src/algebra/strap/TSETCAT-.lsp +++ b/src/algebra/strap/TSETCAT-.lsp @@ -129,22 +129,22 @@ ((SPADCALL |ts| (|getShellEntry| $ 12)) (SPADCALL |us| (|getShellEntry| $ 12))) ((OR (SPADCALL |us| (|getShellEntry| $ 12)) - (NULL (SPADCALL - (PROG2 (LETT #0# - (SPADCALL |ts| - (|getShellEntry| $ 15)) - |TSETCAT-;=;2SB;1|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - (PROG2 (LETT #0# - (SPADCALL |us| - (|getShellEntry| $ 15)) - |TSETCAT-;=;2SB;1|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - (|getShellEntry| $ 16)))) + (NOT (SPADCALL + (PROG2 (LETT #0# + (SPADCALL |ts| + (|getShellEntry| $ 15)) + |TSETCAT-;=;2SB;1|) + (QCDR #0#) + (|check-union| (QEQCAR #0# 0) + (|getShellEntry| $ 10) #0#)) + (PROG2 (LETT #0# + (SPADCALL |us| + (|getShellEntry| $ 15)) + |TSETCAT-;=;2SB;1|) + (QCDR #0#) + (|check-union| (QEQCAR #0# 0) + (|getShellEntry| $ 10) #0#)) + (|getShellEntry| $ 16)))) 'NIL) ('T (SPADCALL @@ -362,7 +362,7 @@ (SEQ (LETT |p| (|SPADfirst| |lp|) |TSETCAT-;initials;SL;6|) (COND - ((NULL + ((NOT (SPADCALL (LETT |ip| (SPADCALL |p| @@ -453,7 +453,7 @@ |TSETCAT-;initiallyReduced?;PSB;12|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (COND - ((NULL (NULL |lp|)) + ((NOT (NULL |lp|)) (COND ((SPADCALL (SPADCALL (|SPADfirst| |lp|) @@ -524,7 +524,7 @@ (|getShellEntry| $ 6) #1#)) |TSETCAT-;reduce;PSMMP;13|) (EXIT (COND - ((NULL + ((NOT (SPADCALL |p| |reductor| |redOp?|)) (SEQ @@ -575,7 +575,7 @@ |TSETCAT-;rewriteSetWithReduction;LSMML;14|) (EXIT (COND - ((NULL + ((NOT (SPADCALL |p| (|getShellEntry| $ 36))) (COND |