aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-04-24 03:20:11 +0000
committerdos-reis <gdr@axiomatics.org>2009-04-24 03:20:11 +0000
commit174164a1d057bb5f133a323c9e47bb63534fc375 (patch)
treee976bd6f85264d35a045e9a3989a66819383dde4 /src/algebra
parent2f1248f84e09ddbb48e5ef0700ee61463da0be41 (diff)
downloadopen-axiom-174164a1d057bb5f133a323c9e47bb63534fc375.tar.gz
* algebra/strap/PSETCAT-.lsp: Remove.
* algebra/strap/PSETCAT.lsp: Likewise.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in19
-rw-r--r--src/algebra/Makefile.pamphlet19
-rw-r--r--src/algebra/strap/PSETCAT-.lsp944
-rw-r--r--src/algebra/strap/PSETCAT.lsp123
4 files changed, 24 insertions, 1081 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 09351663..e6c46115 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -196,8 +196,8 @@ axiom_algebra_bootstrap = \
LNAGG- LSAGG LSAGG- MONOID \
MONOID- MTSCAT NNI OINTDOM \
ORDRING ORDRING- OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- PSETCAT \
- PSETCAT- QFCAT QFCAT- RCAGG \
+ PRIMARR POLYCAT POLYCAT- \
+ QFCAT QFCAT- RCAGG \
RCAGG- RING RING- \
RNG RNS RNS- SETAGG \
SETAGG- SINT \
@@ -215,8 +215,8 @@ axiom_algebra_bootstrap_last_layer = \
INS INS- INT \
MTSCAT NNI \
OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- PSETCAT \
- PSETCAT- QFCAT QFCAT- \
+ PRIMARR POLYCAT POLYCAT- \
+ QFCAT QFCAT- \
RNS RNS- \
SINT \
SYMBOL \
@@ -718,9 +718,12 @@ axiom_algebra_layer_17_nrlibs = \
axiom_algebra_layer_17_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_17)))
+$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT)
+
axiom_algebra_layer_18 = \
INTPACK IPF CATCTOR DOMCTOR CTORCALL \
- KAFILE PATRES TBCMPPK
+ KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \
+ RPOLCAT RPOLCAT-
axiom_algebra_layer_18_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18))
@@ -728,6 +731,8 @@ axiom_algebra_layer_18_nrlibs = \
axiom_algebra_layer_18_objects = \
$(addprefix $(OUT)/, \
$(addsuffix .$(FASLEXT),$(axiom_algebra_layer_18)))
+$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
+
axiom_algebra_layer_19 = \
ACPLOT ANTISYM ANY ATTRBUT \
BOP BOP1 COMMONOP COMPCAT \
@@ -750,8 +755,8 @@ axiom_algebra_layer_19 = \
PMKERNEL PMSYM PRIMELT \
QALGSET2 QEQUAT RECLOS REP1 \
RESULT QUATCAT QUATCAT- RFFACT \
- RMATRIX ROMAN ROUTINE RPOLCAT \
- RPOLCAT- RULECOLD SAOS SEGBIND \
+ RMATRIX ROMAN ROUTINE \
+ RULECOLD SAOS SEGBIND \
SET SPECOUT SQMATRIX SWITCH \
SYSSOLP UTSCAT \
UTSCAT- VARIABLE WFFINTBS SPADPRSR \
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 1d9e2e9b..58d8e8a2 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -145,8 +145,8 @@ axiom_algebra_bootstrap = \
LNAGG- LSAGG LSAGG- MONOID \
MONOID- MTSCAT NNI OINTDOM \
ORDRING ORDRING- OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- PSETCAT \
- PSETCAT- QFCAT QFCAT- RCAGG \
+ PRIMARR POLYCAT POLYCAT- \
+ QFCAT QFCAT- RCAGG \
RCAGG- RING RING- \
RNG RNS RNS- SETAGG \
SETAGG- SINT \
@@ -164,8 +164,8 @@ axiom_algebra_bootstrap_last_layer = \
INS INS- INT \
MTSCAT NNI \
OUTFORM PI \
- PRIMARR POLYCAT POLYCAT- PSETCAT \
- PSETCAT- QFCAT QFCAT- \
+ PRIMARR POLYCAT POLYCAT- \
+ QFCAT QFCAT- \
RNS RNS- \
SINT \
SYMBOL \
@@ -765,9 +765,12 @@ axiom_algebra_layer_17_objects = \
\subsection{Layer18}
<<layer18>>=
+$(OUT)/PSETCAT.$(FASLEXT): $(OUT)/RPOLCAT.$(FASLEXT)
+
axiom_algebra_layer_18 = \
INTPACK IPF CATCTOR DOMCTOR CTORCALL \
- KAFILE PATRES TBCMPPK
+ KAFILE PATRES TBCMPPK PSETCAT PSETCAT- \
+ RPOLCAT RPOLCAT-
axiom_algebra_layer_18_nrlibs = \
$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_18))
@@ -780,6 +783,8 @@ axiom_algebra_layer_18_objects = \
\subsection{Layer19}
<<layer19>>=
+$(OUT)/TSETCAT.$(FASLEXT): $(OUT)/PSETCAT.$(FASLEXT) $(OUT)/RPOLCAT.$(FASLEXT)
+
axiom_algebra_layer_19 = \
ACPLOT ANTISYM ANY ATTRBUT \
BOP BOP1 COMMONOP COMPCAT \
@@ -802,8 +807,8 @@ axiom_algebra_layer_19 = \
PMKERNEL PMSYM PRIMELT \
QALGSET2 QEQUAT RECLOS REP1 \
RESULT QUATCAT QUATCAT- RFFACT \
- RMATRIX ROMAN ROUTINE RPOLCAT \
- RPOLCAT- RULECOLD SAOS SEGBIND \
+ RMATRIX ROMAN ROUTINE \
+ RULECOLD SAOS SEGBIND \
SET SPECOUT SQMATRIX SWITCH \
SYSSOLP UTSCAT \
UTSCAT- VARIABLE WFFINTBS SPADPRSR \
diff --git a/src/algebra/strap/PSETCAT-.lsp b/src/algebra/strap/PSETCAT-.lsp
deleted file mode 100644
index d4723490..00000000
--- a/src/algebra/strap/PSETCAT-.lsp
+++ /dev/null
@@ -1,944 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|)
- |PSETCAT-;elements|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%List|)
- |PSETCAT-;variables1|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%List|)
- |PSETCAT-;variables2|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|)
- |PSETCAT-;variables;SL;4|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%List|)
- |PSETCAT-;mainVariables;SL;5|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;mainVariable?;VarSetSB;6|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |PSETCAT-;collectUnder;SVarSetS;7|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |PSETCAT-;collectUpper;SVarSetS;8|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |PSETCAT-;collect;SVarSetS;9|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Shell|)
- |PSETCAT-;sort;SVarSetR;10|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;=;2SB;11|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;localInf?|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Boolean|)
- |PSETCAT-;localTriangular?|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;triangular?;SB;14|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;trivialIdeal?;SB;15|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;roughUnitIdeal?;SB;16|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;relativelyPrimeLeadingMonomials?|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;roughBase?;SB;18|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;roughSubIdeal?;2SB;19|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
- |PSETCAT-;roughEqualIdeals?;2SB;20|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
- |PSETCAT-;exactQuo|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Pair|)
- |PSETCAT-;headRemainder;PSR;22|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Pair| |%Shell|) |%Pair|)
- |PSETCAT-;makeIrreducible!|))
-
-(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Shell|)
- |PSETCAT-;remainder;PSR;24|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Shell|) |%List|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|))
-
-(DECLAIM (FTYPE (FUNCTION (|%List| |%Thing| |%Shell|) |%List|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|))
-
-(DEFUN |PSETCAT-;elements| (|ps| $)
- (PROG (|lp|)
- (RETURN
- (LETT |lp| (SPADCALL |ps| (|getShellEntry| $ 12))
- |PSETCAT-;elements|))))
-
-(DEFUN |PSETCAT-;variables1| (|lp| $)
- (PROG (#0=#:G1560 |p| #1=#:G1561 |lvars|)
- (RETURN
- (SEQ (LETT |lvars|
- (PROGN
- (LETT #0# NIL |PSETCAT-;variables1|)
- (SEQ (LETT |p| NIL |PSETCAT-;variables1|)
- (LETT #1# |lp| |PSETCAT-;variables1|) G190
- (COND
- ((OR (ATOM #1#)
- (PROGN
- (LETT |p| (CAR #1#)
- |PSETCAT-;variables1|)
- NIL))
- (GO G191)))
- (SEQ (EXIT (LETT #0#
- (CONS
- (SPADCALL |p|
- (|getShellEntry| $ 14))
- #0#)
- |PSETCAT-;variables1|)))
- (LETT #1# (CDR #1#) |PSETCAT-;variables1|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- |PSETCAT-;variables1|)
- (EXIT (SPADCALL (CONS #'|PSETCAT-;variables1!0| $)
- (SPADCALL
- (SPADCALL |lvars| (|getShellEntry| $ 18))
- (|getShellEntry| $ 19))
- (|getShellEntry| $ 21)))))))
-
-(DEFUN |PSETCAT-;variables1!0| (|#1| |#2| $)
- (SPADCALL |#2| |#1| (|getShellEntry| $ 16)))
-
-(DEFUN |PSETCAT-;variables2| (|lp| $)
- (PROG (#0=#:G1562 |p| #1=#:G1563 |lvars|)
- (RETURN
- (SEQ (LETT |lvars|
- (PROGN
- (LETT #0# NIL |PSETCAT-;variables2|)
- (SEQ (LETT |p| NIL |PSETCAT-;variables2|)
- (LETT #1# |lp| |PSETCAT-;variables2|) G190
- (COND
- ((OR (ATOM #1#)
- (PROGN
- (LETT |p| (CAR #1#)
- |PSETCAT-;variables2|)
- NIL))
- (GO G191)))
- (SEQ (EXIT (LETT #0#
- (CONS
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- #0#)
- |PSETCAT-;variables2|)))
- (LETT #1# (CDR #1#) |PSETCAT-;variables2|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- |PSETCAT-;variables2|)
- (EXIT (SPADCALL (CONS #'|PSETCAT-;variables2!0| $)
- (SPADCALL |lvars| (|getShellEntry| $ 19))
- (|getShellEntry| $ 21)))))))
-
-(DEFUN |PSETCAT-;variables2!0| (|#1| |#2| $)
- (SPADCALL |#2| |#1| (|getShellEntry| $ 16)))
-
-(DEFUN |PSETCAT-;variables;SL;4| (|ps| $)
- (|PSETCAT-;variables1| (|PSETCAT-;elements| |ps| $) $))
-
-(DEFUN |PSETCAT-;mainVariables;SL;5| (|ps| $)
- (|PSETCAT-;variables2|
- (SPADCALL (ELT $ 24) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))
- $))
-
-(DEFUN |PSETCAT-;mainVariable?;VarSetSB;6| (|v| |ps| $)
- (PROG (|lp|)
- (RETURN
- (SEQ (LETT |lp|
- (SPADCALL (ELT $ 24) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))
- |PSETCAT-;mainVariable?;VarSetSB;6|)
- (SEQ G190
- (COND
- ((NULL (COND
- ((NULL |lp|) 'NIL)
- ('T
- (NOT (SPADCALL
- (SPADCALL (|SPADfirst| |lp|)
- (|getShellEntry| $ 22))
- |v| (|getShellEntry| $ 31))))))
- (GO G191)))
- (SEQ (EXIT (LETT |lp| (CDR |lp|)
- |PSETCAT-;mainVariable?;VarSetSB;6|)))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (NOT (NULL |lp|)))))))
-
-(DEFUN |PSETCAT-;collectUnder;SVarSetS;7| (|ps| |v| $)
- (PROG (|p| |lp| |lq|)
- (RETURN
- (SEQ (LETT |lp| (|PSETCAT-;elements| |ps| $)
- |PSETCAT-;collectUnder;SVarSetS;7|)
- (LETT |lq| NIL |PSETCAT-;collectUnder;SVarSetS;7|)
- (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;collectUnder;SVarSetS;7|)
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;collectUnder;SVarSetS;7|)
- (EXIT (COND
- ((OR (SPADCALL |p| (|getShellEntry| $ 24))
- (SPADCALL
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- |v| (|getShellEntry| $ 16)))
- (LETT |lq| (CONS |p| |lq|)
- |PSETCAT-;collectUnder;SVarSetS;7|)))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |lq| (|getShellEntry| $ 35)))))))
-
-(DEFUN |PSETCAT-;collectUpper;SVarSetS;8| (|ps| |v| $)
- (PROG (|p| |lp| |lq|)
- (RETURN
- (SEQ (LETT |lp| (|PSETCAT-;elements| |ps| $)
- |PSETCAT-;collectUpper;SVarSetS;8|)
- (LETT |lq| NIL |PSETCAT-;collectUpper;SVarSetS;8|)
- (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;collectUpper;SVarSetS;8|)
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;collectUpper;SVarSetS;8|)
- (EXIT (COND
- ((NOT (SPADCALL |p|
- (|getShellEntry| $ 24)))
- (COND
- ((SPADCALL |v|
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- (|getShellEntry| $ 16))
- (LETT |lq| (CONS |p| |lq|)
- |PSETCAT-;collectUpper;SVarSetS;8|)))))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |lq| (|getShellEntry| $ 35)))))))
-
-(DEFUN |PSETCAT-;collect;SVarSetS;9| (|ps| |v| $)
- (PROG (|p| |lp| |lq|)
- (RETURN
- (SEQ (LETT |lp| (|PSETCAT-;elements| |ps| $)
- |PSETCAT-;collect;SVarSetS;9|)
- (LETT |lq| NIL |PSETCAT-;collect;SVarSetS;9|)
- (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;collect;SVarSetS;9|)
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;collect;SVarSetS;9|)
- (EXIT (COND
- ((NOT (SPADCALL |p|
- (|getShellEntry| $ 24)))
- (COND
- ((SPADCALL
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- |v| (|getShellEntry| $ 31))
- (LETT |lq| (CONS |p| |lq|)
- |PSETCAT-;collect;SVarSetS;9|)))))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |lq| (|getShellEntry| $ 35)))))))
-
-(DEFUN |PSETCAT-;sort;SVarSetR;10| (|ps| |v| $)
- (PROG (|p| |lp| |us| |vs| |ws|)
- (RETURN
- (SEQ (LETT |lp| (|PSETCAT-;elements| |ps| $)
- |PSETCAT-;sort;SVarSetR;10|)
- (LETT |us| NIL |PSETCAT-;sort;SVarSetR;10|)
- (LETT |vs| NIL |PSETCAT-;sort;SVarSetR;10|)
- (LETT |ws| NIL |PSETCAT-;sort;SVarSetR;10|)
- (SEQ G190 (COND ((NULL (NOT (NULL |lp|))) (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;sort;SVarSetR;10|)
- (LETT |lp| (CDR |lp|) |PSETCAT-;sort;SVarSetR;10|)
- (EXIT (COND
- ((OR (SPADCALL |p| (|getShellEntry| $ 24))
- (SPADCALL
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- |v| (|getShellEntry| $ 16)))
- (LETT |us| (CONS |p| |us|)
- |PSETCAT-;sort;SVarSetR;10|))
- ((SPADCALL
- (SPADCALL |p| (|getShellEntry| $ 22))
- |v| (|getShellEntry| $ 31))
- (LETT |vs| (CONS |p| |vs|)
- |PSETCAT-;sort;SVarSetR;10|))
- ('T
- (LETT |ws| (CONS |p| |ws|)
- |PSETCAT-;sort;SVarSetR;10|)))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (VECTOR (SPADCALL |us| (|getShellEntry| $ 35))
- (SPADCALL |vs| (|getShellEntry| $ 35))
- (SPADCALL |ws| (|getShellEntry| $ 35))))))))
-
-(DEFUN |PSETCAT-;=;2SB;11| (|ps1| |ps2| $)
- (PROG (#0=#:G1564 #1=#:G1565 #2=#:G1566 |p| #3=#:G1567)
- (RETURN
- (SEQ (SPADCALL
- (SPADCALL
- (PROGN
- (LETT #0# NIL |PSETCAT-;=;2SB;11|)
- (SEQ (LETT |p| NIL |PSETCAT-;=;2SB;11|)
- (LETT #1# (|PSETCAT-;elements| |ps1| $)
- |PSETCAT-;=;2SB;11|)
- G190
- (COND
- ((OR (ATOM #1#)
- (PROGN
- (LETT |p| (CAR #1#)
- |PSETCAT-;=;2SB;11|)
- NIL))
- (GO G191)))
- (SEQ (EXIT (LETT #0# (CONS |p| #0#)
- |PSETCAT-;=;2SB;11|)))
- (LETT #1# (CDR #1#) |PSETCAT-;=;2SB;11|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- (|getShellEntry| $ 42))
- (SPADCALL
- (PROGN
- (LETT #2# NIL |PSETCAT-;=;2SB;11|)
- (SEQ (LETT |p| NIL |PSETCAT-;=;2SB;11|)
- (LETT #3# (|PSETCAT-;elements| |ps2| $)
- |PSETCAT-;=;2SB;11|)
- G190
- (COND
- ((OR (ATOM #3#)
- (PROGN
- (LETT |p| (CAR #3#)
- |PSETCAT-;=;2SB;11|)
- NIL))
- (GO G191)))
- (SEQ (EXIT (LETT #2# (CONS |p| #2#)
- |PSETCAT-;=;2SB;11|)))
- (LETT #3# (CDR #3#) |PSETCAT-;=;2SB;11|)
- (GO G190) G191 (EXIT (NREVERSE0 #2#))))
- (|getShellEntry| $ 42))
- (|getShellEntry| $ 43))))))
-
-(DEFUN |PSETCAT-;localInf?| (|p| |q| $)
- (SPADCALL (SPADCALL |p| (|getShellEntry| $ 45))
- (SPADCALL |q| (|getShellEntry| $ 45)) (|getShellEntry| $ 46)))
-
-(DEFUN |PSETCAT-;localTriangular?| (|lp| $)
- (PROG (|q| |p|)
- (RETURN
- (SEQ (LETT |lp| (SPADCALL (ELT $ 47) |lp| (|getShellEntry| $ 26))
- |PSETCAT-;localTriangular?|)
- (EXIT (COND
- ((NULL |lp|) 'T)
- ((SPADCALL (ELT $ 24) |lp| (|getShellEntry| $ 49))
- 'NIL)
- ('T
- (SEQ (LETT |lp|
- (SPADCALL
- (CONS
- #'|PSETCAT-;localTriangular?!0| $)
- |lp| (|getShellEntry| $ 51))
- |PSETCAT-;localTriangular?|)
- (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;localTriangular?|)
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;localTriangular?|)
- (SEQ G190
- (COND
- ((NULL (COND
- ((NULL |lp|) 'NIL)
- ('T
- (SPADCALL
- (SPADCALL
- (LETT |q|
- (|SPADfirst| |lp|)
- |PSETCAT-;localTriangular?|)
- (|getShellEntry| $ 22))
- (SPADCALL |p|
- (|getShellEntry| $ 22))
- (|getShellEntry| $ 16)))))
- (GO G191)))
- (SEQ (LETT |p| |q|
- |PSETCAT-;localTriangular?|)
- (EXIT
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;localTriangular?|)))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (NULL |lp|))))))))))
-
-(DEFUN |PSETCAT-;localTriangular?!0| (|#1| |#2| $)
- (SPADCALL (SPADCALL |#2| (|getShellEntry| $ 22))
- (SPADCALL |#1| (|getShellEntry| $ 22)) (|getShellEntry| $ 16)))
-
-(DEFUN |PSETCAT-;triangular?;SB;14| (|ps| $)
- (|PSETCAT-;localTriangular?| (|PSETCAT-;elements| |ps| $) $))
-
-(DEFUN |PSETCAT-;trivialIdeal?;SB;15| (|ps| $)
- (NULL (SPADCALL (ELT $ 47) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))))
-
-(DEFUN |PSETCAT-;roughUnitIdeal?;SB;16| (|ps| $)
- (SPADCALL (ELT $ 24)
- (SPADCALL (ELT $ 47) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))
- (|getShellEntry| $ 49)))
-
-(DEFUN |PSETCAT-;relativelyPrimeLeadingMonomials?| (|p| |q| $)
- (PROG (|dp| |dq|)
- (RETURN
- (SEQ (LETT |dp| (SPADCALL |p| (|getShellEntry| $ 45))
- |PSETCAT-;relativelyPrimeLeadingMonomials?|)
- (LETT |dq| (SPADCALL |q| (|getShellEntry| $ 45))
- |PSETCAT-;relativelyPrimeLeadingMonomials?|)
- (EXIT (SPADCALL (SPADCALL |dp| |dq| (|getShellEntry| $ 55))
- (SPADCALL |dp| |dq| (|getShellEntry| $ 56))
- (|getShellEntry| $ 57)))))))
-
-(DEFUN |PSETCAT-;roughBase?;SB;18| (|ps| $)
- (PROG (|p| |lp| |rB?| |copylp|)
- (RETURN
- (SEQ (LETT |lp|
- (SPADCALL (ELT $ 47) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))
- |PSETCAT-;roughBase?;SB;18|)
- (EXIT (COND
- ((NULL |lp|) 'T)
- ('T
- (SEQ (LETT |rB?| 'T |PSETCAT-;roughBase?;SB;18|)
- (SEQ G190
- (COND
- ((NULL (COND
- ((NULL |lp|) 'NIL)
- ('T |rB?|)))
- (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp|)
- |PSETCAT-;roughBase?;SB;18|)
- (LETT |lp| (CDR |lp|)
- |PSETCAT-;roughBase?;SB;18|)
- (LETT |copylp| |lp|
- |PSETCAT-;roughBase?;SB;18|)
- (EXIT
- (SEQ G190
- (COND
- ((NULL
- (COND
- ((NULL |copylp|) 'NIL)
- ('T |rB?|)))
- (GO G191)))
- (SEQ
- (LETT |rB?|
- (|PSETCAT-;relativelyPrimeLeadingMonomials?|
- |p| (|SPADfirst| |copylp|) $)
- |PSETCAT-;roughBase?;SB;18|)
- (EXIT
- (LETT |copylp| (CDR |copylp|)
- |PSETCAT-;roughBase?;SB;18|)))
- NIL (GO G190) G191 (EXIT NIL))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT |rB?|)))))))))
-
-(DEFUN |PSETCAT-;roughSubIdeal?;2SB;19| (|ps1| |ps2| $)
- (PROG (|lp|)
- (RETURN
- (SEQ (LETT |lp|
- (SPADCALL (|PSETCAT-;elements| |ps1| $) |ps2|
- (|getShellEntry| $ 59))
- |PSETCAT-;roughSubIdeal?;2SB;19|)
- (EXIT (NULL (SPADCALL (ELT $ 47) |lp|
- (|getShellEntry| $ 26))))))))
-
-(DEFUN |PSETCAT-;roughEqualIdeals?;2SB;20| (|ps1| |ps2| $)
- (COND
- ((SPADCALL |ps1| |ps2| (|getShellEntry| $ 61)) 'T)
- ((SPADCALL |ps1| |ps2| (|getShellEntry| $ 62))
- (SPADCALL |ps2| |ps1| (|getShellEntry| $ 62)))
- ('T 'NIL)))
-
-(DEFUN |PSETCAT-;exactQuo| (|r| |s| $)
- (PROG (#0=#:G1509)
- (RETURN
- (COND
- ((|HasCategory| (|getShellEntry| $ 7) '(|EuclideanDomain|))
- (SPADCALL |r| |s| (|getShellEntry| $ 64)))
- ('T
- (PROG2 (LETT #0# (SPADCALL |r| |s| (|getShellEntry| $ 66))
- |PSETCAT-;exactQuo|)
- (QCDR #0#)
- (|check-union| (QEQCAR #0# 0) (|getShellEntry| $ 7) #0#)))))))
-
-(DEFUN |PSETCAT-;headRemainder;PSR;22| (|a| |ps| $)
- (PROG (|lp1| |p| |e| |g| |#G45| |#G46| |lca| |lcp| |r| |lp2|)
- (RETURN
- (SEQ (LETT |lp1|
- (SPADCALL (ELT $ 47) (|PSETCAT-;elements| |ps| $)
- (|getShellEntry| $ 26))
- |PSETCAT-;headRemainder;PSR;22|)
- (EXIT (COND
- ((NULL |lp1|) (CONS |a| (|spadConstant| $ 67)))
- ((SPADCALL (ELT $ 24) |lp1| (|getShellEntry| $ 49))
- (CONS (SPADCALL |a| (|getShellEntry| $ 68))
- (|spadConstant| $ 67)))
- ('T
- (SEQ (LETT |r| (|spadConstant| $ 67)
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |lp1|
- (SPADCALL
- (CONS
- (|function| |PSETCAT-;localInf?|)
- $)
- (REVERSE
- (|PSETCAT-;elements| |ps| $))
- (|getShellEntry| $ 51))
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |lp2| |lp1|
- |PSETCAT-;headRemainder;PSR;22|)
- (SEQ G190
- (COND
- ((NULL (COND
- ((SPADCALL |a|
- (|getShellEntry| $ 47))
- 'NIL)
- ('T (NOT (NULL |lp2|)))))
- (GO G191)))
- (SEQ (LETT |p| (|SPADfirst| |lp2|)
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |e|
- (SPADCALL
- (SPADCALL |a|
- (|getShellEntry| $ 45))
- (SPADCALL |p|
- (|getShellEntry| $ 45))
- (|getShellEntry| $ 70))
- |PSETCAT-;headRemainder;PSR;22|)
- (EXIT
- (COND
- ((QEQCAR |e| 0)
- (SEQ
- (LETT |g|
- (SPADCALL
- (LETT |lca|
- (SPADCALL |a|
- (|getShellEntry| $ 71))
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |lcp|
- (SPADCALL |p|
- (|getShellEntry| $ 71))
- |PSETCAT-;headRemainder;PSR;22|)
- (|getShellEntry| $ 72))
- |PSETCAT-;headRemainder;PSR;22|)
- (PROGN
- (LETT |#G45|
- (|PSETCAT-;exactQuo| |lca|
- |g| $)
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |#G46|
- (|PSETCAT-;exactQuo| |lcp|
- |g| $)
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |lca| |#G45|
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |lcp| |#G46|
- |PSETCAT-;headRemainder;PSR;22|))
- (LETT |a|
- (SPADCALL
- (SPADCALL |lcp|
- (SPADCALL |a|
- (|getShellEntry| $ 68))
- (|getShellEntry| $ 73))
- (SPADCALL
- (SPADCALL |lca| (QCDR |e|)
- (|getShellEntry| $ 74))
- (SPADCALL |p|
- (|getShellEntry| $ 68))
- (|getShellEntry| $ 75))
- (|getShellEntry| $ 76))
- |PSETCAT-;headRemainder;PSR;22|)
- (LETT |r|
- (SPADCALL |r| |lcp|
- (|getShellEntry| $ 77))
- |PSETCAT-;headRemainder;PSR;22|)
- (EXIT
- (LETT |lp2| |lp1|
- |PSETCAT-;headRemainder;PSR;22|))))
- ('T
- (LETT |lp2| (CDR |lp2|)
- |PSETCAT-;headRemainder;PSR;22|)))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (CONS |a| |r|))))))))))
-
-(DEFUN |PSETCAT-;makeIrreducible!| (|frac| $)
- (PROG (|g|)
- (RETURN
- (SEQ (LETT |g|
- (SPADCALL (QCDR |frac|) (QCAR |frac|)
- (|getShellEntry| $ 80))
- |PSETCAT-;makeIrreducible!|)
- (EXIT (COND
- ((SPADCALL |g| (|getShellEntry| $ 81)) |frac|)
- ('T
- (SEQ (PROGN
- (RPLACA |frac|
- (SPADCALL (QCAR |frac|) |g|
- (|getShellEntry| $ 82)))
- (QCAR |frac|))
- (PROGN
- (RPLACD |frac|
- (|PSETCAT-;exactQuo| (QCDR |frac|)
- |g| $))
- (QCDR |frac|))
- (EXIT |frac|)))))))))
-
-(DEFUN |PSETCAT-;remainder;PSR;24| (|a| |ps| $)
- (PROG (|hRa| |r| |lca| |g| |b| |c|)
- (RETURN
- (SEQ (LETT |hRa|
- (|PSETCAT-;makeIrreducible!|
- (SPADCALL |a| |ps| (|getShellEntry| $ 83)) $)
- |PSETCAT-;remainder;PSR;24|)
- (LETT |a| (QCAR |hRa|) |PSETCAT-;remainder;PSR;24|)
- (LETT |r| (QCDR |hRa|) |PSETCAT-;remainder;PSR;24|)
- (EXIT (COND
- ((SPADCALL |a| (|getShellEntry| $ 47))
- (VECTOR (|spadConstant| $ 67) |a| |r|))
- ('T
- (SEQ (LETT |b|
- (SPADCALL (|spadConstant| $ 67)
- (SPADCALL |a|
- (|getShellEntry| $ 45))
- (|getShellEntry| $ 74))
- |PSETCAT-;remainder;PSR;24|)
- (LETT |c|
- (SPADCALL |a| (|getShellEntry| $ 71))
- |PSETCAT-;remainder;PSR;24|)
- (SEQ G190
- (COND
- ((NULL (NOT
- (SPADCALL
- (LETT |a|
- (SPADCALL |a|
- (|getShellEntry| $ 68))
- |PSETCAT-;remainder;PSR;24|)
- (|getShellEntry| $ 47))))
- (GO G191)))
- (SEQ (LETT |hRa|
- (|PSETCAT-;makeIrreducible!|
- (SPADCALL |a| |ps|
- (|getShellEntry| $ 83))
- $)
- |PSETCAT-;remainder;PSR;24|)
- (LETT |a| (QCAR |hRa|)
- |PSETCAT-;remainder;PSR;24|)
- (LETT |r|
- (SPADCALL |r| (QCDR |hRa|)
- (|getShellEntry| $ 77))
- |PSETCAT-;remainder;PSR;24|)
- (LETT |g|
- (SPADCALL |c|
- (LETT |lca|
- (SPADCALL |a|
- (|getShellEntry| $ 71))
- |PSETCAT-;remainder;PSR;24|)
- (|getShellEntry| $ 72))
- |PSETCAT-;remainder;PSR;24|)
- (LETT |b|
- (SPADCALL
- (SPADCALL
- (SPADCALL (QCDR |hRa|)
- (|PSETCAT-;exactQuo| |c| |g| $)
- (|getShellEntry| $ 77))
- |b| (|getShellEntry| $ 73))
- (SPADCALL
- (|PSETCAT-;exactQuo| |lca| |g| $)
- (SPADCALL |a|
- (|getShellEntry| $ 45))
- (|getShellEntry| $ 74))
- (|getShellEntry| $ 84))
- |PSETCAT-;remainder;PSR;24|)
- (EXIT
- (LETT |c| |g|
- |PSETCAT-;remainder;PSR;24|)))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (VECTOR |c| |b| |r|))))))))))
-
-(DEFUN |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25| (|ps| |cs| $)
- (PROG (|p| |rs|)
- (RETURN
- (SEQ (COND
- ((SPADCALL |cs| (|getShellEntry| $ 87)) |ps|)
- ((SPADCALL |cs| (|getShellEntry| $ 88))
- (LIST (|spadConstant| $ 89)))
- ('T
- (SEQ (LETT |ps|
- (SPADCALL (ELT $ 47) |ps|
- (|getShellEntry| $ 26))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (EXIT (COND
- ((NULL |ps|) |ps|)
- ((SPADCALL (ELT $ 24) |ps|
- (|getShellEntry| $ 49))
- (LIST (|spadConstant| $ 90)))
- ('T
- (SEQ (LETT |rs| NIL
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (SEQ G190
- (COND
- ((NULL (NOT (NULL |ps|)))
- (GO G191)))
- (SEQ
- (LETT |p| (|SPADfirst| |ps|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (LETT |ps| (CDR |ps|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (LETT |p|
- (QCAR
- (SPADCALL |p| |cs|
- (|getShellEntry| $ 83)))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (EXIT
- (COND
- ((NOT
- (SPADCALL |p|
- (|getShellEntry| $ 47)))
- (COND
- ((SPADCALL |p|
- (|getShellEntry| $ 24))
- (SEQ
- (LETT |ps| NIL
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- (EXIT
- (LETT |rs|
- (LIST
- (|spadConstant| $ 90))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|))))
- ('T
- (SEQ
- (SPADCALL |p|
- (|getShellEntry| $ 91))
- (EXIT
- (LETT |rs|
- (CONS |p| |rs|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)))))))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |rs|
- (|getShellEntry| $ 92))))))))))))))
-
-(DEFUN |PSETCAT-;rewriteIdealWithRemainder;LSL;26| (|ps| |cs| $)
- (PROG (|p| |rs|)
- (RETURN
- (SEQ (COND
- ((SPADCALL |cs| (|getShellEntry| $ 87)) |ps|)
- ((SPADCALL |cs| (|getShellEntry| $ 88))
- (LIST (|spadConstant| $ 89)))
- ('T
- (SEQ (LETT |ps|
- (SPADCALL (ELT $ 47) |ps|
- (|getShellEntry| $ 26))
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (EXIT (COND
- ((NULL |ps|) |ps|)
- ((SPADCALL (ELT $ 24) |ps|
- (|getShellEntry| $ 49))
- (LIST (|spadConstant| $ 90)))
- ('T
- (SEQ (LETT |rs| NIL
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (SEQ G190
- (COND
- ((NULL (NOT (NULL |ps|)))
- (GO G191)))
- (SEQ
- (LETT |p| (|SPADfirst| |ps|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (LETT |ps| (CDR |ps|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (LETT |p|
- (QVELT
- (SPADCALL |p| |cs|
- (|getShellEntry| $ 94))
- 1)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (EXIT
- (COND
- ((NOT
- (SPADCALL |p|
- (|getShellEntry| $ 47)))
- (COND
- ((SPADCALL |p|
- (|getShellEntry| $ 24))
- (SEQ
- (LETT |ps| NIL
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- (EXIT
- (LETT |rs|
- (LIST
- (|spadConstant| $ 90))
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|))))
- ('T
- (LETT |rs|
- (CONS
- (SPADCALL |p|
- (|getShellEntry| $ 95))
- |rs|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)))))))
- NIL (GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |rs|
- (|getShellEntry| $ 92))))))))))))))
-
-(DEFUN |PolynomialSetCategory&| (|#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=(|PolynomialSetCategory&|))
- (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 '|PolynomialSetCategory&| |dv$1| |dv$2| |dv$3|
- |dv$4| |dv$5|) . #0#)
- (LETT $ (|newShell| 97) . #0#)
- (|setShellEntry| $ 0 |dv$|)
- (|setShellEntry| $ 3
- (LETT |pv$|
- (|buildPredVector| 0 0
- (LIST (|HasCategory| |#2| '(|IntegralDomain|)))) . #0#))
- (|stuffDomainSlots| $)
- (|setShellEntry| $ 6 |#1|)
- (|setShellEntry| $ 7 |#2|)
- (|setShellEntry| $ 8 |#3|)
- (|setShellEntry| $ 9 |#4|)
- (|setShellEntry| $ 10 |#5|)
- (COND
- ((|testBitVector| |pv$| 1)
- (PROGN
- (|setShellEntry| $ 54
- (CONS (|dispatchFunction|
- |PSETCAT-;roughUnitIdeal?;SB;16|)
- $))
- (|setShellEntry| $ 58
- (CONS (|dispatchFunction| |PSETCAT-;roughBase?;SB;18|)
- $))
- (|setShellEntry| $ 60
- (CONS (|dispatchFunction|
- |PSETCAT-;roughSubIdeal?;2SB;19|)
- $))
- (|setShellEntry| $ 63
- (CONS (|dispatchFunction|
- |PSETCAT-;roughEqualIdeals?;2SB;20|)
- $)))))
- (COND
- ((|HasCategory| |#2| '(|GcdDomain|))
- (COND
- ((|HasCategory| |#4| '(|ConvertibleTo| (|Symbol|)))
- (PROGN
- (|setShellEntry| $ 79
- (CONS (|dispatchFunction|
- |PSETCAT-;headRemainder;PSR;22|)
- $))
- (|setShellEntry| $ 86
- (CONS (|dispatchFunction|
- |PSETCAT-;remainder;PSR;24|)
- $))
- (|setShellEntry| $ 93
- (CONS (|dispatchFunction|
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
- $))
- (|setShellEntry| $ 96
- (CONS (|dispatchFunction|
- |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
- $)))))))
- $))))
-
-(MAKEPROP '|PolynomialSetCategory&| '|infovec|
- (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
- (|local| |#3|) (|local| |#4|) (|local| |#5|) (|List| 10)
- (0 . |members|) (|List| 9) (5 . |variables|) (|Boolean|)
- (10 . <) (|List| $) (16 . |concat|)
- (21 . |removeDuplicates|) (|Mapping| 15 9 9) (26 . |sort|)
- (32 . |mvar|) |PSETCAT-;variables;SL;4| (37 . |ground?|)
- (|Mapping| 15 10) (42 . |remove|)
- |PSETCAT-;mainVariables;SL;5| (48 . |empty?|)
- (53 . |false|) (57 . |first|) (62 . =) (68 . |rest|)
- |PSETCAT-;mainVariable?;VarSetSB;6| (73 . |cons|)
- (79 . |construct|) |PSETCAT-;collectUnder;SVarSetS;7|
- |PSETCAT-;collectUpper;SVarSetS;8|
- |PSETCAT-;collect;SVarSetS;9|
- (|Record| (|:| |under| $) (|:| |floor| $) (|:| |upper| $))
- |PSETCAT-;sort;SVarSetR;10| (|Set| 10) (84 . |brace|)
- (89 . =) |PSETCAT-;=;2SB;11| (95 . |degree|) (100 . <)
- (106 . |zero?|) (111 . |true|) (115 . |any?|)
- (|Mapping| 15 10 10) (121 . |sort|)
- |PSETCAT-;triangular?;SB;14|
- |PSETCAT-;trivialIdeal?;SB;15| (127 . |roughUnitIdeal?|)
- (132 . |sup|) (138 . +) (144 . =) (150 . |roughBase?|)
- (155 . |rewriteIdealWithRemainder|)
- (161 . |roughSubIdeal?|) (167 . =)
- (173 . |roughSubIdeal?|) (179 . |roughEqualIdeals?|)
- (185 . |quo|) (|Union| $ '"failed") (191 . |exquo|)
- (197 . |One|) (201 . |reductum|) (206 . |reverse|)
- (211 . |subtractIfCan|) (217 . |leadingCoefficient|)
- (222 . |gcd|) (228 . *) (234 . |monomial|) (240 . *)
- (246 . -) (252 . *)
- (|Record| (|:| |num| 10) (|:| |den| 7))
- (258 . |headRemainder|) (264 . |gcd|) (270 . |one?|)
- (275 . |exactQuotient!|) (281 . |headRemainder|) (287 . +)
- (|Record| (|:| |rnum| 7) (|:| |polnum| 10) (|:| |den| 7))
- (293 . |remainder|) (299 . |trivialIdeal?|)
- (304 . |roughUnitIdeal?|) (309 . |Zero|) (313 . |One|)
- (317 . |primitivePart!|) (322 . |removeDuplicates|)
- (327 . |rewriteIdealWithHeadRemainder|)
- (333 . |remainder|) (339 . |unitCanonical|)
- (344 . |rewriteIdealWithRemainder|))
- '#(|variables| 350 |trivialIdeal?| 355 |triangular?| 360
- |sort| 365 |roughUnitIdeal?| 371 |roughSubIdeal?| 376
- |roughEqualIdeals?| 382 |roughBase?| 388
- |rewriteIdealWithRemainder| 393
- |rewriteIdealWithHeadRemainder| 399 |remainder| 405
- |mainVariables| 411 |mainVariable?| 416 |headRemainder|
- 422 |collectUpper| 428 |collectUnder| 434 |collect| 440 =
- 446)
- 'NIL
- (CONS (|makeByteWordVec2| 1 'NIL)
- (CONS '#()
- (CONS '#()
- (|makeByteWordVec2| 96
- '(1 6 11 0 12 1 10 13 0 14 2 9 15 0 0
- 16 1 13 0 17 18 1 13 0 0 19 2 13 0 20
- 0 21 1 10 9 0 22 1 10 15 0 24 2 11 0
- 25 0 26 1 11 15 0 28 0 15 0 29 1 11
- 10 0 30 2 9 15 0 0 31 1 11 0 0 32 2
- 11 0 10 0 34 1 6 0 11 35 1 41 0 11 42
- 2 41 15 0 0 43 1 10 8 0 45 2 8 15 0 0
- 46 1 10 15 0 47 0 15 0 48 2 11 15 25
- 0 49 2 11 0 50 0 51 1 0 15 0 54 2 8 0
- 0 0 55 2 8 0 0 0 56 2 8 15 0 0 57 1 0
- 15 0 58 2 6 11 11 0 59 2 0 15 0 0 60
- 2 6 15 0 0 61 2 6 15 0 0 62 2 0 15 0
- 0 63 2 7 0 0 0 64 2 7 65 0 0 66 0 7 0
- 67 1 10 0 0 68 1 11 0 0 69 2 8 65 0 0
- 70 1 10 7 0 71 2 7 0 0 0 72 2 10 0 7
- 0 73 2 10 0 7 8 74 2 10 0 0 0 75 2 10
- 0 0 0 76 2 7 0 0 0 77 2 0 78 10 0 79
- 2 10 7 7 0 80 1 7 15 0 81 2 10 0 0 7
- 82 2 6 78 10 0 83 2 10 0 0 0 84 2 0
- 85 10 0 86 1 6 15 0 87 1 6 15 0 88 0
- 10 0 89 0 10 0 90 1 10 0 0 91 1 11 0
- 0 92 2 0 11 11 0 93 2 6 85 10 0 94 1
- 10 0 0 95 2 0 11 11 0 96 1 0 13 0 23
- 1 0 15 0 53 1 0 15 0 52 2 0 39 0 9 40
- 1 0 15 0 54 2 0 15 0 0 60 2 0 15 0 0
- 63 1 0 15 0 58 2 0 11 11 0 96 2 0 11
- 11 0 93 2 0 85 10 0 86 1 0 13 0 27 2
- 0 15 9 0 33 2 0 78 10 0 79 2 0 0 0 9
- 37 2 0 0 0 9 36 2 0 0 0 9 38 2 0 15 0
- 0 44)))))
- '|lookupComplete|))
diff --git a/src/algebra/strap/PSETCAT.lsp b/src/algebra/strap/PSETCAT.lsp
deleted file mode 100644
index dd7de5be..00000000
--- a/src/algebra/strap/PSETCAT.lsp
+++ /dev/null
@@ -1,123 +0,0 @@
-
-(/VERSIONCHECK 2)
-
-(DEFPARAMETER |PolynomialSetCategory;CAT| 'NIL)
-
-(DEFPARAMETER |PolynomialSetCategory;AL| 'NIL)
-
-(DEFUN |PolynomialSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
- (PROG (#0=#:G1433)
- (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|)))
- (|sublisV|
- (PAIR '(#1=#:G1432) (LIST '(|List| |t#4|)))
- (COND
- (|PolynomialSetCategory;CAT|)
- ('T
- (LETT |PolynomialSetCategory;CAT|
- (|Join| (|SetCategory|)
- (|Collection| '|t#4|)
- (|CoercibleTo| '#1#)
- (|mkCategory| '|domain|
- '(((|retractIfCan|
- ((|Union| $ "failed")
- (|List| |t#4|)))
- T)
- ((|retract| ($ (|List| |t#4|)))
- T)
- ((|mvar| (|t#3| $)) T)
- ((|variables|
- ((|List| |t#3|) $))
- T)
- ((|mainVariables|
- ((|List| |t#3|) $))
- T)
- ((|mainVariable?|
- ((|Boolean|) |t#3| $))
- T)
- ((|collectUnder| ($ $ |t#3|))
- T)
- ((|collect| ($ $ |t#3|)) T)
- ((|collectUpper| ($ $ |t#3|))
- T)
- ((|sort|
- ((|Record| (|:| |under| $)
- (|:| |floor| $)
- (|:| |upper| $))
- $ |t#3|))
- T)
- ((|trivialIdeal?|
- ((|Boolean|) $))
- T)
- ((|roughBase?| ((|Boolean|) $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|roughSubIdeal?|
- ((|Boolean|) $ $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|roughEqualIdeals?|
- ((|Boolean|) $ $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|roughUnitIdeal?|
- ((|Boolean|) $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|headRemainder|
- ((|Record| (|:| |num| |t#4|)
- (|:| |den| |t#1|))
- |t#4| $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|remainder|
- ((|Record| (|:| |rnum| |t#1|)
- (|:| |polnum| |t#4|)
- (|:| |den| |t#1|))
- |t#4| $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|rewriteIdealWithHeadRemainder|
- ((|List| |t#4|)
- (|List| |t#4|) $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|rewriteIdealWithRemainder|
- ((|List| |t#4|)
- (|List| |t#4|) $))
- (|has| |t#1|
- (|IntegralDomain|)))
- ((|triangular?|
- ((|Boolean|) $))
- (|has| |t#1|
- (|IntegralDomain|))))
- '((|finiteAggregate| T))
- '((|Boolean|) (|List| |t#4|)
- (|List| |t#3|))
- NIL))
- . #2=(|PolynomialSetCategory|)))))) . #2#)
- (|setShellEntry| #0# 0
- (LIST '|PolynomialSetCategory| (|devaluate| |t#1|)
- (|devaluate| |t#2|) (|devaluate| |t#3|)
- (|devaluate| |t#4|)))))))
-
-(DEFUN |PolynomialSetCategory| (&REST #0=#:G1436 &AUX #1=#:G1434)
- (DSETQ #1# #0#)
- (LET (#2=#:G1435)
- (COND
- ((SETQ #2#
- (|assoc| (|devaluateList| #1#) |PolynomialSetCategory;AL|))
- (CDR #2#))
- (T (SETQ |PolynomialSetCategory;AL|
- (|cons5| (CONS (|devaluateList| #1#)
- (SETQ #2#
- (APPLY #'|PolynomialSetCategory;|
- #1#)))
- |PolynomialSetCategory;AL|))
- #2#))))
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-24 12:44:29 +0000