[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] 20081118.01.tpd.patch (make parallel test work)
From: |
daly |
Subject: |
[Axiom-developer] 20081118.01.tpd.patch (make parallel test work) |
Date: |
Tue, 18 Nov 2008 21:53:28 -0600 |
The testing phase of Axiom is now run in parallel which significantly
speeds up the testing phase, especially if there are multiple processors.
===========================================================================
diff --git a/books/bookvol10.2.pamphlet b/books/bookvol10.2.pamphlet
index 91d26a3..81a15f9 100644
--- a/books/bookvol10.2.pamphlet
+++ b/books/bookvol10.2.pamphlet
@@ -67819,6 +67819,992 @@ Note that this code is not included in the generated
catdef.spad file.
(|devaluate| |t#4|)))))))
@
+\section{TSETCAT-.lsp BOOTSTRAP}
+{\bf TSETCAT} depends on a chain of
+files. We need to break this cycle to build the algebra. So we keep a
+cached copy of the translated {\bf TSETCAT} category which we can write
+into the {\bf MID} directory. We compile the lisp code and copy the
+{\bf TSETCAT.o} file to the {\bf OUT} directory. 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=#:G1475 #1=#:G1481)
+ (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))))
+ (QUOTE NIL))
+ ((QUOTE 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=#:G1489 |q| |v|)
+ (RETURN
+ (SEQ
+ (COND
+ ((SPADCALL |us| (QREFELT $ 12))
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ ((SPADCALL |ts| (QREFELT $ 12)) (QUOTE NIL))
+ ((QUOTE T)
+ (SEQ
+ (LETT |p|
+ (PROG2
+ (LETT #0# (SPADCALL |ts| (QREFELT $ 20)) |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 $ 20)) |TSETCAT-;infRittWu?;2SB;2|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10) #0#))
+ |TSETCAT-;infRittWu?;2SB;2|)
+ (EXIT
+ (COND
+ ((SPADCALL |p| |q| (QREFELT $ 21)) (QUOTE T))
+ ((SPADCALL |p| |q| (QREFELT $ 22)) (QUOTE NIL))
+ ((QUOTE T)
+ (SEQ
+ (LETT |v| (SPADCALL |p| (QREFELT $ 23)) |TSETCAT-;infRittWu?;2SB;2|)
+ (EXIT
+ (SPADCALL
+ (SPADCALL |ts| |v| (QREFELT $ 24))
+ (SPADCALL |us| |v| (QREFELT $ 24)) (QREFELT $ 25))))))))))))))
+
+(DEFUN |TSETCAT-;reduced?;PSMB;3| (|p| |ts| |redOp?| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ
+ (LETT |lp| (SPADCALL |ts| (QREFELT $ 28)) |TSETCAT-;reduced?;PSMB;3|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL |lp|) (QUOTE NIL))
+ ((QUOTE 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 $ 31) |ps| (QREFELT $ 33))
+ |TSETCAT-;basicSet;LMU;4|)
+ (EXIT
+ (COND
+ ((SPADCALL (ELT $ 34) |ps| (QREFELT $ 35)) (CONS 1 "failed"))
+ ((QUOTE T)
+ (SEQ
+ (LETT |ps|
+ (SPADCALL (ELT $ 21) |ps| (QREFELT $ 36))
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |bs| (SPADCALL (QREFELT $ 37)) |TSETCAT-;basicSet;LMU;4|)
+ (LETT |ts| NIL |TSETCAT-;basicSet;LMU;4|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |ps|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ
+ (LETT |b| (|SPADfirst| |ps|) |TSETCAT-;basicSet;LMU;4|)
+ (LETT |bs|
+ (SPADCALL |bs| |b| (QREFELT $ 38))
+ |TSETCAT-;basicSet;LMU;4|)
+ (LETT |ps| (CDR |ps|) |TSETCAT-;basicSet;LMU;4|)
+ (EXIT
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR
+ (NULL |ps|)
+ (SPADCALL
+ (LETT |p| (|SPADfirst| |ps|) |TSETCAT-;basicSet;LMU;4|)
+ |bs| |redOp?| (QREFELT $ 39)))
+ (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (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 $ 31) |ps| (QREFELT $ 33))
+ |TSETCAT-;basicSet;LMMU;5|)
+ (EXIT
+ (COND
+ ((SPADCALL (ELT $ 34) |ps| (QREFELT $ 35)) (CONS 1 "failed"))
+ ((QUOTE T)
+ (SEQ
+ (LETT |gps| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bps| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |ps|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (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|))
+ ((QUOTE T)
+ (LETT |bps| (CONS |p| |bps|) |TSETCAT-;basicSet;LMMU;5|)))))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (LETT |gps|
+ (SPADCALL (ELT $ 21) |gps| (QREFELT $ 36)) |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bs| (SPADCALL (QREFELT $ 37)) |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |ts| NIL |TSETCAT-;basicSet;LMMU;5|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |gps|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ
+ (LETT |b| (|SPADfirst| |gps|) |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |bs|
+ (SPADCALL |bs| |b| (QREFELT $ 38)) |TSETCAT-;basicSet;LMMU;5|)
+ (LETT |gps| (CDR |gps|) |TSETCAT-;basicSet;LMMU;5|)
+ (EXIT
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR
+ (NULL |gps|)
+ (SPADCALL
+ (LETT |p| (|SPADfirst| |gps|) |TSETCAT-;basicSet;LMMU;5|)
+ |bs| |redOp?| (QREFELT $ 39)))
+ (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (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 $ 21)
+ (SPADCALL |ts| |bps| (QREFELT $ 43))
+ (QREFELT $ 36))
+ |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|)
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp| (SPADCALL |ts| (QREFELT $ 28)) |TSETCAT-;initials;SL;6|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |lp|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ
+ (LETT |p| (|SPADfirst| |lp|) |TSETCAT-;initials;SL;6|)
+ (COND
+ ((NULL
+ (SPADCALL
+ (LETT |ip|
+ (SPADCALL |p| (QREFELT $ 45))
+ |TSETCAT-;initials;SL;6|)
+ (QREFELT $ 34)))
+ (LETT |lip|
+ (CONS (SPADCALL |ip| (QREFELT $ 46)) |lip|)
+ |TSETCAT-;initials;SL;6|)))
+ (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;initials;SL;6|)))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT (SPADCALL |lip| (QREFELT $ 47)))))))))))
+
+(DEFUN |TSETCAT-;degree;SNni;7| (|ts| $)
+ (PROG (|lp| |d|)
+ (RETURN
+ (SEQ
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) 0)
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp| (SPADCALL |ts| (QREFELT $ 28)) |TSETCAT-;degree;SNni;7|)
+ (LETT |d|
+ (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 50))
+ |TSETCAT-;degree;SNni;7|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL
+ (LETT |lp| (CDR |lp|) |TSETCAT-;degree;SNni;7|)) (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ
+ (EXIT
+ (LETT |d|
+ (* |d| (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 50)))
+ |TSETCAT-;degree;SNni;7|)))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT |d|))))))))
+
+(DEFUN |TSETCAT-;quasiComponent;SR;8| (|ts| $)
+ (CONS (SPADCALL |ts| (QREFELT $ 28)) (SPADCALL |ts| (QREFELT $ 52))))
+
+(DEFUN |TSETCAT-;normalized?;PSB;9| (|p| |ts| $)
+ (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 56)))
+
+(DEFUN |TSETCAT-;stronglyReduced?;PSB;10| (|p| |ts| $)
+ (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 58)))
+
+(DEFUN |TSETCAT-;headReduced?;PSB;11| (|p| |ts| $)
+ (SPADCALL (SPADCALL |p| (QREFELT $ 60)) |ts| (QREFELT $ 61)))
+
+(DEFUN |TSETCAT-;initiallyReduced?;PSB;12| (|p| |ts| $)
+ (PROG (|lp| |red|)
+ (RETURN
+ (SEQ
+ (LETT |lp|
+ (SPADCALL |ts| (QREFELT $ 28)) |TSETCAT-;initiallyReduced?;PSB;12|)
+ (LETT |red| (QUOTE T) |TSETCAT-;initiallyReduced?;PSB;12|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR (NULL |lp|) (SPADCALL |p| (QREFELT $ 34))) (QUOTE NIL))
+ ((QUOTE T) |red|)))
+ (GO G191)))
+ (SEQ
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL |lp|) (QUOTE NIL))
+ ((QUOTE T)
+ (SPADCALL
+ (SPADCALL |p| (QREFELT $ 23))
+ (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 23))
+ (QREFELT $ 63)))))
+ (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 $ 23))
+ (SPADCALL |p| (QREFELT $ 23))
+ (QREFELT $ 64))
+ (COND
+ ((SPADCALL |p| (|SPADfirst| |lp|) (QREFELT $ 65))
+ (SEQ
+ (LETT |lp| (CDR |lp|) |TSETCAT-;initiallyReduced?;PSB;12|)
+ (EXIT
+ (LETT |p|
+ (SPADCALL |p| (QREFELT $ 45))
+ |TSETCAT-;initiallyReduced?;PSB;12|))))
+ ((QUOTE T)
+ (LETT |red| (QUOTE NIL) |TSETCAT-;initiallyReduced?;PSB;12|))))
+ ((QUOTE T)
+ (LETT |p|
+ (SPADCALL |p| (QREFELT $ 45))
+ |TSETCAT-;initiallyReduced?;PSB;12|)))))))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT |red|)))))
+
+(DEFUN |TSETCAT-;reduce;PSMMP;13| (|p| |ts| |redOp| |redOp?| $)
+ (PROG (|ts0| #0=#:G1572 |reductor| #1=#:G1575)
+ (RETURN
+ (SEQ
+ (COND
+ ((OR (SPADCALL |ts| (QREFELT $ 12)) (SPADCALL |p| (QREFELT $ 34))) |p|)
+ ((QUOTE T)
+ (SEQ
+ (LETT |ts0| |ts| |TSETCAT-;reduce;PSMMP;13|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR
+ (SPADCALL |ts| (QREFELT $ 12))
+ (SPADCALL |p| (QREFELT $ 34)))
+ (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (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 $ 69)) |lp|)
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 31) |lp| (QREFELT $ 33))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT
+ (COND
+ ((NULL |lp|) |lp|)
+ ((SPADCALL (ELT $ 34) |lp| (QREFELT $ 35))
+ (LIST (|spadConstant| $ 70)))
+ ((QUOTE T)
+ (SEQ
+ (LETT |rs| NIL |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |lp|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (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 $ 71))
+ (QREFELT $ 46))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT
+ (COND
+ ((NULL (SPADCALL |p| (QREFELT $ 31)))
+ (COND
+ ((SPADCALL |p| (QREFELT $ 34))
+ (SEQ
+ (LETT |lp| NIL |TSETCAT-;rewriteSetWithReduction;LSMML;14|)
+ (EXIT
+ (LETT |rs|
+ (LIST (|spadConstant| $ 70))
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|))))
+ ((QUOTE T)
+ (LETT |rs|
+ (CONS |p| |rs|)
+ |TSETCAT-;rewriteSetWithReduction;LSMML;14|)))))))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT (SPADCALL |rs| (QREFELT $ 47))))))))))))))
+
+(DEFUN |TSETCAT-;stronglyReduce;PSP;15| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 73) (ELT $ 65) (QREFELT $ 71)))
+
+(DEFUN |TSETCAT-;headReduce;PSP;16| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 75) (ELT $ 76) (QREFELT $ 71)))
+
+(DEFUN |TSETCAT-;initiallyReduce;PSP;17| (|p| |ts| $)
+ (SPADCALL |p| |ts| (ELT $ 78) (ELT $ 79) (QREFELT $ 71)))
+
+(DEFUN |TSETCAT-;removeZero;PSP;18| (|p| |ts| $)
+ (PROG (|v| |tsv-| #0=#:G1599 #1=#:G1608 |q|)
+ (RETURN
+ (SEQ
+ (EXIT
+ (COND
+ ((OR (SPADCALL |p| (QREFELT $ 34)) (SPADCALL |ts| (QREFELT $ 12))) |p|)
+ ((QUOTE T)
+ (SEQ
+ (LETT |v| (SPADCALL |p| (QREFELT $ 23)) |TSETCAT-;removeZero;PSP;18|)
+ (LETT |tsv-|
+ (SPADCALL |ts| |v| (QREFELT $ 81))
+ |TSETCAT-;removeZero;PSP;18|)
+ (COND
+ ((SPADCALL |v| |ts| (QREFELT $ 82))
+ (SEQ
+ (LETT |q|
+ (SPADCALL |p|
+ (PROG2
+ (LETT #0#
+ (SPADCALL |ts| |v| (QREFELT $ 83))
+ |TSETCAT-;removeZero;PSP;18|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10) #0#))
+ (QREFELT $ 73))
+ |TSETCAT-;removeZero;PSP;18|)
+ (EXIT
+ (COND
+ ((SPADCALL |q| (QREFELT $ 31))
+ (PROGN (LETT #1# |q| |TSETCAT-;removeZero;PSP;18|) (GO #1#)))
+ ((SPADCALL (SPADCALL |q| |tsv-| (QREFELT $ 84)) (QREFELT $ 31))
+ (PROGN
+ (LETT #1#
+ (|spadConstant| $ 85)
+ |TSETCAT-;removeZero;PSP;18|) (GO #1#))))))))
+ (EXIT
+ (COND
+ ((SPADCALL |tsv-| (QREFELT $ 12)) |p|)
+ ((QUOTE T)
+ (SEQ
+ (LETT |q| (|spadConstant| $ 85) |TSETCAT-;removeZero;PSP;18|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (SPADCALL (SPADCALL |p| |v| (QREFELT $ 86)) (QREFELT $ 88)))
+ (GO G191)))
+ (SEQ
+ (LETT |q|
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL
+ (SPADCALL |p| (QREFELT $ 45))
+ |tsv-| (QREFELT $ 84))
+ (SPADCALL |p| (QREFELT $ 89))
+ (QREFELT $ 90))
+ |q|
+ (QREFELT $ 91))
+ |TSETCAT-;removeZero;PSP;18|)
+ (EXIT
+ (LETT |p|
+ (SPADCALL |p| (QREFELT $ 92))
+ |TSETCAT-;removeZero;PSP;18|)))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT
+ (SPADCALL |q|
+ (SPADCALL |p| |tsv-| (QREFELT $ 84))
+ (QREFELT $ 91)))))))))))
+ #1#
+ (EXIT #1#)))))
+
+(DEFUN |TSETCAT-;reduceByQuasiMonic;PSP;19| (|p| |ts| $)
+ (COND
+ ((OR (SPADCALL |p| (QREFELT $ 34)) (SPADCALL |ts| (QREFELT $ 12))) |p|)
+ ((QUOTE T)
+ (QVELT (SPADCALL |p| (SPADCALL |ts| (QREFELT $ 94)) (QREFELT $ 96)) 1))))
+
+(DEFUN |TSETCAT-;autoReduced?;SMB;20| (|ts| |redOp?| $)
+ (PROG (|p| |lp|)
+ (RETURN
+ (SEQ
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (QUOTE T))
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL |ts| (QREFELT $ 28)) |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|) (QUOTE NIL))
+ ((QUOTE 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 $ 58) (QREFELT $ 100)))
+
+(DEFUN |TSETCAT-;normalized?;SB;22| (|ts| $)
+ (SPADCALL |ts| (ELT $ 56) (QREFELT $ 100)))
+
+(DEFUN |TSETCAT-;headReduced?;SB;23| (|ts| $)
+ (SPADCALL |ts| (ELT $ 103) (QREFELT $ 100)))
+
+(DEFUN |TSETCAT-;initiallyReduced?;SB;24| (|ts| $)
+ (SPADCALL |ts| (ELT $ 105) (QREFELT $ 100)))
+
+(DEFUN |TSETCAT-;mvar;SV;25| (|ts| $)
+ (PROG (#0=#:G1627)
+ (RETURN
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12))
+ (|error| "Error from TSETCAT in mvar : #1 is empty"))
+ ((QUOTE T)
+ (SPADCALL
+ (PROG2
+ (LETT #0# (SPADCALL |ts| (QREFELT $ 14)) |TSETCAT-;mvar;SV;25|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 10) #0#))
+ (QREFELT $ 23)))))))
+
+(DEFUN |TSETCAT-;first;SU;26| (|ts| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ
+ (COND
+ ((SPADCALL |ts| (QREFELT $ 12)) (CONS 1 "failed"))
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |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"))
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 21) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |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"))
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |TSETCAT-;rest;SU;28|)
+ (EXIT (CONS 0 (SPADCALL (CDR |lp|) (QREFELT $ 110)))))))))))
+
+(DEFUN |TSETCAT-;coerce;SL;29| (|ts| $)
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36)))
+
+(DEFUN |TSETCAT-;algebraicVariables;SL;30| (|ts| $)
+ (PROG (#0=#:G1652 |p| #1=#:G1653)
+ (RETURN
+ (SEQ
+ (PROGN
+ (LETT #0# NIL |TSETCAT-;algebraicVariables;SL;30|)
+ (SEQ
+ (LETT |p| NIL |TSETCAT-;algebraicVariables;SL;30|)
+ (LETT #1#
+ (SPADCALL |ts| (QREFELT $ 28)) |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 $ 23)) #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 $ 115)) (QREFELT $ 116)))
+
+(DEFUN |TSETCAT-;select;SVU;32| (|ts| |v| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |TSETCAT-;select;SVU;32|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR
+ (NULL |lp|)
+ (SPADCALL |v|
+ (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 23))
+ (QREFELT $ 64)))
+ (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (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"))
+ ((QUOTE T) (CONS 0 (|SPADfirst| |lp|)))))))))
+
+(DEFUN |TSETCAT-;collectQuasiMonic;2S;33| (|ts| $)
+ (PROG (|newlp| |lp|)
+ (RETURN
+ (SEQ
+ (LETT |lp|
+ (SPADCALL |ts| (QREFELT $ 28))
+ |TSETCAT-;collectQuasiMonic;2S;33|)
+ (LETT |newlp| NIL |TSETCAT-;collectQuasiMonic;2S;33|)
+ (SEQ
+ G190
+ (COND
+ ((NULL (COND ((NULL |lp|) (QUOTE NIL)) ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ
+ (COND
+ ((SPADCALL (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 45)) (QREFELT $ 34))
+ (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 $ 110)))))))
+
+(DEFUN |TSETCAT-;collectUnder;SVS;34| (|ts| |v| $)
+ (PROG (|lp|)
+ (RETURN
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |TSETCAT-;collectUnder;SVS;34|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((OR
+ (NULL |lp|)
+ (SPADCALL
+ (SPADCALL (|SPADfirst| |lp|) (QREFELT $ 23))
+ |v|
+ (QREFELT $ 63)))
+ (QUOTE NIL))
+ ((QUOTE T) (QUOTE T))))
+ (GO G191)))
+ (SEQ (EXIT (LETT |lp| (CDR |lp|) |TSETCAT-;collectUnder;SVS;34|)))
+ NIL
+ (GO G190)
+ G191
+ (EXIT NIL))
+ (EXIT (SPADCALL |lp| (QREFELT $ 110)))))))
+
+(DEFUN |TSETCAT-;collectUpper;SVS;35| (|ts| |v| $)
+ (PROG (|lp2| |lp1|)
+ (RETURN
+ (SEQ
+ (LETT |lp1|
+ (SPADCALL (ELT $ 22) (SPADCALL |ts| (QREFELT $ 28)) (QREFELT $ 36))
+ |TSETCAT-;collectUpper;SVS;35|)
+ (LETT |lp2| NIL |TSETCAT-;collectUpper;SVS;35|)
+ (SEQ
+ G190
+ (COND
+ ((NULL
+ (COND
+ ((NULL |lp1|) (QUOTE NIL))
+ ((QUOTE T)
+ (SPADCALL |v|
+ (SPADCALL (|SPADfirst| |lp1|) (QREFELT $ 23))
+ (QREFELT $ 63)))))
+ (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 $ 110)))))))
+
+(DEFUN |TSETCAT-;construct;LS;36| (|lp| $)
+ (PROG (|rif|)
+ (RETURN
+ (SEQ
+ (LETT |rif| (SPADCALL |lp| (QREFELT $ 122)) |TSETCAT-;construct;LS;36|)
+ (EXIT
+ (COND
+ ((QEQCAR |rif| 0) (QCDR |rif|))
+ ((QUOTE 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 $ 37))))
+ ((QUOTE T)
+ (SEQ
+ (LETT |lp|
+ (SPADCALL (ELT $ 22) |lp| (QREFELT $ 36))
+ |TSETCAT-;retractIfCan;LU;37|)
+ (LETT |rif|
+ (SPADCALL (CDR |lp|) (QREFELT $ 122))
+ |TSETCAT-;retractIfCan;LU;37|)
+ (EXIT
+ (COND
+ ((QEQCAR |rif| 0)
+ (SPADCALL (QCDR |rif|) (|SPADfirst| |lp|) (QREFELT $ 124)))
+ ((QUOTE 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 $ 124)) |TSETCAT-;extend;SPS;38|)
+ (EXIT
+ (COND
+ ((QEQCAR |eif| 0) (QCDR |eif|))
+ ((QUOTE T)
+ (|error| "in extend : ($,P) -> $ from TSETCAT : bad ars"))))))))
+
+(DEFUN |TSETCAT-;coHeight;SNni;39| (|ts| $)
+ (PROG (|n| |m| #0=#:G1696)
+ (RETURN
+ (SEQ
+ (LETT |n| (SPADCALL (QREFELT $ 127)) |TSETCAT-;coHeight;SNni;39|)
+ (LETT |m|
+ (LENGTH (SPADCALL |ts| (QREFELT $ 28)))
+ |TSETCAT-;coHeight;SNni;39|)
+ (EXIT
+ (PROG2
+ (LETT #0# (SPADCALL |n| |m| (QREFELT $ 128)) |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 (QUOTE |TriangularSetCategory&|) DV$1 DV$2 DV$3 DV$4 DV$5) . #0#)
+ (LETT $ (GETREFV 131) . #0#)
+ (QSETREFV $ 0 |dv$|)
+ (QSETREFV $ 3
+ (LETT |pv$|
+ (|buildPredVector| 0 0 (LIST (|HasCategory| |#4| (QUOTE (|Finite|)))))
+ . #0#))
+ (|stuffDomainSlots| $)
+ (QSETREFV $ 6 |#1|)
+ (QSETREFV $ 7 |#2|)
+ (QSETREFV $ 8 |#3|)
+ (QSETREFV $ 9 |#4|)
+ (QSETREFV $ 10 |#5|)
+ (COND
+ ((|testBitVector| |pv$| 1)
+ (QSETREFV $ 129
+ (CONS (|dispatchFunction| |TSETCAT-;coHeight;SNni;39|) $))))
+ $))))
+
+(MAKEPROP
+ (QUOTE |TriangularSetCategory&|)
+ (QUOTE |infovec|)
+ (LIST (QUOTE
+ #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|local| |#3|)
+ (|local| |#4|) (|local| |#5|) (|Boolean|) (0 . |empty?|)
+ (|Union| 10 (QUOTE "failed")) (5 . |first|) (10 . =)
+ (|Union| $ (QUOTE "failed")) (16 . |rest|) (21 . =) |TSETCAT-;=;2SB;1|
+ (27 . |last|) (32 . |infRittWu?|) (38 . |supRittWu?|) (44 . |mvar|)
+ (49 . |collectUpper|) (55 . |infRittWu?|) |TSETCAT-;infRittWu?;2SB;2|
+ (|List| 10) (61 . |members|) (|Mapping| 11 10 10)
+ |TSETCAT-;reduced?;PSMB;3| (66 . |zero?|) (|Mapping| 11 10)
+ (71 . |remove|) (77 . |ground?|) (82 . |any?|) (88 . |sort|)
+ (94 . |empty|) (98 . |extend|) (104 . |reduced?|)
+ (|Record| (|:| |bas| $) (|:| |top| 27))
+ (|Union| 40 (QUOTE "failed")) |TSETCAT-;basicSet;LMU;4|
+ (111 . |concat|) |TSETCAT-;basicSet;LMMU;5| (117 . |init|)
+ (122 . |primPartElseUnitCanonical|) (127 . |removeDuplicates|)
+ |TSETCAT-;initials;SL;6| (|NonNegativeInteger|) (132 . |mdeg|)
+ |TSETCAT-;degree;SNni;7| (137 . |initials|)
+ (|Record| (|:| |close| 27) (|:| |open| 27))
+ |TSETCAT-;quasiComponent;SR;8| (|List| $) (142 . |normalized?|)
+ |TSETCAT-;normalized?;PSB;9| (148 . |reduced?|)
+ |TSETCAT-;stronglyReduced?;PSB;10| (154 . |head|)
+ (159 . |stronglyReduced?|) |TSETCAT-;headReduced?;PSB;11|
+ (165 . <) (171 . =) (177 . |reduced?|)
+ |TSETCAT-;initiallyReduced?;PSB;12| (|Mapping| 10 10 10)
+ |TSETCAT-;reduce;PSMMP;13| (183 . |trivialIdeal?|) (188 . |One|)
+ (192 . |reduce|) |TSETCAT-;rewriteSetWithReduction;LSMML;14|
+ (200 . |lazyPrem|) |TSETCAT-;stronglyReduce;PSP;15|
+ (206 . |headReduce|) (212 . |headReduced?|)
+ |TSETCAT-;headReduce;PSP;16| (218 . |initiallyReduce|)
+ (224 . |initiallyReduced?|) |TSETCAT-;initiallyReduce;PSP;17|
+ (230 . |collectUnder|) (236 . |algebraic?|) (242 . |select|)
+ (248 . |removeZero|) (254 . |Zero|) (258 . |degree|) (|Integer|)
+ (264 . |positive?|) (269 . |mainMonomial|) (274 . *) (280 . +)
+ (286 . |tail|) |TSETCAT-;removeZero;PSP;18| (291 . |collectQuasiMonic|)
+ (|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7))
+ (296 . |remainder|) |TSETCAT-;reduceByQuasiMonic;PSP;19|
+ (|Mapping| 11 10 27) |TSETCAT-;autoReduced?;SMB;20|
+ (302 . |autoReduced?|) |TSETCAT-;stronglyReduced?;SB;21|
+ |TSETCAT-;normalized?;SB;22| (308 . |headReduced?|)
+ |TSETCAT-;headReduced?;SB;23| (314 . |initiallyReduced?|)
+ |TSETCAT-;initiallyReduced?;SB;24| |TSETCAT-;mvar;SV;25|
+ |TSETCAT-;first;SU;26| |TSETCAT-;last;SU;27| (320 . |construct|)
+ |TSETCAT-;rest;SU;28| |TSETCAT-;coerce;SL;29| (|List| 9)
+ |TSETCAT-;algebraicVariables;SL;30| (325 . |algebraicVariables|)
+ (330 . |member?|) |TSETCAT-;algebraic?;VSB;31|
+ |TSETCAT-;select;SVU;32| |TSETCAT-;collectQuasiMonic;2S;33|
+ |TSETCAT-;collectUnder;SVS;34| |TSETCAT-;collectUpper;SVS;35|
+ (336 . |retractIfCan|) |TSETCAT-;construct;LS;36|
+ (341 . |extendIfCan|) |TSETCAT-;retractIfCan;LU;37|
+ |TSETCAT-;extend;SPS;38| (347 . |size|) (351 . |subtractIfCan|)
+ (357 . |coHeight|) (|OutputForm|)))
+ (QUOTE #(|stronglyReduced?| 362 |stronglyReduce| 373 |select| 379
+ |rewriteSetWithReduction| 385 |retractIfCan| 393 |rest| 398 |removeZero|
+ 403 |reduced?| 409 |reduceByQuasiMonic| 416 |reduce| 422
+ |quasiComponent| 430 |normalized?| 435 |mvar| 446 |last| 451
+ |initials| 456 |initiallyReduced?| 461 |initiallyReduce| 472
+ |infRittWu?| 478 |headReduced?| 484 |headReduce| 495 |first| 501
+ |extend| 506 |degree| 512 |construct| 517 |collectUpper| 522
+ |collectUnder| 528 |collectQuasiMonic| 534 |coerce| 539 |coHeight|
+ 544 |basicSet| 549 |autoReduced?| 562 |algebraicVariables| 568
+ |algebraic?| 573 = 579))
+ (QUOTE NIL)
+ (CONS
+ (|makeByteWordVec2| 1 (QUOTE NIL))
+ (CONS (QUOTE #()) (CONS (QUOTE #())
+ (|makeByteWordVec2| 129 (QUOTE (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 6 13 0 20 2 10 11 0 0 21 2 10 11 0 0 22
+ 1 10 9 0 23 2 6 0 0 9 24 2 6 11 0 0 25 1 6 27 0 28 1 10 11 0 31 2 27
+ 0 32 0 33 1 10 11 0 34 2 27 11 32 0 35 2 27 0 29 0 36 0 6 0 37 2 6 0
+ 0 10 38 3 6 11 10 0 29 39 2 27 0 0 0 43 1 10 0 0 45 1 10 0 0 46 1 27
+ 0 0 47 1 10 49 0 50 1 6 27 0 52 2 10 11 0 55 56 2 10 11 0 55 58 1 10
+ 0 0 60 2 6 11 10 0 61 2 9 11 0 0 63 2 9 11 0 0 64 2 10 11 0 0 65 1 6
+ 11 0 69 0 10 0 70 4 6 10 10 0 67 29 71 2 10 0 0 0 73 2 10 0 0 0 75 2
+ 10 11 0 0 76 2 10 0 0 0 78 2 10 11 0 0 79 2 6 0 0 9 81 2 6 11 9 0 82
+ 2 6 13 0 9 83 2 6 10 10 0 84 0 10 0 85 2 10 49 0 9 86 1 87 11 0 88 1
+ 10 0 0 89 2 10 0 0 0 90 2 10 0 0 0 91 1 10 0 0 92 1 6 0 0 94 2 6 95
+ 10 0 96 2 6 11 0 98 100 2 10 11 0 55 103 2 10 11 0 55 105 1 6 0 27
+ 110 1 6 113 0 115 2 113 11 9 0 116 1 6 16 27 122 2 6 16 0 10 124 0
+ 9 49 127 2 49 16 0 0 128 1 0 49 0 129 1 0 11 0 101 2 0 11 10 0 59 2
+ 0 10 10 0 74 2 0 13 0 9 118 4 0 27 27 0 67 29 72 1 0 16 27 125 1 0
+ 16 0 111 2 0 10 10 0 93 3 0 11 10 0 29 30 2 0 10 10 0 97 4 0 10 10 0
+ 67 29 68 1 0 53 0 54 1 0 11 0 102 2 0 11 10 0 57 1 0 9 0 107 1 0 13
+ 0 109 1 0 27 0 48 1 0 11 0 106 2 0 11 10 0 66 2 0 10 10 0 80 2 0 11
+ 0 0 26 1 0 11 0 104 2 0 11 10 0 62 2 0 10 10 0 77 1 0 13 0 108 2 0 0
+ 0 10 126 1 0 49 0 51 1 0 0 27 123 2 0 0 0 9 121 2 0 0 0 9 120 1 0 0
+ 0 119 1 0 27 0 112 1 0 49 0 129 3 0 41 27 32 29 44 2 0 41 27 29 42 2
+ 0 11 0 98 99 1 0 113 0 114 2 0 11 9 0 117 2 0 11 0 0 19))))))
+ (QUOTE |lookupComplete|)))
+
+@
\section{UFD.lsp BOOTSTRAP}
{\bf UFD} needs
{\bf GCDDOM} which needs
diff --git a/changelog b/changelog
index 3263ff6..c053227 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+20081118 tpd src/algebra/Makefile make parallel test work (fix TSETCAT-)
+20081118 tpd books/bookvol10.2 make parallel test work (fix TSETCAT-)
+20081118 tpd src/scripts/document make parallel test work (remove rm)
+20081118 tpd src/Makefile make parallel test work (add make -j)
20081116 tpd src/doc/rosetta update magnus web address
20081115 tpd books/bookvol10.2 remove duplicates in export lists
20081114 tpd books/bookvol10.3 add DHMATRIX
diff --git a/src/Makefile.pamphlet b/src/Makefile.pamphlet
index 5f967fb..370a1ea 100644
--- a/src/Makefile.pamphlet
+++ b/src/Makefile.pamphlet
@@ -303,7 +303,7 @@ inputdir: ${SRC}/input/Makefile
@mkdir -p ${INT}/input
@mkdir -p ${MNT}/${SYS}/input
@mkdir -p ${MNT}/${SYS}/doc/src/input
- @(cd input ; ${ENV} ${MAKE} )
+ @(cd input ; ${ENV} ${MAKE} -j 10)
${SRC}/input/Makefile: ${SRC}/input/Makefile.pamphlet
@echo 34 making ${SRC}/input/Makefile from \
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index aef2cd2..f398bc6 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -135,7 +135,7 @@ LAYER0BOOTSTRAP=\
${MID}/RNG.o ${MID}/RNS.o ${MID}/RNS-.o ${MID}/SETAGG.o \
${MID}/SETAGG-.o ${MID}/SETCAT.o ${MID}/SETCAT-.o ${MID}/SINT.o \
${MID}/STAGG.o ${MID}/STAGG-.o ${MID}/SYMBOL.o ${MID}/TSETCAT.o \
- ${MID}/UFD.o ${MID}/UFD-.o ${MID}/ULSCAT.o \
+ ${MID}/TSETCAT-.o ${MID}/UFD.o ${MID}/UFD-.o ${MID}/ULSCAT.o \
${MID}/UPOLYC.o ${MID}/UPOLYC-.o ${MID}/URAGG.o ${MID}/URAGG-.o \
${MID}/VECTOR.o \
layer0bootstrap
@@ -163,7 +163,7 @@ LAYER0COPY=\
${OUT}/RNG.o ${OUT}/RNS.o ${OUT}/RNS-.o ${OUT}/SETAGG.o \
${OUT}/SETAGG-.o ${OUT}/SETCAT.o ${OUT}/SETCAT-.o ${OUT}/SINT.o \
${OUT}/STAGG.o ${OUT}/STAGG-.o ${OUT}/SYMBOL.o ${OUT}/TSETCAT.o \
- ${OUT}/UFD.o ${OUT}/UFD-.o ${OUT}/ULSCAT.o \
+ ${OUT}/TSETCAT-.o ${OUT}/UFD.o ${OUT}/UFD-.o ${OUT}/ULSCAT.o \
${OUT}/UPOLYC.o ${OUT}/UPOLYC-.o ${OUT}/URAGG.o ${OUT}/URAGG-.o \
${OUT}/VECTOR.o \
layer0copy
diff --git a/src/scripts/document b/src/scripts/document
index a13ee54..420faaf 100755
--- a/src/scripts/document
+++ b/src/scripts/document
@@ -21,7 +21,6 @@ if [ "$#" = "3" ]; then
rm -f $FILE.tex
rm -f $FILE.toc
rm -f $FILE.aux
- rm -f axiom.sty
exit 0
fi
if [ "$#" = "1" ]; then
@@ -36,7 +35,6 @@ if [ "$#" = "1" ]; then
rm -f $FILE.tex
rm -f $FILE.toc
rm -f $FILE.aux
- rm -f axiom.sty
exit 0
fi
echo "document [ -o redirect ] pamphlet"
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] 20081118.01.tpd.patch (make parallel test work),
daly <=