aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/triset.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-14 04:33:31 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-14 04:33:31 +0000
commitbf8029a3f0eb72caa84f6cd31e2f5f784cff5bcc (patch)
tree64f5135ee043fe87b69769f881d37482b341c672 /src/algebra/triset.spad.pamphlet
parentd1ebc50619fe75e940812f84220d087a2f77b3f5 (diff)
downloadopen-axiom-bf8029a3f0eb72caa84f6cd31e2f5f784cff5bcc.tar.gz
* algebra/catdef.spad.pamphlet: Update cached Lisp translation.
* algebra/sf.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/polset.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
-rw-r--r--src/algebra/triset.spad.pamphlet1182
1 files changed, 1173 insertions, 9 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet
index 28327621..224452fc 100644
--- a/src/algebra/triset.spad.pamphlet
+++ b/src/algebra/triset.spad.pamphlet
@@ -495,15 +495,205 @@ Note that this code is not included in the generated catdef.spad file.
<<TSETCAT.lsp BOOTSTRAP>>=
-(|/VERSIONCHECK| 2)
-
-(SETQ |TriangularSetCategory;CAT| (QUOTE NIL))
-
-(SETQ |TriangularSetCategory;AL| (QUOTE NIL))
-
-(DEFUN |TriangularSetCategory| (|&REST| #1=#:G82394 |&AUX| #2=#:G82392) (DSETQ #2# #1#) (LET (#3=#:G82393) (COND ((SETQ #3# (|assoc| (|devaluateList| #2#) |TriangularSetCategory;AL|)) (CDR #3#)) (T (SETQ |TriangularSetCategory;AL| (|cons5| (CONS (|devaluateList| #2#) (SETQ #3# (APPLY (FUNCTION |TriangularSetCategory;|) #2#))) |TriangularSetCategory;AL|)) #3#))))
-
-(DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|) (PROG (#1=#:G82391) (RETURN (PROG1 (LETT #1# (|sublisV| (PAIR (QUOTE (|t#1| |t#2| |t#3| |t#4|)) (LIST (|devaluate| |t#1|) (|devaluate| |t#2|) (|devaluate| |t#3|) (|devaluate| |t#4|))) (COND (|TriangularSetCategory;CAT|) ((QUOTE T) (LETT |TriangularSetCategory;CAT| (|Join| (|PolynomialSetCategory| (QUOTE |t#1|) (QUOTE |t#2|) (QUOTE |t#3|) (QUOTE |t#4|)) (|mkCategory| (QUOTE |domain|) (QUOTE (((|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|))))) (QUOTE ((|finiteAggregate| T) (|shallowlyMutable| T))) (QUOTE ((|NonNegativeInteger|) (|Boolean|) (|List| |t#3|) (|List| (|Record| (|:| |close| |$|) (|:| |open| (|List| |t#4|)))) (|List| |t#4|) (|List| |$|))) NIL)) . #2=(|TriangularSetCategory|))))) . #2#) (SETELT #1# 0 (LIST (QUOTE |TriangularSetCategory|) (|devaluate| |t#1|) (|devaluate| |t#2|) (|devaluate| |t#3|) (|devaluate| |t#4|)))))))
+(/VERSIONCHECK 2)
+
+(DEFPARAMETER |TriangularSetCategory;CAT| 'NIL)
+
+(DEFPARAMETER |TriangularSetCategory;AL| 'NIL)
+
+(DEFUN |TriangularSetCategory| (&REST #0=#:G1439 &AUX #1=#:G1437)
+ (DSETQ #1# #0#)
+ (LET (#2=#:G1438)
+ (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#))))
+
+(DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
+ (PROG (#0=#:G1436)
+ (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#)
+ (SETELT #0# 0
+ (LIST '|TriangularSetCategory| (|devaluate| |t#1|)
+ (|devaluate| |t#2|) (|devaluate| |t#3|)
+ (|devaluate| |t#4|)))))))
@
\section{TSETCAT-.lsp BOOTSTRAP}
{\bf TSETCAT-} depends on a chain of files.
@@ -516,6 +706,980 @@ This is eventually forcibly replaced by a recompiled version.
Note that this code is not included in the generated catdef.spad file.
<<TSETCAT-.lsp BOOTSTRAP>>=
+
+(/VERSIONCHECK 2)
+
+(DEFUN |TSETCAT-;=;2SB;1| (|ts| |us| $)
+ (PROG (#0=#:G1444 #1=#:G1450)
+ (RETURN
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (SPADCALL |us| (QREFELT $ 12)))
+ ((OR (SPADCALL |us| (QREFELT $ 12))
+ (NULL (SPADCALL
+ (PROG2 (LETT #0# (SPADCALL |ts| (QREFELT $ 14))
+ |TSETCAT-;=;2SB;1|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10)
+ #0#))
+ (PROG2 (LETT #0# (SPADCALL |us| (QREFELT $ 14))
+ |TSETCAT-;=;2SB;1|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10)
+ #0#))
+ (QREFELT $ 15))))
+ 'NIL)
+ ('T
+ (SPADCALL
+ (PROG2 (LETT #1# (SPADCALL |ts| (QREFELT $ 17))
+ |TSETCAT-;=;2SB;1|)
+ (QCDR #1#)
+ (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
+ (PROG2 (LETT #1# (SPADCALL |us| (QREFELT $ 17))
+ |TSETCAT-;=;2SB;1|)
+ (QCDR #1#)
+ (|check-union| (QEQCAR #1# 0) (QREFELT $ 6) #1#))
+ (QREFELT $ 18)))))))
+
+(DEFUN |TSETCAT-;infRittWu?;2SB;2| (|ts| |us| $)
+ (PROG (|p| #0=#:G1457 |q| |v|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |us| (QREFELT $ 12))
+ (SPADCALL (SPADCALL |ts| (QREFELT $ 12)) (QREFELT $ 20)))
+ ((SPADCALL |ts| (QREFELT $ 12)) 'NIL)
+ ('T
+ (SEQ (LETT |p|
+ (PROG2 (LETT #0#
+ (SPADCALL |ts| (QREFELT $ 21))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10)
+ #0#))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (LETT |q|
+ (PROG2 (LETT #0#
+ (SPADCALL |us| (QREFELT $ 21))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10)
+ #0#))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (EXIT (COND
+ ((SPADCALL |p| |q| (QREFELT $ 22)) 'T)
+ ((SPADCALL |p| |q| (QREFELT $ 23)) 'NIL)
+ ('T
+ (SEQ (LETT |v|
+ (SPADCALL |p| (QREFELT $ 24))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (EXIT (SPADCALL
+ (SPADCALL |ts| |v|
+ (QREFELT $ 25))
+ (SPADCALL |us| |v|
+ (QREFELT $ 25))
+ (QREFELT $ 26))))))))))))))
+
+(DEFUN |TSETCAT-;reduced?;PSMB;3| (|p| |ts| |redOp?| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (LETT |lp| (SPADCALL |ts| (QREFELT $ 29))
+ |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 $ 32) |ps| (QREFELT $ 34))
+ |TSETCAT-;basicSet;LMU;4|)
+ (EXIT (COND
+ ((SPADCALL (ELT $ 35) |ps| (QREFELT $ 36))
+ (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |ps|
+ (SPADCALL (ELT $ 22) |ps|
+ (QREFELT $ 37))
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |bs| (SPADCALL (QREFELT $ 38))
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |ts| NIL |TSETCAT-;basicSet;LMU;4|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL (NULL |ps|)
+ (QREFELT $ 20)))
+ (GO G191)))
+ (SEQ (LETT |b| (|SPADfirst| |ps|)
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |bs|
+ (SPADCALL |bs| |b| (QREFELT $ 39))
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |ps| (CDR |ps|)
+ |TSETCAT-;basicSet;LMU;4|)
+ (EXIT
+ (SEQ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL |ps|) 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL
+ (LETT |p|
+ (|SPADfirst| |ps|)
+ |TSETCAT-;basicSet;LMU;4|)
+ |bs| |redOp?|
+ (QREFELT $ 40))
+ (QREFELT $ 20)))))
+ (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 $ 32) |ps| (QREFELT $ 34))
+ |TSETCAT-;basicSet;LMMU;5|)
+ (EXIT (COND
+ ((SPADCALL (ELT $ 35) |ps| (QREFELT $ 36))
+ (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |gps| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bps| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL (NULL |ps|)
+ (QREFELT $ 20)))
+ (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|
+ (QREFELT $ 37))
+ |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bs| (SPADCALL (QREFELT $ 38))
+ |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |ts| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL (NULL |gps|)
+ (QREFELT $ 20)))
+ (GO G191)))
+ (SEQ (LETT |b| (|SPADfirst| |gps|)
+ |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bs|
+ (SPADCALL |bs| |b| (QREFELT $ 39))
+ |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |gps| (CDR |gps|)
+ |TSETCAT-;basicSet;LMMU;5|)
+ (EXIT
+ (SEQ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL |gps|) 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL
+ (LETT |p|
+ (|SPADfirst| |gps|)
+ |TSETCAT-;basicSet;LMMU;5|)
+ |bs| |redOp?|
+ (QREFELT $ 40))
+ (QREFELT $ 20)))))
+ (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| (QREFELT $ 44))
+ (QREFELT $ 37))
+ |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| (QREFELT $ 12)) |lip|)
+ ('T
+ (SEQ (LETT |lp| (SPADCALL |ts| (QREFELT $ 29))
+ |TSETCAT-;initials;SL;6|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL (NULL |lp|)
+ (QREFELT $ 20)))
+ (GO G191)))
+ (SEQ (LETT |p| (|SPADfirst| |lp|)
+ |TSETCAT-;initials;SL;6|)
+ (COND
+ ((NULL
+ (SPADCALL
+ (LETT |ip|
+ (SPADCALL |p| (QREFELT $ 46))
+ |TSETCAT-;initials;SL;6|)
+ (QREFELT $ 35)))
+ (LETT |lip|
+ (CONS
+ (SPADCALL |ip| (QREFELT $ 47))
+ |lip|)
+ |TSETCAT-;initials;SL;6|)))
+ (EXIT
+ (LETT |lp| (CDR |lp|)
+ |TSETCAT-;initials;SL;6|)))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT (SPADCALL |lip| (QREFELT $ 48)))))))))))
+
+(DEFUN |TSETCAT-;degree;SNni;7| (|ts| $)
+ (PROG (|lp| |d|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) 0)
+ ('T
+ (SEQ (LETT |lp| (SPADCALL |ts| (QREFELT $ 29))
+ |TSETCAT-;degree;SNni;7|)
+ (LETT |d|
+ (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 51))
+ |TSETCAT-;degree;SNni;7|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL
+ (NULL
+ (LETT |lp| (CDR |lp|)
+ |TSETCAT-;degree;SNni;7|))
+ (QREFELT $ 20)))
+ (GO G191)))
+ (SEQ (EXIT (LETT |d|
+ (* |d|
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 51)))
+ |TSETCAT-;degree;SNni;7|)))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT |d|))))))))
+
+(DEFUN |TSETCAT-;quasiComponent;SR;8| (|ts| $)
+ (CONS (SPADCALL |ts| (QREFELT $ 29)) (SPADCALL |ts| (QREFELT $ 53))))
+
+(DEFUN |TSETCAT-;normalized?;PSB;9| (|p| |ts| $)
+ (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 29)) (QREFELT $ 57)))
+
+(DEFUN |TSETCAT-;stronglyReduced?;PSB;10| (|p| |ts| $)
+ (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 29)) (QREFELT $ 59)))
+
+(DEFUN |TSETCAT-;headReduced?;PSB;11| (|p| |ts| $)
+ (SPADCALL (SPADCALL |p| (QREFELT $ 61)) |ts| (QREFELT $ 62)))
+
+(DEFUN |TSETCAT-;initiallyReduced?;PSB;12| (|p| |ts| $)
+ (PROG (|lp| |red|)
+ (RETURN
+ (SEQ (LETT |lp| (SPADCALL |ts| (QREFELT $ 29))
+ |TSETCAT-;initiallyReduced?;PSB;12|)
+ (LETT |red| 'T |TSETCAT-;initiallyReduced?;PSB;12|)
+ (SEQ G190
+ (COND
+ ((NULL (COND
+ ((OR (NULL |lp|)
+ (SPADCALL |p| (QREFELT $ 35)))
+ 'NIL)
+ ('T |red|)))
+ (GO G191)))
+ (SEQ (SEQ G190
+ (COND
+ ((NULL (COND
+ ((NULL |lp|) 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL |p| (QREFELT $ 24))
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 24))
+ (QREFELT $ 64)))))
+ (GO G191)))
+ (SEQ (EXIT (LETT |lp| (CDR |lp|)
+ |TSETCAT-;initiallyReduced?;PSB;12|)))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT (COND
+ ((NULL (NULL |lp|))
+ (COND
+ ((SPADCALL
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 24))
+ (SPADCALL |p| (QREFELT $ 24))
+ (QREFELT $ 65))
+ (COND
+ ((SPADCALL |p| (|SPADfirst| |lp|)
+ (QREFELT $ 66))
+ (SEQ
+ (LETT |lp| (CDR |lp|)
+ |TSETCAT-;initiallyReduced?;PSB;12|)
+ (EXIT
+ (LETT |p|
+ (SPADCALL |p| (QREFELT $ 46))
+ |TSETCAT-;initiallyReduced?;PSB;12|))))
+ ('T
+ (LETT |red| 'NIL
+ |TSETCAT-;initiallyReduced?;PSB;12|))))
+ ('T
+ (LETT |p|
+ (SPADCALL |p| (QREFELT $ 46))
+ |TSETCAT-;initiallyReduced?;PSB;12|)))))))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT |red|)))))
+
+(DEFUN |TSETCAT-;reduce;PSMMP;13| (|p| |ts| |redOp| |redOp?| $)
+ (PROG (|ts0| #0=#:G1532 |reductor| #1=#:G1535)
+ (RETURN
+ (SEQ (COND
+ ((OR (SPADCALL |ts| (QREFELT $ 12))
+ (SPADCALL |p| (QREFELT $ 35)))
+ |p|)
+ ('T
+ (SEQ (LETT |ts0| |ts| |TSETCAT-;reduce;PSMMP;13|)
+ (SEQ G190
+ (COND
+ ((NULL (COND
+ ((SPADCALL |ts| (QREFELT $ 12))
+ 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL |p| (QREFELT $ 35))
+ (QREFELT $ 20)))))
+ (GO G191)))
+ (SEQ (LETT |reductor|
+ (PROG2
+ (LETT #0#
+ (SPADCALL |ts| (QREFELT $ 14))
+ |TSETCAT-;reduce;PSMMP;13|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0)
+ (QREFELT $ 10) #0#))
+ |TSETCAT-;reduce;PSMMP;13|)
+ (LETT |ts|
+ (PROG2
+ (LETT #1#
+ (SPADCALL |ts| (QREFELT $ 17))
+ |TSETCAT-;reduce;PSMMP;13|)
+ (QCDR #1#)
+ (|check-union| (QEQCAR #1# 0)
+ (QREFELT $ 6) #1#))
+ |TSETCAT-;reduce;PSMMP;13|)
+ (EXIT (COND
+ ((NULL
+ (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| (QREFELT $ 70)) |lp|)
+ ('T
+ (SEQ (LETT |lp| (SPADCALL (ELT $ 32) |lp| (QREFELT $ 34))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT (COND
+ ((NULL |lp|) |lp|)
+ ((SPADCALL (ELT $ 35) |lp| (QREFELT $ 36))
+ (LIST (|spadConstant| $ 71)))
+ ('T
+ (SEQ (LETT |rs| NIL
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (SEQ G190
+ (COND
+ ((NULL
+ (SPADCALL (NULL |lp|)
+ (QREFELT $ 20)))
+ (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?| (QREFELT $ 72))
+ (QREFELT $ 47))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT
+ (COND
+ ((NULL
+ (SPADCALL |p|
+ (QREFELT $ 32)))
+ (COND
+ ((SPADCALL |p|
+ (QREFELT $ 35))
+ (SEQ
+ (LETT |lp| NIL
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT
+ (LETT |rs|
+ (LIST
+ (|spadConstant| $ 71))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|))))
+ ('T
+ (LETT |rs|
+ (CONS |p| |rs|)
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)))))))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT (SPADCALL |rs| (QREFELT $ 48))))))))))))))
+
+(DEFUN |TSETCAT-;stronglyReduce;PSP;15| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 74) (ELT $ 66) (QREFELT $ 72)))
+
+(DEFUN |TSETCAT-;headReduce;PSP;16| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 76) (ELT $ 77) (QREFELT $ 72)))
+
+(DEFUN |TSETCAT-;initiallyReduce;PSP;17| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 79) (ELT $ 80) (QREFELT $ 72)))
+
+(DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $)
+ (PROG (|v| |tsv-| #0=#:G1558 #1=#:G1567 |q|)
+ (RETURN
+ (SEQ (EXIT (COND
+ ((OR (SPADCALL |p| (QREFELT $ 35))
+ (SPADCALL |ts| (QREFELT $ 12)))
+ |p|)
+ ('T
+ (SEQ (LETT |v| (SPADCALL |p| (QREFELT $ 24))
+ |TSETCAT-;removeZero;PSP;18|)
+ (LETT |tsv-|
+ (SPADCALL |ts| |v| (QREFELT $ 82))
+ |TSETCAT-;removeZero;PSP;18|)
+ (COND
+ ((SPADCALL |v| |ts| (QREFELT $ 83))
+ (SEQ (LETT |q|
+ (SPADCALL |p|
+ (PROG2
+ (LETT #0#
+ (SPADCALL |ts| |v|
+ (QREFELT $ 84))
+ |TSETCAT-;removeZero;PSP;18|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0)
+ (QREFELT $ 10) #0#))
+ (QREFELT $ 74))
+ |TSETCAT-;removeZero;PSP;18|)
+ (EXIT (COND
+ ((SPADCALL |q| (QREFELT $ 32))
+ (PROGN
+ (LETT #1# |q|
+ |TSETCAT-;removeZero;PSP;18|)
+ (GO #1#)))
+ ((SPADCALL
+ (SPADCALL |q| |tsv-|
+ (QREFELT $ 85))
+ (QREFELT $ 32))
+ (PROGN
+ (LETT #1#
+ (|spadConstant| $ 86)
+ |TSETCAT-;removeZero;PSP;18|)
+ (GO #1#))))))))
+ (EXIT (COND
+ ((SPADCALL |tsv-| (QREFELT $ 12)) |p|)
+ ('T
+ (SEQ (LETT |q| (|spadConstant| $ 86)
+ |TSETCAT-;removeZero;PSP;18|)
+ (SEQ G190
+ (COND
+ ((NULL
+ (SPADCALL
+ (SPADCALL |p| |v|
+ (QREFELT $ 87))
+ (QREFELT $ 89)))
+ (GO G191)))
+ (SEQ
+ (LETT |q|
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL |p|
+ (QREFELT $ 46))
+ |tsv-| (QREFELT $ 85))
+ (SPADCALL |p|
+ (QREFELT $ 90))
+ (QREFELT $ 91))
+ |q| (QREFELT $ 92))
+ |TSETCAT-;removeZero;PSP;18|)
+ (EXIT
+ (LETT |p|
+ (SPADCALL |p|
+ (QREFELT $ 93))
+ |TSETCAT-;removeZero;PSP;18|)))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT
+ (SPADCALL |q|
+ (SPADCALL |p| |tsv-|
+ (QREFELT $ 85))
+ (QREFELT $ 92)))))))))))
+ #1# (EXIT #1#)))))
+
+(DEFUN |TSETCAT-;reduceByQuasiMonic;PSP;19| (|p| |ts| $)
+ (COND
+ ((OR (SPADCALL |p| (QREFELT $ 35)) (SPADCALL |ts| (QREFELT $ 12)))
+ |p|)
+ ('T
+ (QVELT (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 95))
+ (QREFELT $ 97))
+ 1))))
+
+(DEFUN |TSETCAT-;autoReduced?;SMB;20| (|ts| |redOp?| $)
+ (PROG (|p| |lp|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) 'T)
+ ('T
+ (SEQ (LETT |lp| (SPADCALL |ts| (QREFELT $ 29))
+ |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 $ 59) (QREFELT $ 101)))
+
+(DEFUN |TSETCAT-;normalized?;SB;22| (|ts| $)
+ (SPADCALL |ts| (ELT $ 57) (QREFELT $ 101)))
+
+(DEFUN |TSETCAT-;headReduced?;SB;23| (|ts| $)
+ (SPADCALL |ts| (ELT $ 104) (QREFELT $ 101)))
+
+(DEFUN |TSETCAT-;initiallyReduced?;SB;24| (|ts| $)
+ (SPADCALL |ts| (ELT $ 106) (QREFELT $ 101)))
+
+(DEFUN |TSETCAT-;mvar;SV;25| (|ts| $)
+ (PROG (#0=#:G1586)
+ (RETURN
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12))
+ (|error| "Error from TSETCAT in mvar : #1 is empty"))
+ ('T
+ (SPADCALL
+ (PROG2 (LETT #0# (SPADCALL |ts| (QREFELT $ 14))
+ |TSETCAT-;mvar;SV;25|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10) #0#))
+ (QREFELT $ 24)))))))
+
+(DEFUN |TSETCAT-;first;SU;26| (|ts| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |lp|
+ (SPADCALL (ELT $ 23)
+ (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |TSETCAT-;first;SU;26|)
+ (EXIT (CONS 0 (|SPADfirst| |lp|))))))))))
+
+(DEFUN |TSETCAT-;last;SU;27| (|ts| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |lp|
+ (SPADCALL (ELT $ 22)
+ (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |TSETCAT-;last;SU;27|)
+ (EXIT (CONS 0 (|SPADfirst| |lp|))))))))))
+
+(DEFUN |TSETCAT-;rest;SU;28| (|ts| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (CONS 1 "failed"))
+ ('T
+ (SEQ (LETT |lp|
+ (SPADCALL (ELT $ 23)
+ (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |TSETCAT-;rest;SU;28|)
+ (EXIT (CONS 0 (SPADCALL (CDR |lp|) (QREFELT $ 111)))))))))))
+
+(DEFUN |TSETCAT-;coerce;SL;29| (|ts| $)
+ (SPADCALL (ELT $ 23) (SPADCALL |ts| (QREFELT $ 29)) (QREFELT $ 37)))
+
+(DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $)
+ (PROG (#0=#:G1611 |p| #1=#:G1612)
+ (RETURN
+ (SEQ (PROGN
+ (LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|)
+ (SEQ (LETT |p| NIL |TSETCAT-;algebraicVariables;SL;30|)
+ (LETT #1# (SPADCALL |ts| (QREFELT $ 29))
+ |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| (QREFELT $ 24))
+ #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| (QREFELT $ 116)) (QREFELT $ 117)))
+
+(DEFUN |TSETCAT-;select;SVU;32| (|ts| |v| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (LETT |lp|
+ (SPADCALL (ELT $ 23) (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |TSETCAT-;select;SVU;32|)
+ (SEQ G190
+ (COND
+ ((NULL (COND
+ ((NULL |lp|) 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL |v|
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 24))
+ (QREFELT $ 65))
+ (QREFELT $ 20)))))
+ (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| (QREFELT $ 29))
+ |TSETCAT-;collectQuasiMonic;2S;33|)
+ (LETT |newlp| NIL |TSETCAT-;collectQuasiMonic;2S;33|)
+ (SEQ G190
+ (COND
+ ((NULL (SPADCALL (NULL |lp|) (QREFELT $ 20)))
+ (GO G191)))
+ (SEQ (COND
+ ((SPADCALL
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 46))
+ (QREFELT $ 35))
+ (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| (QREFELT $ 111)))))))
+
+(DEFUN |TSETCAT-;collectUnder;SVS;34| (|ts| |v| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ (LETT |lp|
+ (SPADCALL (ELT $ 23) (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |TSETCAT-;collectUnder;SVS;34|)
+ (SEQ G190
+ (COND
+ ((NULL (COND
+ ((NULL |lp|) 'NIL)
+ ('T
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL (|SPADfirst| |lp|)
+ (QREFELT $ 24))
+ |v| (QREFELT $ 64))
+ (QREFELT $ 20)))))
+ (GO G191)))
+ (SEQ (EXIT (LETT |lp| (CDR |lp|)
+ |TSETCAT-;collectUnder;SVS;34|)))
+ NIL (GO G190) G191 (EXIT NIL))
+ (EXIT (SPADCALL |lp| (QREFELT $ 111)))))))
+
+(DEFUN |TSETCAT-;collectUpper;SVS;35| (|ts| |v| $)
+ (PROG (|lp2| |lp1|)
+ (RETURN
+ (SEQ (LETT |lp1|
+ (SPADCALL (ELT $ 23) (SPADCALL |ts| (QREFELT $ 29))
+ (QREFELT $ 37))
+ |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|)
+ (QREFELT $ 24))
+ (QREFELT $ 64)))))
+ (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|) (QREFELT $ 111)))))))
+
+(DEFUN |TSETCAT-;construct;LS;36| (|lp| $)
+ (PROG (|rif|)
+ (RETURN
+ (SEQ (LETT |rif| (SPADCALL |lp| (QREFELT $ 123))
+ |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 (QREFELT $ 38))))
+ ('T
+ (SEQ (LETT |lp| (SPADCALL (ELT $ 23) |lp| (QREFELT $ 37))
+ |TSETCAT-;retractIfCan;LU;37|)
+ (LETT |rif| (SPADCALL (CDR |lp|) (QREFELT $ 123))
+ |TSETCAT-;retractIfCan;LU;37|)
+ (EXIT (COND
+ ((QEQCAR |rif| 0)
+ (SPADCALL (QCDR |rif|) (|SPADfirst| |lp|)
+ (QREFELT $ 125)))
+ ('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| (QREFELT $ 125))
+ |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=#:G1652)
+ (RETURN
+ (SEQ (LETT |n| (SPADCALL (QREFELT $ 128))
+ |TSETCAT-;coHeight;SNni;39|)
+ (LETT |m| (LENGTH (SPADCALL |ts| (QREFELT $ 29)))
+ |TSETCAT-;coHeight;SNni;39|)
+ (EXIT (PROG2 (LETT #0# (SPADCALL |n| |m| (QREFELT $ 129))
+ |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 $ (GETREFV 132) . #0#)
+ (QSETREFV $ 0 |dv$|)
+ (QSETREFV $ 3
+ (LETT |pv$|
+ (|buildPredVector| 0 0
+ (LIST (|HasCategory| |#4| '(|Finite|)))) . #0#))
+ (|stuffDomainSlots| $)
+ (QSETREFV $ 6 |#1|)
+ (QSETREFV $ 7 |#2|)
+ (QSETREFV $ 8 |#3|)
+ (QSETREFV $ 9 |#4|)
+ (QSETREFV $ 10 |#5|)
+ (COND
+ ((|testBitVector| |pv$| 1)
+ (QSETREFV $ 130
+ (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?|) (|Union| 10 '"failed") (5 . |first|)
+ (10 . =) (|Union| $ '"failed") (16 . |rest|) (21 . =)
+ |TSETCAT-;=;2SB;1| (27 . |not|) (32 . |last|)
+ (37 . |infRittWu?|) (43 . |supRittWu?|) (49 . |mvar|)
+ (54 . |collectUpper|) (60 . |infRittWu?|)
+ |TSETCAT-;infRittWu?;2SB;2| (|List| 10) (66 . |members|)
+ (|Mapping| 11 10 10) |TSETCAT-;reduced?;PSMB;3|
+ (71 . |zero?|) (|Mapping| 11 10) (76 . |remove|)
+ (82 . |ground?|) (87 . |any?|) (93 . |sort|)
+ (99 . |empty|) (103 . |extend|) (109 . |reduced?|)
+ (|Record| (|:| |bas| $) (|:| |top| 28))
+ (|Union| 41 '"failed") |TSETCAT-;basicSet;LMU;4|
+ (116 . |concat|) |TSETCAT-;basicSet;LMMU;5| (122 . |init|)
+ (127 . |primPartElseUnitCanonical|)
+ (132 . |removeDuplicates|) |TSETCAT-;initials;SL;6|
+ (|NonNegativeInteger|) (137 . |mdeg|)
+ |TSETCAT-;degree;SNni;7| (142 . |initials|)
+ (|Record| (|:| |close| 28) (|:| |open| 28))
+ |TSETCAT-;quasiComponent;SR;8| (|List| $)
+ (147 . |normalized?|) |TSETCAT-;normalized?;PSB;9|
+ (153 . |reduced?|) |TSETCAT-;stronglyReduced?;PSB;10|
+ (159 . |head|) (164 . |stronglyReduced?|)
+ |TSETCAT-;headReduced?;PSB;11| (170 . <) (176 . =)
+ (182 . |reduced?|) |TSETCAT-;initiallyReduced?;PSB;12|
+ (|Mapping| 10 10 10) |TSETCAT-;reduce;PSMMP;13|
+ (188 . |trivialIdeal?|) (193 . |One|) (197 . |reduce|)
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|
+ (205 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15|
+ (211 . |headReduce|) (217 . |headReduced?|)
+ |TSETCAT-;headReduce;PSP;16| (223 . |initiallyReduce|)
+ (229 . |initiallyReduced?|)
+ |TSETCAT-;initiallyReduce;PSP;17| (235 . |collectUnder|)
+ (241 . |algebraic?|) (247 . |select|) (253 . |removeZero|)
+ (259 . |Zero|) (263 . |degree|) (|Integer|)
+ (269 . |positive?|) (274 . |mainMonomial|) (279 . *)
+ (285 . +) (291 . |tail|) |TSETCAT-;removeZero;PSP;18|
+ (296 . |collectQuasiMonic|)
+ (|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7))
+ (301 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19|
+ (|Mapping| 11 10 28) |TSETCAT-;autoReduced?;SMB;20|
+ (307 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21|
+ |TSETCAT-;normalized?;SB;22| (313 . |headReduced?|)
+ |TSETCAT-;headReduced?;SB;23| (319 . |initiallyReduced?|)
+ |TSETCAT-;initiallyReduced?;SB;24| |TSETCAT-;mvar;SV;25|
+ |TSETCAT-;first;SU;26| |TSETCAT-;last;SU;27|
+ (325 . |construct|) |TSETCAT-;rest;SU;28|
+ |TSETCAT-;coerce;SL;29| (|List| 9)
+ |TSETCAT-;algebraicVariables;SL;30|
+ (330 . |algebraicVariables|) (335 . |member?|)
+ |TSETCAT-;algebraic?;VSB;31| |TSETCAT-;select;SVU;32|
+ |TSETCAT-;collectQuasiMonic;2S;33|
+ |TSETCAT-;collectUnder;SVS;34|
+ |TSETCAT-;collectUpper;SVS;35| (341 . |retractIfCan|)
+ |TSETCAT-;construct;LS;36| (346 . |extendIfCan|)
+ |TSETCAT-;retractIfCan;LU;37| |TSETCAT-;extend;SPS;38|
+ (352 . |size|) (356 . |subtractIfCan|) (362 . |coHeight|)
+ (|OutputForm|))
+ '#(|stronglyReduced?| 367 |stronglyReduce| 378 |select| 384
+ |rewriteSetWithReduction| 390 |retractIfCan| 398 |rest|
+ 403 |removeZero| 408 |reduced?| 414 |reduceByQuasiMonic|
+ 421 |reduce| 427 |quasiComponent| 435 |normalized?| 440
+ |mvar| 451 |last| 456 |initials| 461 |initiallyReduced?|
+ 466 |initiallyReduce| 477 |infRittWu?| 483 |headReduced?|
+ 489 |headReduce| 500 |first| 506 |extend| 511 |degree| 517
+ |construct| 522 |collectUpper| 527 |collectUnder| 533
+ |collectQuasiMonic| 539 |coerce| 544 |coHeight| 549
+ |basicSet| 554 |autoReduced?| 567 |algebraicVariables| 573
+ |algebraic?| 578 = 584)
+ 'NIL
+ (CONS (|makeByteWordVec2| 1 'NIL)
+ (CONS '#()
+ (CONS '#()
+ (|makeByteWordVec2| 130
+ '(1 6 11 0 12 1 6 13 0 14 2 10 11 0 0
+ 15 1 6 16 0 17 2 6 11 0 0 18 1 11 0 0
+ 20 1 6 13 0 21 2 10 11 0 0 22 2 10 11
+ 0 0 23 1 10 9 0 24 2 6 0 0 9 25 2 6
+ 11 0 0 26 1 6 28 0 29 1 10 11 0 32 2
+ 28 0 33 0 34 1 10 11 0 35 2 28 11 33
+ 0 36 2 28 0 30 0 37 0 6 0 38 2 6 0 0
+ 10 39 3 6 11 10 0 30 40 2 28 0 0 0 44
+ 1 10 0 0 46 1 10 0 0 47 1 28 0 0 48 1
+ 10 50 0 51 1 6 28 0 53 2 10 11 0 56
+ 57 2 10 11 0 56 59 1 10 0 0 61 2 6 11
+ 10 0 62 2 9 11 0 0 64 2 9 11 0 0 65 2
+ 10 11 0 0 66 1 6 11 0 70 0 10 0 71 4
+ 6 10 10 0 68 30 72 2 10 0 0 0 74 2 10
+ 0 0 0 76 2 10 11 0 0 77 2 10 0 0 0 79
+ 2 10 11 0 0 80 2 6 0 0 9 82 2 6 11 9
+ 0 83 2 6 13 0 9 84 2 6 10 10 0 85 0
+ 10 0 86 2 10 50 0 9 87 1 88 11 0 89 1
+ 10 0 0 90 2 10 0 0 0 91 2 10 0 0 0 92
+ 1 10 0 0 93 1 6 0 0 95 2 6 96 10 0 97
+ 2 6 11 0 99 101 2 10 11 0 56 104 2 10
+ 11 0 56 106 1 6 0 28 111 1 6 114 0
+ 116 2 114 11 9 0 117 1 6 16 28 123 2
+ 6 16 0 10 125 0 9 50 128 2 50 16 0 0
+ 129 1 0 50 0 130 1 0 11 0 102 2 0 11
+ 10 0 60 2 0 10 10 0 75 2 0 13 0 9 119
+ 4 0 28 28 0 68 30 73 1 0 16 28 126 1
+ 0 16 0 112 2 0 10 10 0 94 3 0 11 10 0
+ 30 31 2 0 10 10 0 98 4 0 10 10 0 68
+ 30 69 1 0 54 0 55 1 0 11 0 103 2 0 11
+ 10 0 58 1 0 9 0 108 1 0 13 0 110 1 0
+ 28 0 49 1 0 11 0 107 2 0 11 10 0 67 2
+ 0 10 10 0 81 2 0 11 0 0 27 1 0 11 0
+ 105 2 0 11 10 0 63 2 0 10 10 0 78 1 0
+ 13 0 109 2 0 0 0 10 127 1 0 50 0 52 1
+ 0 0 28 124 2 0 0 0 9 122 2 0 0 0 9
+ 121 1 0 0 0 120 1 0 28 0 113 1 0 50 0
+ 130 3 0 42 28 33 30 45 2 0 42 28 30
+ 43 2 0 11 0 99 100 1 0 114 0 115 2 0
+ 11 9 0 118 2 0 11 0 0 19)))))
+ '|lookupComplete|))
@
\section{domain GTSET GeneralTriangularSet}
<<domain GTSET GeneralTriangularSet>>=
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 09:24:24 +0000