From 2f1248f84e09ddbb48e5ef0700ee61463da0be41 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 23 Apr 2009 19:27:51 +0000 Subject: * algebra/strap/TSETCAT.lsp: Remove. * algebra/strap/TSETCAT-.lsp: Likewise. --- src/algebra/Makefile.in | 10 +- src/algebra/Makefile.pamphlet | 10 +- src/algebra/strap/TSETCAT-.lsp | 1133 ---------------------------------------- src/algebra/strap/TSETCAT.lsp | 200 ------- 4 files changed, 10 insertions(+), 1343 deletions(-) delete mode 100644 src/algebra/strap/TSETCAT-.lsp delete mode 100644 src/algebra/strap/TSETCAT.lsp (limited to 'src/algebra') diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 4c046dc8..09351663 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -201,8 +201,8 @@ axiom_algebra_bootstrap = \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ SETAGG- SINT \ - STAGG STAGG- SYMBOL TSETCAT \ - TSETCAT- UFD UFD- ULSCAT \ + STAGG STAGG- SYMBOL \ + UFD UFD- ULSCAT \ UPOLYC UPOLYC- URAGG URAGG- \ VECTOR @@ -219,8 +219,8 @@ axiom_algebra_bootstrap_last_layer = \ PSETCAT- QFCAT QFCAT- \ RNS RNS- \ SINT \ - SYMBOL TSETCAT \ - TSETCAT- ULSCAT \ + SYMBOL \ + ULSCAT \ UPOLYC UPOLYC- \ VECTOR @@ -755,7 +755,7 @@ axiom_algebra_layer_19 = \ SET SPECOUT SQMATRIX SWITCH \ SYSSOLP UTSCAT \ UTSCAT- VARIABLE WFFINTBS SPADPRSR \ - PARSER PROPFRML + PARSER PROPFRML TSETCAT TSETCAT- axiom_algebra_layer_19_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 5e09d224..1d9e2e9b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -150,8 +150,8 @@ axiom_algebra_bootstrap = \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ SETAGG- SINT \ - STAGG STAGG- SYMBOL TSETCAT \ - TSETCAT- UFD UFD- ULSCAT \ + STAGG STAGG- SYMBOL \ + UFD UFD- ULSCAT \ UPOLYC UPOLYC- URAGG URAGG- \ VECTOR @@ -168,8 +168,8 @@ axiom_algebra_bootstrap_last_layer = \ PSETCAT- QFCAT QFCAT- \ RNS RNS- \ SINT \ - SYMBOL TSETCAT \ - TSETCAT- ULSCAT \ + SYMBOL \ + ULSCAT \ UPOLYC UPOLYC- \ VECTOR @@ -807,7 +807,7 @@ axiom_algebra_layer_19 = \ SET SPECOUT SQMATRIX SWITCH \ SYSSOLP UTSCAT \ UTSCAT- VARIABLE WFFINTBS SPADPRSR \ - PARSER PROPFRML + PARSER PROPFRML TSETCAT TSETCAT- axiom_algebra_layer_19_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) diff --git a/src/algebra/strap/TSETCAT-.lsp b/src/algebra/strap/TSETCAT-.lsp deleted file mode 100644 index 3474e270..00000000 --- a/src/algebra/strap/TSETCAT-.lsp +++ /dev/null @@ -1,1133 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;=;2SB;1|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;infRittWu?;2SB;2|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) - |%Boolean|) - |TSETCAT-;reduced?;PSMB;3|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Shell|) |%Pair|) - |TSETCAT-;basicSet;LMU;4|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Thing| |%Shell|) |%Pair|) - |TSETCAT-;basicSet;LMMU;5|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|) - |TSETCAT-;initials;SL;6|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0)) - |TSETCAT-;degree;SNni;7|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |TSETCAT-;quasiComponent;SR;8|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;normalized?;PSB;9|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;stronglyReduced?;PSB;10|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;headReduced?;PSB;11|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;initiallyReduced?;PSB;12|)) - -(DECLAIM (FTYPE (FUNCTION - (|%Thing| |%Thing| |%Thing| |%Thing| |%Shell|) - |%Thing|) - |TSETCAT-;reduce;PSMMP;13|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Thing| |%Thing| |%Shell|) - |%List|) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;stronglyReduce;PSP;15|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;headReduce;PSP;16|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;initiallyReduce;PSP;17|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;removeZero;PSP;18|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;reduceByQuasiMonic;PSP;19|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;autoReduced?;SMB;20|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;stronglyReduced?;SB;21|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;normalized?;SB;22|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;headReduced?;SB;23|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;initiallyReduced?;SB;24|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |TSETCAT-;mvar;SV;25|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |TSETCAT-;first;SU;26|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |TSETCAT-;last;SU;27|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) - |TSETCAT-;rest;SU;28|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|) - |TSETCAT-;coerce;SL;29|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|) - |TSETCAT-;algebraicVariables;SL;30|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) - |TSETCAT-;algebraic?;VSB;31|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|) - |TSETCAT-;select;SVU;32|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) - |TSETCAT-;collectQuasiMonic;2S;33|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;collectUnder;SVS;34|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;collectUpper;SVS;35|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) - |TSETCAT-;construct;LS;36|)) - -(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Pair|) - |TSETCAT-;retractIfCan;LU;37|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) - |TSETCAT-;extend;SPS;38|)) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%IntegerSection| 0)) - |TSETCAT-;coHeight;SNni;39|)) - -(DEFUN |TSETCAT-;=;2SB;1| (|ts| |us| $) - (PROG (#0=#:G1457 #1=#:G1463) - (RETURN - (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) - (SPADCALL |us| (|getShellEntry| $ 12))) - ((OR (SPADCALL |us| (|getShellEntry| $ 12)) - (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 - (PROG2 (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 18)) - |TSETCAT-;=;2SB;1|) - (QCDR #1#) - (|check-union| (QEQCAR #1# 0) (|getShellEntry| $ 6) #1#)) - (PROG2 (LETT #1# (SPADCALL |us| (|getShellEntry| $ 18)) - |TSETCAT-;=;2SB;1|) - (QCDR #1#) - (|check-union| (QEQCAR #1# 0) (|getShellEntry| $ 6) #1#)) - (|getShellEntry| $ 19))))))) - -(DEFUN |TSETCAT-;infRittWu?;2SB;2| (|ts| |us| $) - (PROG (|p| #0=#:G1470 |q| |v|) - (RETURN - (SEQ (COND - ((SPADCALL |us| (|getShellEntry| $ 12)) - (NOT (SPADCALL |ts| (|getShellEntry| $ 12)))) - ((SPADCALL |ts| (|getShellEntry| $ 12)) 'NIL) - ('T - (SEQ (LETT |p| - (PROG2 (LETT #0# - (SPADCALL |ts| - (|getShellEntry| $ 21)) - |TSETCAT-;infRittWu?;2SB;2|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - |TSETCAT-;infRittWu?;2SB;2|) - (LETT |q| - (PROG2 (LETT #0# - (SPADCALL |us| - (|getShellEntry| $ 21)) - |TSETCAT-;infRittWu?;2SB;2|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - |TSETCAT-;infRittWu?;2SB;2|) - (EXIT (COND - ((SPADCALL |p| |q| (|getShellEntry| $ 22)) - 'T) - ((SPADCALL |p| |q| (|getShellEntry| $ 24)) - 'NIL) - ('T - (SEQ (LETT |v| - (SPADCALL |p| - (|getShellEntry| $ 25)) - |TSETCAT-;infRittWu?;2SB;2|) - (EXIT (SPADCALL - (SPADCALL |ts| |v| - (|getShellEntry| $ 26)) - (SPADCALL |us| |v| - (|getShellEntry| $ 26)) - (|getShellEntry| $ 27)))))))))))))) - -(DEFUN |TSETCAT-;reduced?;PSMB;3| (|p| |ts| |redOp?| $) - (PROG (|lp|) - (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;reduced?;PSMB;3|) - (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp|) 'NIL) - ('T - (SPADCALL |p| (|SPADfirst| |lp|) |redOp?|)))) - (GO G191))) - (SEQ (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;reduced?;PSMB;3|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (NULL |lp|)))))) - -(DEFUN |TSETCAT-;basicSet;LMU;4| (|ps| |redOp?| $) - (PROG (|b| |bs| |p| |ts|) - (RETURN - (SEQ (LETT |ps| (SPADCALL (ELT $ 36) |ps| (|getShellEntry| $ 38)) - |TSETCAT-;basicSet;LMU;4|) - (EXIT (COND - ((SPADCALL (ELT $ 39) |ps| (|getShellEntry| $ 40)) - (CONS 1 "failed")) - ('T - (SEQ (LETT |ps| - (SPADCALL (ELT $ 22) |ps| - (|getShellEntry| $ 41)) - |TSETCAT-;basicSet;LMU;4|) - (LETT |bs| (SPADCALL (|getShellEntry| $ 42)) - |TSETCAT-;basicSet;LMU;4|) - (LETT |ts| NIL |TSETCAT-;basicSet;LMU;4|) - (SEQ G190 - (COND - ((NULL (NOT (NULL |ps|))) (GO G191))) - (SEQ (LETT |b| (|SPADfirst| |ps|) - |TSETCAT-;basicSet;LMU;4|) - (LETT |bs| - (SPADCALL |bs| |b| - (|getShellEntry| $ 43)) - |TSETCAT-;basicSet;LMU;4|) - (LETT |ps| (CDR |ps|) - |TSETCAT-;basicSet;LMU;4|) - (EXIT - (SEQ G190 - (COND - ((NULL - (COND - ((NULL |ps|) 'NIL) - ('T - (NOT - (SPADCALL - (LETT |p| - (|SPADfirst| |ps|) - |TSETCAT-;basicSet;LMU;4|) - |bs| |redOp?| - (|getShellEntry| $ 44)))))) - (GO G191))) - (SEQ - (LETT |ts| (CONS |p| |ts|) - |TSETCAT-;basicSet;LMU;4|) - (EXIT - (LETT |ps| (CDR |ps|) - |TSETCAT-;basicSet;LMU;4|))) - NIL (GO G190) G191 (EXIT NIL)))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (CONS 0 (CONS |bs| |ts|))))))))))) - -(DEFUN |TSETCAT-;basicSet;LMMU;5| (|ps| |pred?| |redOp?| $) - (PROG (|bps| |b| |bs| |p| |gps| |ts|) - (RETURN - (SEQ (LETT |ps| (SPADCALL (ELT $ 36) |ps| (|getShellEntry| $ 38)) - |TSETCAT-;basicSet;LMMU;5|) - (EXIT (COND - ((SPADCALL (ELT $ 39) |ps| (|getShellEntry| $ 40)) - (CONS 1 "failed")) - ('T - (SEQ (LETT |gps| NIL |TSETCAT-;basicSet;LMMU;5|) - (LETT |bps| NIL |TSETCAT-;basicSet;LMMU;5|) - (SEQ G190 - (COND - ((NULL (NOT (NULL |ps|))) (GO G191))) - (SEQ (LETT |p| (|SPADfirst| |ps|) - |TSETCAT-;basicSet;LMMU;5|) - (LETT |ps| (CDR |ps|) - |TSETCAT-;basicSet;LMMU;5|) - (EXIT - (COND - ((SPADCALL |p| |pred?|) - (LETT |gps| (CONS |p| |gps|) - |TSETCAT-;basicSet;LMMU;5|)) - ('T - (LETT |bps| (CONS |p| |bps|) - |TSETCAT-;basicSet;LMMU;5|))))) - NIL (GO G190) G191 (EXIT NIL)) - (LETT |gps| - (SPADCALL (ELT $ 22) |gps| - (|getShellEntry| $ 41)) - |TSETCAT-;basicSet;LMMU;5|) - (LETT |bs| (SPADCALL (|getShellEntry| $ 42)) - |TSETCAT-;basicSet;LMMU;5|) - (LETT |ts| NIL |TSETCAT-;basicSet;LMMU;5|) - (SEQ G190 - (COND - ((NULL (NOT (NULL |gps|))) (GO G191))) - (SEQ (LETT |b| (|SPADfirst| |gps|) - |TSETCAT-;basicSet;LMMU;5|) - (LETT |bs| - (SPADCALL |bs| |b| - (|getShellEntry| $ 43)) - |TSETCAT-;basicSet;LMMU;5|) - (LETT |gps| (CDR |gps|) - |TSETCAT-;basicSet;LMMU;5|) - (EXIT - (SEQ G190 - (COND - ((NULL - (COND - ((NULL |gps|) 'NIL) - ('T - (NOT - (SPADCALL - (LETT |p| - (|SPADfirst| |gps|) - |TSETCAT-;basicSet;LMMU;5|) - |bs| |redOp?| - (|getShellEntry| $ 44)))))) - (GO G191))) - (SEQ - (LETT |ts| (CONS |p| |ts|) - |TSETCAT-;basicSet;LMMU;5|) - (EXIT - (LETT |gps| (CDR |gps|) - |TSETCAT-;basicSet;LMMU;5|))) - NIL (GO G190) G191 (EXIT NIL)))) - NIL (GO G190) G191 (EXIT NIL)) - (LETT |ts| - (SPADCALL (ELT $ 22) - (SPADCALL |ts| |bps| - (|getShellEntry| $ 49)) - (|getShellEntry| $ 41)) - |TSETCAT-;basicSet;LMMU;5|) - (EXIT (CONS 0 (CONS |bs| |ts|))))))))))) - -(DEFUN |TSETCAT-;initials;SL;6| (|ts| $) - (PROG (|p| |ip| |lip| |lp|) - (RETURN - (SEQ (LETT |lip| NIL |TSETCAT-;initials;SL;6|) - (EXIT (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) |lip|) - ('T - (SEQ (LETT |lp| - (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;initials;SL;6|) - (SEQ G190 - (COND - ((NULL (NOT (NULL |lp|))) (GO G191))) - (SEQ (LETT |p| (|SPADfirst| |lp|) - |TSETCAT-;initials;SL;6|) - (COND - ((NOT - (SPADCALL - (LETT |ip| - (SPADCALL |p| - (|getShellEntry| $ 51)) - |TSETCAT-;initials;SL;6|) - (|getShellEntry| $ 39))) - (LETT |lip| - (CONS - (SPADCALL |ip| - (|getShellEntry| $ 52)) - |lip|) - |TSETCAT-;initials;SL;6|))) - (EXIT - (LETT |lp| (CDR |lp|) - |TSETCAT-;initials;SL;6|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |lip| (|getShellEntry| $ 53))))))))))) - -(DEFUN |TSETCAT-;degree;SNni;7| (|ts| $) - (PROG (|lp| |d|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) 0) - ('T - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;degree;SNni;7|) - (LETT |d| - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 57)) - |TSETCAT-;degree;SNni;7|) - (SEQ G190 - (COND - ((NULL (NOT (NULL - (LETT |lp| (CDR |lp|) - |TSETCAT-;degree;SNni;7|)))) - (GO G191))) - (SEQ (EXIT (LETT |d| - (* |d| - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 57))) - |TSETCAT-;degree;SNni;7|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT |d|)))))))) - -(DEFUN |TSETCAT-;quasiComponent;SR;8| (|ts| $) - (CONS (SPADCALL |ts| (|getShellEntry| $ 30)) - (SPADCALL |ts| (|getShellEntry| $ 60)))) - -(DEFUN |TSETCAT-;normalized?;PSB;9| (|p| |ts| $) - (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 64))) - -(DEFUN |TSETCAT-;stronglyReduced?;PSB;10| (|p| |ts| $) - (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 66))) - -(DEFUN |TSETCAT-;headReduced?;PSB;11| (|p| |ts| $) - (SPADCALL (SPADCALL |p| (|getShellEntry| $ 68)) |ts| - (|getShellEntry| $ 69))) - -(DEFUN |TSETCAT-;initiallyReduced?;PSB;12| (|p| |ts| $) - (PROG (|lp| |red|) - (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;initiallyReduced?;PSB;12|) - (LETT |red| 'T |TSETCAT-;initiallyReduced?;PSB;12|) - (SEQ G190 - (COND - ((NULL (COND - ((OR (NULL |lp|) - (SPADCALL |p| (|getShellEntry| $ 39))) - 'NIL) - ('T |red|))) - (GO G191))) - (SEQ (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp|) 'NIL) - ('T - (SPADCALL - (SPADCALL |p| - (|getShellEntry| $ 25)) - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 25)) - (|getShellEntry| $ 71))))) - (GO G191))) - (SEQ (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;initiallyReduced?;PSB;12|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (COND - ((NOT (NULL |lp|)) - (COND - ((SPADCALL - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 25)) - (SPADCALL |p| - (|getShellEntry| $ 25)) - (|getShellEntry| $ 72)) - (COND - ((SPADCALL |p| (|SPADfirst| |lp|) - (|getShellEntry| $ 73)) - (SEQ - (LETT |lp| (CDR |lp|) - |TSETCAT-;initiallyReduced?;PSB;12|) - (EXIT - (LETT |p| - (SPADCALL |p| - (|getShellEntry| $ 51)) - |TSETCAT-;initiallyReduced?;PSB;12|)))) - ('T - (LETT |red| 'NIL - |TSETCAT-;initiallyReduced?;PSB;12|)))) - ('T - (LETT |p| - (SPADCALL |p| - (|getShellEntry| $ 51)) - |TSETCAT-;initiallyReduced?;PSB;12|))))))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT |red|))))) - -(DEFUN |TSETCAT-;reduce;PSMMP;13| (|p| |ts| |redOp| |redOp?| $) - (PROG (|ts0| #0=#:G1545 |reductor| #1=#:G1548) - (RETURN - (SEQ (COND - ((OR (SPADCALL |ts| (|getShellEntry| $ 12)) - (SPADCALL |p| (|getShellEntry| $ 39))) - |p|) - ('T - (SEQ (LETT |ts0| |ts| |TSETCAT-;reduce;PSMMP;13|) - (SEQ G190 - (COND - ((NULL (COND - ((SPADCALL |ts| - (|getShellEntry| $ 12)) - 'NIL) - ('T - (NOT - (SPADCALL |p| - (|getShellEntry| $ 39)))))) - (GO G191))) - (SEQ (LETT |reductor| - (PROG2 - (LETT #0# - (SPADCALL |ts| - (|getShellEntry| $ 15)) - |TSETCAT-;reduce;PSMMP;13|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - |TSETCAT-;reduce;PSMMP;13|) - (LETT |ts| - (PROG2 - (LETT #1# - (SPADCALL |ts| - (|getShellEntry| $ 18)) - |TSETCAT-;reduce;PSMMP;13|) - (QCDR #1#) - (|check-union| (QEQCAR #1# 0) - (|getShellEntry| $ 6) #1#)) - |TSETCAT-;reduce;PSMMP;13|) - (EXIT (COND - ((NOT - (SPADCALL |p| |reductor| - |redOp?|)) - (SEQ - (LETT |p| - (SPADCALL |p| |reductor| - |redOp|) - |TSETCAT-;reduce;PSMMP;13|) - (EXIT - (LETT |ts| |ts0| - |TSETCAT-;reduce;PSMMP;13|))))))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT |p|)))))))) - -(DEFUN |TSETCAT-;rewriteSetWithReduction;LSMML;14| - (|lp| |ts| |redOp| |redOp?| $) - (PROG (|p| |rs|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 77)) |lp|) - ('T - (SEQ (LETT |lp| - (SPADCALL (ELT $ 36) |lp| - (|getShellEntry| $ 38)) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (EXIT (COND - ((NULL |lp|) |lp|) - ((SPADCALL (ELT $ 39) |lp| - (|getShellEntry| $ 40)) - (LIST (|spadConstant| $ 78))) - ('T - (SEQ (LETT |rs| NIL - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (SEQ G190 - (COND - ((NULL (NOT (NULL |lp|))) - (GO G191))) - (SEQ - (LETT |p| (|SPADfirst| |lp|) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (LETT |lp| (CDR |lp|) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (LETT |p| - (SPADCALL - (SPADCALL |p| |ts| |redOp| - |redOp?| - (|getShellEntry| $ 79)) - (|getShellEntry| $ 52)) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (EXIT - (COND - ((NOT - (SPADCALL |p| - (|getShellEntry| $ 36))) - (COND - ((SPADCALL |p| - (|getShellEntry| $ 39)) - (SEQ - (LETT |lp| NIL - |TSETCAT-;rewriteSetWithReduction;LSMML;14|) - (EXIT - (LETT |rs| - (LIST - (|spadConstant| $ 78)) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|)))) - ('T - (LETT |rs| - (CONS |p| |rs|) - |TSETCAT-;rewriteSetWithReduction;LSMML;14|))))))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |rs| - (|getShellEntry| $ 53)))))))))))))) - -(DEFUN |TSETCAT-;stronglyReduce;PSP;15| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 81) (ELT $ 73) (|getShellEntry| $ 79))) - -(DEFUN |TSETCAT-;headReduce;PSP;16| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 83) (ELT $ 84) (|getShellEntry| $ 79))) - -(DEFUN |TSETCAT-;initiallyReduce;PSP;17| (|p| |ts| $) - (SPADCALL |p| |ts| (ELT $ 86) (ELT $ 87) (|getShellEntry| $ 79))) - -(DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $) - (PROG (|v| |tsv-| #0=#:G1571 #1=#:G1580 |q|) - (RETURN - (SEQ (EXIT (COND - ((OR (SPADCALL |p| (|getShellEntry| $ 39)) - (SPADCALL |ts| (|getShellEntry| $ 12))) - |p|) - ('T - (SEQ (LETT |v| - (SPADCALL |p| (|getShellEntry| $ 25)) - |TSETCAT-;removeZero;PSP;18|) - (LETT |tsv-| - (SPADCALL |ts| |v| - (|getShellEntry| $ 89)) - |TSETCAT-;removeZero;PSP;18|) - (COND - ((SPADCALL |v| |ts| (|getShellEntry| $ 90)) - (SEQ (LETT |q| - (SPADCALL |p| - (PROG2 - (LETT #0# - (SPADCALL |ts| |v| - (|getShellEntry| $ 91)) - |TSETCAT-;removeZero;PSP;18|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) - (|getShellEntry| $ 10) #0#)) - (|getShellEntry| $ 81)) - |TSETCAT-;removeZero;PSP;18|) - (EXIT (COND - ((SPADCALL |q| - (|getShellEntry| $ 36)) - (PROGN - (LETT #1# |q| - |TSETCAT-;removeZero;PSP;18|) - (GO #1#))) - ((SPADCALL - (SPADCALL |q| |tsv-| - (|getShellEntry| $ 92)) - (|getShellEntry| $ 36)) - (PROGN - (LETT #1# - (|spadConstant| $ 93) - |TSETCAT-;removeZero;PSP;18|) - (GO #1#)))))))) - (EXIT (COND - ((SPADCALL |tsv-| - (|getShellEntry| $ 12)) - |p|) - ('T - (SEQ (LETT |q| (|spadConstant| $ 93) - |TSETCAT-;removeZero;PSP;18|) - (SEQ G190 - (COND - ((NULL - (SPADCALL - (SPADCALL |p| |v| - (|getShellEntry| $ 94)) - (|getShellEntry| $ 96))) - (GO G191))) - (SEQ - (LETT |q| - (SPADCALL - (SPADCALL - (SPADCALL - (SPADCALL |p| - (|getShellEntry| $ 51)) - |tsv-| - (|getShellEntry| $ 92)) - (SPADCALL |p| - (|getShellEntry| $ 97)) - (|getShellEntry| $ 98)) - |q| (|getShellEntry| $ 99)) - |TSETCAT-;removeZero;PSP;18|) - (EXIT - (LETT |p| - (SPADCALL |p| - (|getShellEntry| $ 100)) - |TSETCAT-;removeZero;PSP;18|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT - (SPADCALL |q| - (SPADCALL |p| |tsv-| - (|getShellEntry| $ 92)) - (|getShellEntry| $ 99))))))))))) - #1# (EXIT #1#))))) - -(DEFUN |TSETCAT-;reduceByQuasiMonic;PSP;19| (|p| |ts| $) - (COND - ((OR (SPADCALL |p| (|getShellEntry| $ 39)) - (SPADCALL |ts| (|getShellEntry| $ 12))) - |p|) - ('T - (QVELT (SPADCALL |p| (SPADCALL |ts| (|getShellEntry| $ 102)) - (|getShellEntry| $ 104)) - 1)))) - -(DEFUN |TSETCAT-;autoReduced?;SMB;20| (|ts| |redOp?| $) - (PROG (|p| |lp|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) 'T) - ('T - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;autoReduced?;SMB;20|) - (LETT |p| (|SPADfirst| |lp|) - |TSETCAT-;autoReduced?;SMB;20|) - (LETT |lp| (CDR |lp|) - |TSETCAT-;autoReduced?;SMB;20|) - (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp|) 'NIL) - ('T (SPADCALL |p| |lp| |redOp?|)))) - (GO G191))) - (SEQ (LETT |p| (|SPADfirst| |lp|) - |TSETCAT-;autoReduced?;SMB;20|) - (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;autoReduced?;SMB;20|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (NULL |lp|))))))))) - -(DEFUN |TSETCAT-;stronglyReduced?;SB;21| (|ts| $) - (SPADCALL |ts| (ELT $ 66) (|getShellEntry| $ 108))) - -(DEFUN |TSETCAT-;normalized?;SB;22| (|ts| $) - (SPADCALL |ts| (ELT $ 64) (|getShellEntry| $ 108))) - -(DEFUN |TSETCAT-;headReduced?;SB;23| (|ts| $) - (SPADCALL |ts| (ELT $ 111) (|getShellEntry| $ 108))) - -(DEFUN |TSETCAT-;initiallyReduced?;SB;24| (|ts| $) - (SPADCALL |ts| (ELT $ 113) (|getShellEntry| $ 108))) - -(DEFUN |TSETCAT-;mvar;SV;25| (|ts| $) - (PROG (#0=#:G1599) - (RETURN - (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) - (|error| "Error from TSETCAT in mvar : #1 is empty")) - ('T - (SPADCALL - (PROG2 (LETT #0# (SPADCALL |ts| (|getShellEntry| $ 15)) - |TSETCAT-;mvar;SV;25|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 10) - #0#)) - (|getShellEntry| $ 25))))))) - -(DEFUN |TSETCAT-;first;SU;26| (|ts| $) - (PROG (|lp|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) - ('T - (SEQ (LETT |lp| - (SPADCALL (ELT $ 24) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;first;SU;26|) - (EXIT (CONS 0 (|SPADfirst| |lp|)))))))))) - -(DEFUN |TSETCAT-;last;SU;27| (|ts| $) - (PROG (|lp|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) - ('T - (SEQ (LETT |lp| - (SPADCALL (ELT $ 22) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;last;SU;27|) - (EXIT (CONS 0 (|SPADfirst| |lp|)))))))))) - -(DEFUN |TSETCAT-;rest;SU;28| (|ts| $) - (PROG (|lp|) - (RETURN - (SEQ (COND - ((SPADCALL |ts| (|getShellEntry| $ 12)) (CONS 1 "failed")) - ('T - (SEQ (LETT |lp| - (SPADCALL (ELT $ 24) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;rest;SU;28|) - (EXIT (CONS 0 - (SPADCALL (CDR |lp|) - (|getShellEntry| $ 118))))))))))) - -(DEFUN |TSETCAT-;coerce;SL;29| (|ts| $) - (SPADCALL (ELT $ 24) (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41))) - -(DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $) - (PROG (#0=#:G1667 |p| #1=#:G1668) - (RETURN - (SEQ (PROGN - (LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|) - (SEQ (LETT |p| NIL |TSETCAT-;algebraicVariables;SL;30|) - (LETT #1# (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;algebraicVariables;SL;30|) - G190 - (COND - ((OR (ATOM #1#) - (PROGN - (LETT |p| (CAR #1#) - |TSETCAT-;algebraicVariables;SL;30|) - NIL)) - (GO G191))) - (SEQ (EXIT (LETT #0# - (CONS - (SPADCALL |p| - (|getShellEntry| $ 25)) - #0#) - |TSETCAT-;algebraicVariables;SL;30|))) - (LETT #1# (CDR #1#) - |TSETCAT-;algebraicVariables;SL;30|) - (GO G190) G191 (EXIT (NREVERSE0 #0#)))))))) - -(DEFUN |TSETCAT-;algebraic?;VSB;31| (|v| |ts| $) - (SPADCALL |v| (SPADCALL |ts| (|getShellEntry| $ 123)) - (|getShellEntry| $ 124))) - -(DEFUN |TSETCAT-;select;SVU;32| (|ts| |v| $) - (PROG (|lp|) - (RETURN - (SEQ (LETT |lp| - (SPADCALL (ELT $ 24) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;select;SVU;32|) - (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp|) 'NIL) - ('T - (NOT (SPADCALL |v| - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 25)) - (|getShellEntry| $ 72)))))) - (GO G191))) - (SEQ (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;select;SVU;32|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (COND - ((NULL |lp|) (CONS 1 "failed")) - ('T (CONS 0 (|SPADfirst| |lp|))))))))) - -(DEFUN |TSETCAT-;collectQuasiMonic;2S;33| (|ts| $) - (PROG (|newlp| |lp|) - (RETURN - (SEQ (LETT |lp| (SPADCALL |ts| (|getShellEntry| $ 30)) - |TSETCAT-;collectQuasiMonic;2S;33|) - (LETT |newlp| NIL |TSETCAT-;collectQuasiMonic;2S;33|) - (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191))) - (SEQ (COND - ((SPADCALL - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 51)) - (|getShellEntry| $ 39)) - (LETT |newlp| (CONS (|SPADfirst| |lp|) |newlp|) - |TSETCAT-;collectQuasiMonic;2S;33|))) - (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;collectQuasiMonic;2S;33|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |newlp| (|getShellEntry| $ 118))))))) - -(DEFUN |TSETCAT-;collectUnder;SVS;34| (|ts| |v| $) - (PROG (|lp|) - (RETURN - (SEQ (LETT |lp| - (SPADCALL (ELT $ 24) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;collectUnder;SVS;34|) - (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp|) 'NIL) - ('T - (NOT (SPADCALL - (SPADCALL (|SPADfirst| |lp|) - (|getShellEntry| $ 25)) - |v| (|getShellEntry| $ 71)))))) - (GO G191))) - (SEQ (EXIT (LETT |lp| (CDR |lp|) - |TSETCAT-;collectUnder;SVS;34|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL |lp| (|getShellEntry| $ 118))))))) - -(DEFUN |TSETCAT-;collectUpper;SVS;35| (|ts| |v| $) - (PROG (|lp2| |lp1|) - (RETURN - (SEQ (LETT |lp1| - (SPADCALL (ELT $ 24) - (SPADCALL |ts| (|getShellEntry| $ 30)) - (|getShellEntry| $ 41)) - |TSETCAT-;collectUpper;SVS;35|) - (LETT |lp2| NIL |TSETCAT-;collectUpper;SVS;35|) - (SEQ G190 - (COND - ((NULL (COND - ((NULL |lp1|) 'NIL) - ('T - (SPADCALL |v| - (SPADCALL (|SPADfirst| |lp1|) - (|getShellEntry| $ 25)) - (|getShellEntry| $ 71))))) - (GO G191))) - (SEQ (LETT |lp2| (CONS (|SPADfirst| |lp1|) |lp2|) - |TSETCAT-;collectUpper;SVS;35|) - (EXIT (LETT |lp1| (CDR |lp1|) - |TSETCAT-;collectUpper;SVS;35|))) - NIL (GO G190) G191 (EXIT NIL)) - (EXIT (SPADCALL (REVERSE |lp2|) (|getShellEntry| $ 118))))))) - -(DEFUN |TSETCAT-;construct;LS;36| (|lp| $) - (PROG (|rif|) - (RETURN - (SEQ (LETT |rif| (SPADCALL |lp| (|getShellEntry| $ 131)) - |TSETCAT-;construct;LS;36|) - (EXIT (COND - ((QEQCAR |rif| 0) (QCDR |rif|)) - ('T - (|error| "in construct : LP -> $ from TSETCAT : bad arg")))))))) - -(DEFUN |TSETCAT-;retractIfCan;LU;37| (|lp| $) - (PROG (|rif|) - (RETURN - (SEQ (COND - ((NULL |lp|) (CONS 0 (SPADCALL (|getShellEntry| $ 42)))) - ('T - (SEQ (LETT |lp| - (SPADCALL (ELT $ 24) |lp| - (|getShellEntry| $ 41)) - |TSETCAT-;retractIfCan;LU;37|) - (LETT |rif| - (SPADCALL (CDR |lp|) (|getShellEntry| $ 131)) - |TSETCAT-;retractIfCan;LU;37|) - (EXIT (COND - ((QEQCAR |rif| 0) - (SPADCALL (QCDR |rif|) (|SPADfirst| |lp|) - (|getShellEntry| $ 133))) - ('T - (|error| "in retractIfCan : LP -> ... from TSETCAT : bad arg"))))))))))) - -(DEFUN |TSETCAT-;extend;SPS;38| (|ts| |p| $) - (PROG (|eif|) - (RETURN - (SEQ (LETT |eif| (SPADCALL |ts| |p| (|getShellEntry| $ 133)) - |TSETCAT-;extend;SPS;38|) - (EXIT (COND - ((QEQCAR |eif| 0) (QCDR |eif|)) - ('T - (|error| "in extend : ($,P) -> $ from TSETCAT : bad ars")))))))) - -(DEFUN |TSETCAT-;coHeight;SNni;39| (|ts| $) - (PROG (|n| |m| #0=#:G1663) - (RETURN - (SEQ (LETT |n| (SPADCALL (|getShellEntry| $ 136)) - |TSETCAT-;coHeight;SNni;39|) - (LETT |m| (LENGTH (SPADCALL |ts| (|getShellEntry| $ 30))) - |TSETCAT-;coHeight;SNni;39|) - (EXIT (PROG2 (LETT #0# - (SPADCALL |n| |m| - (|getShellEntry| $ 138)) - |TSETCAT-;coHeight;SNni;39|) - (QCDR #0#) - (|check-union| (QEQCAR #0# 0) (|NonNegativeInteger|) - #0#))))))) - -(DEFUN |TriangularSetCategory&| (|#1| |#2| |#3| |#4| |#5|) - (PROG (|dv$1| |dv$2| |dv$3| |dv$4| |dv$5| |dv$| $ |pv$|) - (RETURN - (PROGN - (LETT |dv$1| (|devaluate| |#1|) - . #0=(|TriangularSetCategory&|)) - (LETT |dv$2| (|devaluate| |#2|) . #0#) - (LETT |dv$3| (|devaluate| |#3|) . #0#) - (LETT |dv$4| (|devaluate| |#4|) . #0#) - (LETT |dv$5| (|devaluate| |#5|) . #0#) - (LETT |dv$| - (LIST '|TriangularSetCategory&| |dv$1| |dv$2| |dv$3| - |dv$4| |dv$5|) . #0#) - (LETT $ (|newShell| 141) . #0#) - (|setShellEntry| $ 0 |dv$|) - (|setShellEntry| $ 3 - (LETT |pv$| - (|buildPredVector| 0 0 - (LIST (|HasCategory| |#4| '(|Finite|)))) . #0#)) - (|stuffDomainSlots| $) - (|setShellEntry| $ 6 |#1|) - (|setShellEntry| $ 7 |#2|) - (|setShellEntry| $ 8 |#3|) - (|setShellEntry| $ 9 |#4|) - (|setShellEntry| $ 10 |#5|) - (COND - ((|testBitVector| |pv$| 1) - (|setShellEntry| $ 139 - (CONS (|dispatchFunction| |TSETCAT-;coHeight;SNni;39|) - $)))) - $)))) - -(MAKEPROP '|TriangularSetCategory&| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) - (|local| |#3|) (|local| |#4|) (|local| |#5|) (|Boolean|) - (0 . |empty?|) (5 . |false|) (|Union| 10 '"failed") - (9 . |first|) (14 . =) (|Union| $ '"failed") (20 . |rest|) - (25 . =) |TSETCAT-;=;2SB;1| (31 . |last|) - (36 . |infRittWu?|) (42 . |true|) (46 . |supRittWu?|) - (52 . |mvar|) (57 . |collectUpper|) (63 . |infRittWu?|) - |TSETCAT-;infRittWu?;2SB;2| (|List| 10) (69 . |members|) - (74 . |empty?|) (79 . |first|) (84 . |rest|) - (|Mapping| 11 10 10) |TSETCAT-;reduced?;PSMB;3| - (89 . |zero?|) (|Mapping| 11 10) (94 . |remove|) - (100 . |ground?|) (105 . |any?|) (111 . |sort|) - (117 . |empty|) (121 . |extend|) (127 . |reduced?|) - (134 . |cons|) (|Record| (|:| |bas| $) (|:| |top| 29)) - (|Union| 46 '"failed") |TSETCAT-;basicSet;LMU;4| - (140 . |concat|) |TSETCAT-;basicSet;LMMU;5| (146 . |init|) - (151 . |primPartElseUnitCanonical|) - (156 . |removeDuplicates|) |TSETCAT-;initials;SL;6| - (|NonNegativeInteger|) (161 . |Zero|) (165 . |mdeg|) - (170 . *) |TSETCAT-;degree;SNni;7| (176 . |initials|) - (|Record| (|:| |close| 29) (|:| |open| 29)) - |TSETCAT-;quasiComponent;SR;8| (|List| $) - (181 . |normalized?|) |TSETCAT-;normalized?;PSB;9| - (187 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10| - (193 . |head|) (198 . |stronglyReduced?|) - |TSETCAT-;headReduced?;PSB;11| (204 . <) (210 . =) - (216 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12| - (|Mapping| 10 10 10) |TSETCAT-;reduce;PSMMP;13| - (222 . |trivialIdeal?|) (227 . |One|) (231 . |reduce|) - |TSETCAT-;rewriteSetWithReduction;LSMML;14| - (239 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15| - (245 . |headReduce|) (251 . |headReduced?|) - |TSETCAT-;headReduce;PSP;16| (257 . |initiallyReduce|) - (263 . |initiallyReduced?|) - |TSETCAT-;initiallyReduce;PSP;17| (269 . |collectUnder|) - (275 . |algebraic?|) (281 . |select|) (287 . |removeZero|) - (293 . |Zero|) (297 . |degree|) (|Integer|) - (303 . |positive?|) (308 . |mainMonomial|) (313 . *) - (319 . +) (325 . |tail|) |TSETCAT-;removeZero;PSP;18| - (330 . |collectQuasiMonic|) - (|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7)) - (335 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19| - (|Mapping| 11 10 29) |TSETCAT-;autoReduced?;SMB;20| - (341 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21| - |TSETCAT-;normalized?;SB;22| (347 . |headReduced?|) - |TSETCAT-;headReduced?;SB;23| (353 . |initiallyReduced?|) - |TSETCAT-;initiallyReduced?;SB;24| |TSETCAT-;mvar;SV;25| - |TSETCAT-;first;SU;26| |TSETCAT-;last;SU;27| - (359 . |construct|) |TSETCAT-;rest;SU;28| - |TSETCAT-;coerce;SL;29| (|List| 9) - |TSETCAT-;algebraicVariables;SL;30| - (364 . |algebraicVariables|) (369 . |member?|) - |TSETCAT-;algebraic?;VSB;31| |TSETCAT-;select;SVU;32| - |TSETCAT-;collectQuasiMonic;2S;33| - |TSETCAT-;collectUnder;SVS;34| (375 . |reverse|) - |TSETCAT-;collectUpper;SVS;35| (380 . |retractIfCan|) - |TSETCAT-;construct;LS;36| (385 . |extendIfCan|) - |TSETCAT-;retractIfCan;LU;37| |TSETCAT-;extend;SPS;38| - (391 . |size|) (395 . |#|) (400 . |subtractIfCan|) - (406 . |coHeight|) (|OutputForm|)) - '#(|stronglyReduced?| 411 |stronglyReduce| 422 |select| 428 - |rewriteSetWithReduction| 434 |retractIfCan| 442 |rest| - 447 |removeZero| 452 |reduced?| 458 |reduceByQuasiMonic| - 465 |reduce| 471 |quasiComponent| 479 |normalized?| 484 - |mvar| 495 |last| 500 |initials| 505 |initiallyReduced?| - 510 |initiallyReduce| 521 |infRittWu?| 527 |headReduced?| - 533 |headReduce| 544 |first| 550 |extend| 555 |degree| 561 - |construct| 566 |collectUpper| 571 |collectUnder| 577 - |collectQuasiMonic| 583 |coerce| 588 |coHeight| 593 - |basicSet| 598 |autoReduced?| 611 |algebraicVariables| 617 - |algebraic?| 622 = 628) - 'NIL - (CONS (|makeByteWordVec2| 1 'NIL) - (CONS '#() - (CONS '#() - (|makeByteWordVec2| 139 - '(1 6 11 0 12 0 11 0 13 1 6 14 0 15 2 - 10 11 0 0 16 1 6 17 0 18 2 6 11 0 0 - 19 1 6 14 0 21 2 10 11 0 0 22 0 11 0 - 23 2 10 11 0 0 24 1 10 9 0 25 2 6 0 0 - 9 26 2 6 11 0 0 27 1 6 29 0 30 1 29 - 11 0 31 1 29 10 0 32 1 29 0 0 33 1 10 - 11 0 36 2 29 0 37 0 38 1 10 11 0 39 2 - 29 11 37 0 40 2 29 0 34 0 41 0 6 0 42 - 2 6 0 0 10 43 3 6 11 10 0 34 44 2 29 - 0 10 0 45 2 29 0 0 0 49 1 10 0 0 51 1 - 10 0 0 52 1 29 0 0 53 0 55 0 56 1 10 - 55 0 57 2 55 0 55 0 58 1 6 29 0 60 2 - 10 11 0 63 64 2 10 11 0 63 66 1 10 0 - 0 68 2 6 11 10 0 69 2 9 11 0 0 71 2 9 - 11 0 0 72 2 10 11 0 0 73 1 6 11 0 77 - 0 10 0 78 4 6 10 10 0 75 34 79 2 10 0 - 0 0 81 2 10 0 0 0 83 2 10 11 0 0 84 2 - 10 0 0 0 86 2 10 11 0 0 87 2 6 0 0 9 - 89 2 6 11 9 0 90 2 6 14 0 9 91 2 6 10 - 10 0 92 0 10 0 93 2 10 55 0 9 94 1 95 - 11 0 96 1 10 0 0 97 2 10 0 0 0 98 2 - 10 0 0 0 99 1 10 0 0 100 1 6 0 0 102 - 2 6 103 10 0 104 2 6 11 0 106 108 2 - 10 11 0 63 111 2 10 11 0 63 113 1 6 0 - 29 118 1 6 121 0 123 2 121 11 9 0 124 - 1 29 0 0 129 1 6 17 29 131 2 6 17 0 - 10 133 0 9 55 136 1 29 55 0 137 2 55 - 17 0 0 138 1 0 55 0 139 1 0 11 0 109 - 2 0 11 10 0 67 2 0 10 10 0 82 2 0 14 - 0 9 126 4 0 29 29 0 75 34 80 1 0 17 - 29 134 1 0 17 0 119 2 0 10 10 0 101 3 - 0 11 10 0 34 35 2 0 10 10 0 105 4 0 - 10 10 0 75 34 76 1 0 61 0 62 1 0 11 0 - 110 2 0 11 10 0 65 1 0 9 0 115 1 0 14 - 0 117 1 0 29 0 54 1 0 11 0 114 2 0 11 - 10 0 74 2 0 10 10 0 88 2 0 11 0 0 28 - 1 0 11 0 112 2 0 11 10 0 70 2 0 10 10 - 0 85 1 0 14 0 116 2 0 0 0 10 135 1 0 - 55 0 59 1 0 0 29 132 2 0 0 0 9 130 2 - 0 0 0 9 128 1 0 0 0 127 1 0 29 0 120 - 1 0 55 0 139 3 0 47 29 37 34 50 2 0 - 47 29 34 48 2 0 11 0 106 107 1 0 121 - 0 122 2 0 11 9 0 125 2 0 11 0 0 20))))) - '|lookupComplete|)) diff --git a/src/algebra/strap/TSETCAT.lsp b/src/algebra/strap/TSETCAT.lsp deleted file mode 100644 index 0c008984..00000000 --- a/src/algebra/strap/TSETCAT.lsp +++ /dev/null @@ -1,200 +0,0 @@ - -(/VERSIONCHECK 2) - -(DEFPARAMETER |TriangularSetCategory;CAT| 'NIL) - -(DEFPARAMETER |TriangularSetCategory;AL| 'NIL) - -(DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|) - (PROG (#0=#:G1449) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1| |t#2| |t#3| |t#4|) - (LIST (|devaluate| |t#1|) - (|devaluate| |t#2|) - (|devaluate| |t#3|) - (|devaluate| |t#4|))) - (COND - (|TriangularSetCategory;CAT|) - ('T - (LETT |TriangularSetCategory;CAT| - (|Join| (|PolynomialSetCategory| '|t#1| - '|t#2| '|t#3| '|t#4|) - (|mkCategory| '|domain| - '(((|infRittWu?| - ((|Boolean|) $ $)) - T) - ((|basicSet| - ((|Union| - (|Record| (|:| |bas| $) - (|:| |top| - (|List| |t#4|))) - "failed") - (|List| |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|basicSet| - ((|Union| - (|Record| (|:| |bas| $) - (|:| |top| - (|List| |t#4|))) - "failed") - (|List| |t#4|) - (|Mapping| (|Boolean|) - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|initials| - ((|List| |t#4|) $)) - T) - ((|degree| - ((|NonNegativeInteger|) $)) - T) - ((|quasiComponent| - ((|Record| - (|:| |close| - (|List| |t#4|)) - (|:| |open| - (|List| |t#4|))) - $)) - T) - ((|normalized?| - ((|Boolean|) |t#4| $)) - T) - ((|normalized?| - ((|Boolean|) $)) - T) - ((|reduced?| - ((|Boolean|) |t#4| $ - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|stronglyReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|headReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|initiallyReduced?| - ((|Boolean|) |t#4| $)) - T) - ((|autoReduced?| - ((|Boolean|) $ - (|Mapping| (|Boolean|) - |t#4| (|List| |t#4|)))) - T) - ((|stronglyReduced?| - ((|Boolean|) $)) - T) - ((|headReduced?| - ((|Boolean|) $)) - T) - ((|initiallyReduced?| - ((|Boolean|) $)) - T) - ((|reduce| - (|t#4| |t#4| $ - (|Mapping| |t#4| |t#4| - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|rewriteSetWithReduction| - ((|List| |t#4|) - (|List| |t#4|) $ - (|Mapping| |t#4| |t#4| - |t#4|) - (|Mapping| (|Boolean|) - |t#4| |t#4|))) - T) - ((|stronglyReduce| - (|t#4| |t#4| $)) - T) - ((|headReduce| - (|t#4| |t#4| $)) - T) - ((|initiallyReduce| - (|t#4| |t#4| $)) - T) - ((|removeZero| - (|t#4| |t#4| $)) - T) - ((|collectQuasiMonic| ($ $)) - T) - ((|reduceByQuasiMonic| - (|t#4| |t#4| $)) - T) - ((|zeroSetSplit| - ((|List| $) - (|List| |t#4|))) - T) - ((|zeroSetSplitIntoTriangularSystems| - ((|List| - (|Record| - (|:| |close| $) - (|:| |open| - (|List| |t#4|)))) - (|List| |t#4|))) - T) - ((|first| - ((|Union| |t#4| "failed") - $)) - T) - ((|last| - ((|Union| |t#4| "failed") - $)) - T) - ((|rest| - ((|Union| $ "failed") $)) - T) - ((|algebraicVariables| - ((|List| |t#3|) $)) - T) - ((|algebraic?| - ((|Boolean|) |t#3| $)) - T) - ((|select| - ((|Union| |t#4| "failed") - $ |t#3|)) - T) - ((|extendIfCan| - ((|Union| $ "failed") $ - |t#4|)) - T) - ((|extend| ($ $ |t#4|)) T) - ((|coHeight| - ((|NonNegativeInteger|) $)) - (|has| |t#3| (|Finite|)))) - '((|finiteAggregate| T) - (|shallowlyMutable| T)) - '((|NonNegativeInteger|) - (|Boolean|) (|List| |t#3|) - (|List| - (|Record| (|:| |close| $) - (|:| |open| - (|List| |t#4|)))) - (|List| |t#4|) (|List| $)) - NIL)) - . #1=(|TriangularSetCategory|))))) . #1#) - (|setShellEntry| #0# 0 - (LIST '|TriangularSetCategory| (|devaluate| |t#1|) - (|devaluate| |t#2|) (|devaluate| |t#3|) - (|devaluate| |t#4|))))))) - -(DEFUN |TriangularSetCategory| (&REST #0=#:G1452 &AUX #1=#:G1450) - (DSETQ #1# #0#) - (LET (#2=#:G1451) - (COND - ((SETQ #2# - (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|)) - (CDR #2#)) - (T (SETQ |TriangularSetCategory;AL| - (|cons5| (CONS (|devaluateList| #1#) - (SETQ #2# - (APPLY #'|TriangularSetCategory;| - #1#))) - |TriangularSetCategory;AL|)) - #2#)))) -- cgit v1.2.3