aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/POLYCAT-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/POLYCAT-.lsp')
-rw-r--r--src/algebra/strap/POLYCAT-.lsp120
1 files changed, 59 insertions, 61 deletions
diff --git a/src/algebra/strap/POLYCAT-.lsp b/src/algebra/strap/POLYCAT-.lsp
index e3cc7b35..d7bb1719 100644
--- a/src/algebra/strap/POLYCAT-.lsp
+++ b/src/algebra/strap/POLYCAT-.lsp
@@ -896,11 +896,10 @@
(DEFUN |POLYCAT-;conditionP;MU;27| (|mat| $)
(PROG (|ll| #0=#:G1719 |z| #1=#:G1720 |ch| |l| #2=#:G1721 #3=#:G1722
#4=#:G1582 #5=#:G1580 #6=#:G1581 #7=#:G1723 |vars| |degs|
- #8=#:G1724 |d| #9=#:G1725 |nd| #10=#:G1609 #11=#:G1589
- |deg1| |redmons| #12=#:G1726 |v| #13=#:G1728 |u|
- #14=#:G1727 |llR| |monslist| |ans| #15=#:G1610 |mons|
- #16=#:G1729 |m| #17=#:G1730 |i| #18=#:G1605 #19=#:G1603
- #20=#:G1604)
+ #8=#:G1724 |d| #9=#:G1725 |nd| #10=#:G1608 |deg1|
+ |redmons| #11=#:G1726 |v| #12=#:G1728 |u| #13=#:G1727
+ |llR| |monslist| |ans| #14=#:G1609 |mons| #15=#:G1729 |m|
+ #16=#:G1730 |i| #17=#:G1604 #18=#:G1602 #19=#:G1603)
(RETURN
(SEQ (EXIT (SEQ (LETT |ll|
(SPADCALL
@@ -1051,14 +1050,13 @@
|POLYCAT-;conditionP;MU;27|)
(GO #10#)))
('T
- (PROG1
- (LETT #11#
- (QCDR |nd|)
- |POLYCAT-;conditionP;MU;27|)
+ (LET
+ ((#20=#:G1611
+ (QCDR |nd|)))
(|check-subtype|
- (>= #11# 0)
+ (>= #20# 0)
'(|NonNegativeInteger|)
- #11#))))))
+ #20#))))))
#8#)
|POLYCAT-;conditionP;MU;27|)))
(LETT #9# (CDR #9#)
@@ -1076,33 +1074,33 @@
(EXIT
(LETT |llR|
(PROGN
- (LETT #12# NIL
+ (LETT #11# NIL
|POLYCAT-;conditionP;MU;27|)
(SEQ
(LETT |v| NIL
|POLYCAT-;conditionP;MU;27|)
- (LETT #13# |llR|
+ (LETT #12# |llR|
|POLYCAT-;conditionP;MU;27|)
(LETT |u| NIL
|POLYCAT-;conditionP;MU;27|)
- (LETT #14# |l|
+ (LETT #13# |l|
|POLYCAT-;conditionP;MU;27|)
G190
(COND
- ((OR (ATOM #14#)
+ ((OR (ATOM #13#)
(PROGN
- (LETT |u| (CAR #14#)
+ (LETT |u| (CAR #13#)
|POLYCAT-;conditionP;MU;27|)
NIL)
- (ATOM #13#)
+ (ATOM #12#)
(PROGN
- (LETT |v| (CAR #13#)
+ (LETT |v| (CAR #12#)
|POLYCAT-;conditionP;MU;27|)
NIL))
(GO G191)))
(SEQ
(EXIT
- (LETT #12#
+ (LETT #11#
(CONS
(CONS
(SPADCALL
@@ -1113,15 +1111,15 @@
(|getShellEntry| $
175))
|v|)
- #12#)
+ #11#)
|POLYCAT-;conditionP;MU;27|)))
- (LETT #14#
- (PROG1 (CDR #14#)
- (LETT #13# (CDR #13#)
+ (LETT #13#
+ (PROG1 (CDR #13#)
+ (LETT #12# (CDR #12#)
|POLYCAT-;conditionP;MU;27|))
|POLYCAT-;conditionP;MU;27|)
(GO G190) G191
- (EXIT (NREVERSE0 #12#))))
+ (EXIT (NREVERSE0 #11#))))
|POLYCAT-;conditionP;MU;27|)))
(LETT #7# (CDR #7#)
|POLYCAT-;conditionP;MU;27|)
@@ -1148,51 +1146,51 @@
(EXIT
(CONS 0
(LET
- ((#21=#:G1611
+ ((#21=#:G1610
(|makeSimpleArray|
(|getVMType|
(|getShellEntry| $ 6))
(SIZE |monslist|))))
(SEQ
- (LETT #15# 0
+ (LETT #14# 0
|POLYCAT-;conditionP;MU;27|)
(LETT |mons| NIL
|POLYCAT-;conditionP;MU;27|)
- (LETT #16# |monslist|
+ (LETT #15# |monslist|
|POLYCAT-;conditionP;MU;27|)
G190
(COND
- ((OR (ATOM #16#)
+ ((OR (ATOM #15#)
(PROGN
- (LETT |mons| (CAR #16#)
+ (LETT |mons| (CAR #15#)
|POLYCAT-;conditionP;MU;27|)
NIL))
(GO G191)))
(SEQ
(EXIT
(|setSimpleArrayEntry| #21#
- #15#
+ #14#
(PROGN
- (LETT #20# NIL
+ (LETT #19# NIL
|POLYCAT-;conditionP;MU;27|)
(SEQ
(LETT |m| NIL
|POLYCAT-;conditionP;MU;27|)
- (LETT #17# |mons|
+ (LETT #16# |mons|
|POLYCAT-;conditionP;MU;27|)
G190
(COND
- ((OR (ATOM #17#)
+ ((OR (ATOM #16#)
(PROGN
(LETT |m|
- (CAR #17#)
+ (CAR #16#)
|POLYCAT-;conditionP;MU;27|)
NIL))
(GO G191)))
(SEQ
(EXIT
(PROGN
- (LETT #18#
+ (LETT #17#
(SPADCALL |m|
(SPADCALL
(SPADCALL
@@ -1208,30 +1206,30 @@
182))
|POLYCAT-;conditionP;MU;27|)
(COND
- (#20#
- (LETT #19#
- (SPADCALL #19#
- #18#
+ (#19#
+ (LETT #18#
+ (SPADCALL #18#
+ #17#
(|getShellEntry|
$ 183))
|POLYCAT-;conditionP;MU;27|))
('T
(PROGN
- (LETT #19# #18#
+ (LETT #18# #17#
|POLYCAT-;conditionP;MU;27|)
- (LETT #20# 'T
+ (LETT #19# 'T
|POLYCAT-;conditionP;MU;27|)))))))
- (LETT #17# (CDR #17#)
+ (LETT #16# (CDR #16#)
|POLYCAT-;conditionP;MU;27|)
(GO G190) G191
(EXIT NIL))
(COND
- (#20# #19#)
+ (#19# #18#)
('T
(|spadConstant| $ 27)))))))
- (LETT #16#
- (PROG1 (CDR #16#)
- (LETT #15# (QSADD1 #15#)
+ (LETT #15#
+ (PROG1 (CDR #15#)
+ (LETT #14# (QSADD1 #14#)
|POLYCAT-;conditionP;MU;27|))
|POLYCAT-;conditionP;MU;27|)
(GO G190) G191 (EXIT NIL))
@@ -1264,7 +1262,7 @@
$))))))))))
(DEFUN |POLYCAT-;charthRootlv| (|p| |vars| |ch| $)
- (PROG (|v| |dd| |cp| |d| #0=#:G1632 |ans| |ansx| #1=#:G1639)
+ (PROG (|v| |dd| |cp| |d| |ans| |ansx| #0=#:G1638)
(RETURN
(SEQ (EXIT (COND
((NULL |vars|)
@@ -1300,9 +1298,9 @@
(COND
((QEQCAR |dd| 1)
(PROGN
- (LETT #1# (CONS 1 "failed")
+ (LETT #0# (CONS 1 "failed")
|POLYCAT-;charthRootlv|)
- (GO #1#)))
+ (GO #0#)))
('T
(SEQ
(LETT |cp|
@@ -1323,10 +1321,10 @@
(COND
((QEQCAR |ansx| 1)
(PROGN
- (LETT #1#
+ (LETT #0#
(CONS 1 "failed")
|POLYCAT-;charthRootlv|)
- (GO #1#)))
+ (GO #0#)))
('T
(SEQ
(LETT |d|
@@ -1338,13 +1336,13 @@
(SPADCALL |ans|
(SPADCALL (QCDR |ansx|)
|v|
- (PROG1
- (LETT #0# (QCDR |dd|)
- |POLYCAT-;charthRootlv|)
+ (LET
+ ((#1=#:G1639
+ (QCDR |dd|)))
(|check-subtype|
- (>= #0# 0)
+ (>= #1# 0)
'(|NonNegativeInteger|)
- #0#))
+ #1#))
(|getShellEntry| $ 47))
(|getShellEntry| $ 183))
|POLYCAT-;charthRootlv|)))))))))))
@@ -1356,18 +1354,18 @@
(EXIT (COND
((QEQCAR |ansx| 1)
(PROGN
- (LETT #1# (CONS 1 "failed")
+ (LETT #0# (CONS 1 "failed")
|POLYCAT-;charthRootlv|)
- (GO #1#)))
+ (GO #0#)))
('T
(PROGN
- (LETT #1#
+ (LETT #0#
(CONS 0
(SPADCALL |ans| (QCDR |ansx|)
(|getShellEntry| $ 183)))
|POLYCAT-;charthRootlv|)
- (GO #1#)))))))))
- #1# (EXIT #1#)))))
+ (GO #0#)))))))))
+ #0# (EXIT #0#)))))
(DEFUN |POLYCAT-;monicDivide;2SVarSetR;30| (|p1| |p2| |mvar| $)
(PROG (|result|)
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 01:33:37 +0000