aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/polset.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-15 07:09:19 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-15 07:09:19 +0000
commit128d66db542368fd7abe54cc10427b0225c91862 (patch)
tree8413aff9eb64bc82c314012d6cac5749a63a9c8a /src/algebra/polset.spad.pamphlet
parent6accabaa7cc78e6b8d2301d364f89a89aa6261af (diff)
downloadopen-axiom-128d66db542368fd7abe54cc10427b0225c91862.tar.gz
* algebra/polset.spad.pamphlet (exactQuo$PSETCAT-): Don't
conditionally define as local function. Update cached Lisp translation.
Diffstat (limited to 'src/algebra/polset.spad.pamphlet')
-rw-r--r--src/algebra/polset.spad.pamphlet149
1 files changed, 72 insertions, 77 deletions
diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet
index 14527801..60afd780 100644
--- a/src/algebra/polset.spad.pamphlet
+++ b/src/algebra/polset.spad.pamphlet
@@ -198,8 +198,6 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_
ps1 = ps2 ==
{p for p in elements(ps1)} =$(Set P) {p for p in elements(ps2)}
- exactQuo : (R,R) -> R
-
localInf? (p:P,q:P):B ==
degree(p) <$E degree(q)
@@ -260,13 +258,9 @@ PolynomialSetCategory(R:Ring, E:OrderedAbelianMonoidSup,_
LPR ==> List Polynomial R
LS ==> List Symbol
- if R has EuclideanDomain
- then
- exactQuo(r:R,s:R):R ==
- r quo$R s
- else
- exactQuo(r:R,s:R):R ==
- (r exquo$R s)::R
+ exactQuo(r:R,s:R):R ==
+ if R has EuclideanDomain then r quo$R s
+ else (r exquo$R s)::R
headRemainder (a,ps) ==
lp1 : List(P) := remove(zero?, elements(ps))$(List(P))
@@ -884,23 +878,24 @@ Note that this code is not included in the generated catdef.spad file.
('T 'NIL)))
(DEFUN |PSETCAT-;exactQuo| (|r| |s| $)
- (SPADCALL |r| |s| (QREFELT $ 59)))
-
-(DEFUN |PSETCAT-;exactQuo| (|r| |s| $)
- (PROG (#0=#:G1504)
+ (PROG (#0=#:G1503)
(RETURN
- (PROG2 (LETT #0# (SPADCALL |r| |s| (QREFELT $ 61))
- |PSETCAT-;exactQuo|)
- (QCDR #0#)
- (|check-union| (QEQCAR #0# 0) (QREFELT $ 7) #0#)))))
-
-(DEFUN |PSETCAT-;headRemainder;PSR;23| (|a| |ps| $)
- (PROG (|lp1| |p| |e| |g| |#G47| |#G48| |lca| |lcp| |r| |lp2|)
+ (COND
+ ((|HasCategory| (QREFELT $ 7) '(|EuclideanDomain|))
+ (SPADCALL |r| |s| (QREFELT $ 59)))
+ ('T
+ (PROG2 (LETT #0# (SPADCALL |r| |s| (QREFELT $ 61))
+ |PSETCAT-;exactQuo|)
+ (QCDR #0#)
+ (|check-union| (QEQCAR #0# 0) (QREFELT $ 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 $ 43) (|PSETCAT-;elements| |ps| $)
(QREFELT $ 26))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(EXIT (COND
((NULL |lp1|) (CONS |a| (|spadConstant| $ 62)))
((SPADCALL (ELT $ 24) |lp1| (QREFELT $ 44))
@@ -908,7 +903,7 @@ Note that this code is not included in the generated catdef.spad file.
(|spadConstant| $ 62)))
('T
(SEQ (LETT |r| (|spadConstant| $ 62)
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(LETT |lp1|
(SPADCALL
(CONS
@@ -917,9 +912,9 @@ Note that this code is not included in the generated catdef.spad file.
(REVERSE
(|PSETCAT-;elements| |ps| $))
(QREFELT $ 46))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(LETT |lp2| |lp1|
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(SEQ G190
(COND
((NULL (COND
@@ -930,13 +925,13 @@ Note that this code is not included in the generated catdef.spad file.
(QREFELT $ 29)))))
(GO G191)))
(SEQ (LETT |p| (|SPADfirst| |lp2|)
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(LETT |e|
(SPADCALL
(SPADCALL |a| (QREFELT $ 41))
(SPADCALL |p| (QREFELT $ 41))
(QREFELT $ 64))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(EXIT
(COND
((QEQCAR |e| 0)
@@ -946,26 +941,26 @@ Note that this code is not included in the generated catdef.spad file.
(LETT |lca|
(SPADCALL |a|
(QREFELT $ 65))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(LETT |lcp|
(SPADCALL |p|
(QREFELT $ 65))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(QREFELT $ 66))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(PROGN
- (LETT |#G47|
+ (LETT |#G45|
(|PSETCAT-;exactQuo| |lca|
|g| $)
- |PSETCAT-;headRemainder;PSR;23|)
- (LETT |#G48|
+ |PSETCAT-;headRemainder;PSR;22|)
+ (LETT |#G46|
(|PSETCAT-;exactQuo| |lcp|
|g| $)
- |PSETCAT-;headRemainder;PSR;23|)
- (LETT |lca| |#G47|
- |PSETCAT-;headRemainder;PSR;23|)
- (LETT |lcp| |#G48|
- |PSETCAT-;headRemainder;PSR;23|))
+ |PSETCAT-;headRemainder;PSR;22|)
+ (LETT |lca| |#G45|
+ |PSETCAT-;headRemainder;PSR;22|)
+ (LETT |lcp| |#G46|
+ |PSETCAT-;headRemainder;PSR;22|))
(LETT |a|
(SPADCALL
(SPADCALL |lcp|
@@ -979,17 +974,17 @@ Note that this code is not included in the generated catdef.spad file.
(QREFELT $ 63))
(QREFELT $ 69))
(QREFELT $ 70))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(LETT |r|
(SPADCALL |r| |lcp|
(QREFELT $ 71))
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
(EXIT
(LETT |lp2| |lp1|
- |PSETCAT-;headRemainder;PSR;23|))))
+ |PSETCAT-;headRemainder;PSR;22|))))
('T
(LETT |lp2| (CDR |lp2|)
- |PSETCAT-;headRemainder;PSR;23|)))))
+ |PSETCAT-;headRemainder;PSR;22|)))))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (CONS |a| |r|))))))))))
@@ -1015,15 +1010,15 @@ Note that this code is not included in the generated catdef.spad file.
(QCDR |frac|))
(EXIT |frac|)))))))))
-(DEFUN |PSETCAT-;remainder;PSR;25| (|a| |ps| $)
+(DEFUN |PSETCAT-;remainder;PSR;24| (|a| |ps| $)
(PROG (|hRa| |r| |lca| |g| |b| |c|)
(RETURN
(SEQ (LETT |hRa|
(|PSETCAT-;makeIrreducible!|
(SPADCALL |a| |ps| (QREFELT $ 78)) $)
- |PSETCAT-;remainder;PSR;25|)
- (LETT |a| (QCAR |hRa|) |PSETCAT-;remainder;PSR;25|)
- (LETT |r| (QCDR |hRa|) |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
+ (LETT |a| (QCAR |hRa|) |PSETCAT-;remainder;PSR;24|)
+ (LETT |r| (QCDR |hRa|) |PSETCAT-;remainder;PSR;24|)
(EXIT (COND
((SPADCALL |a| (QREFELT $ 43))
(VECTOR (|spadConstant| $ 62) |a| |r|))
@@ -1032,16 +1027,16 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL (|spadConstant| $ 62)
(SPADCALL |a| (QREFELT $ 41))
(QREFELT $ 68))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(LETT |c| (SPADCALL |a| (QREFELT $ 65))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(SEQ G190
(COND
((NULL (SPADCALL
(SPADCALL
(LETT |a|
(SPADCALL |a| (QREFELT $ 63))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(QREFELT $ 43))
(QREFELT $ 29)))
(GO G191)))
@@ -1049,20 +1044,20 @@ Note that this code is not included in the generated catdef.spad file.
(|PSETCAT-;makeIrreducible!|
(SPADCALL |a| |ps| (QREFELT $ 78))
$)
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(LETT |a| (QCAR |hRa|)
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(LETT |r|
(SPADCALL |r| (QCDR |hRa|)
(QREFELT $ 71))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(LETT |g|
(SPADCALL |c|
(LETT |lca|
(SPADCALL |a| (QREFELT $ 65))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(QREFELT $ 66))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(LETT |b|
(SPADCALL
(SPADCALL
@@ -1075,14 +1070,14 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL |a| (QREFELT $ 41))
(QREFELT $ 68))
(QREFELT $ 79))
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
(EXIT
(LETT |c| |g|
- |PSETCAT-;remainder;PSR;25|)))
+ |PSETCAT-;remainder;PSR;24|)))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (VECTOR |c| |b| |r|))))))))))
-(DEFUN |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26| (|ps| |cs| $)
+(DEFUN |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25| (|ps| |cs| $)
(PROG (|p| |rs|)
(RETURN
(SEQ (COND
@@ -1091,14 +1086,14 @@ Note that this code is not included in the generated catdef.spad file.
(LIST (|spadConstant| $ 84)))
('T
(SEQ (LETT |ps| (SPADCALL (ELT $ 43) |ps| (QREFELT $ 26))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(EXIT (COND
((NULL |ps|) |ps|)
((SPADCALL (ELT $ 24) |ps| (QREFELT $ 44))
(LIST (|spadConstant| $ 75)))
('T
(SEQ (LETT |rs| NIL
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(SEQ G190
(COND
((NULL
@@ -1107,14 +1102,14 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ
(LETT |p| (|SPADfirst| |ps|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(LETT |ps| (CDR |ps|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(LETT |p|
(QCAR
(SPADCALL |p| |cs|
(QREFELT $ 78)))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(EXIT
(COND
((NULL
@@ -1125,12 +1120,12 @@ Note that this code is not included in the generated catdef.spad file.
(QREFELT $ 24))
(SEQ
(LETT |ps| NIL
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
(EXIT
(LETT |rs|
(LIST
(|spadConstant| $ 75))
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|))))
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|))))
('T
(SEQ
(SPADCALL |p|
@@ -1138,11 +1133,11 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT
(LETT |rs|
(CONS |p| |rs|)
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)))))))))
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)))))))))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (SPADCALL |rs| (QREFELT $ 86))))))))))))))
-(DEFUN |PSETCAT-;rewriteIdealWithRemainder;LSL;27| (|ps| |cs| $)
+(DEFUN |PSETCAT-;rewriteIdealWithRemainder;LSL;26| (|ps| |cs| $)
(PROG (|p| |rs|)
(RETURN
(SEQ (COND
@@ -1151,14 +1146,14 @@ Note that this code is not included in the generated catdef.spad file.
(LIST (|spadConstant| $ 84)))
('T
(SEQ (LETT |ps| (SPADCALL (ELT $ 43) |ps| (QREFELT $ 26))
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(EXIT (COND
((NULL |ps|) |ps|)
((SPADCALL (ELT $ 24) |ps| (QREFELT $ 44))
(LIST (|spadConstant| $ 75)))
('T
(SEQ (LETT |rs| NIL
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(SEQ G190
(COND
((NULL
@@ -1167,15 +1162,15 @@ Note that this code is not included in the generated catdef.spad file.
(GO G191)))
(SEQ
(LETT |p| (|SPADfirst| |ps|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(LETT |ps| (CDR |ps|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(LETT |p|
(QVELT
(SPADCALL |p| |cs|
(QREFELT $ 88))
1)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(EXIT
(COND
((NULL
@@ -1186,19 +1181,19 @@ Note that this code is not included in the generated catdef.spad file.
(QREFELT $ 24))
(SEQ
(LETT |ps| NIL
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
(EXIT
(LETT |rs|
(LIST
(|spadConstant| $ 75))
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|))))
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|))))
('T
(LETT |rs|
(CONS
(SPADCALL |p|
(QREFELT $ 89))
|rs|)
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)))))))
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)))))))
NIL (GO G190) G191 (EXIT NIL))
(EXIT (SPADCALL |rs| (QREFELT $ 86))))))))))))))
@@ -1252,19 +1247,19 @@ Note that this code is not included in the generated catdef.spad file.
(PROGN
(QSETREFV $ 73
(CONS (|dispatchFunction|
- |PSETCAT-;headRemainder;PSR;23|)
+ |PSETCAT-;headRemainder;PSR;22|)
$))
(QSETREFV $ 81
(CONS (|dispatchFunction|
- |PSETCAT-;remainder;PSR;25|)
+ |PSETCAT-;remainder;PSR;24|)
$))
(QSETREFV $ 87
(CONS (|dispatchFunction|
- |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;26|)
+ |PSETCAT-;rewriteIdealWithHeadRemainder;LSL;25|)
$))
(QSETREFV $ 90
(CONS (|dispatchFunction|
- |PSETCAT-;rewriteIdealWithRemainder;LSL;27|)
+ |PSETCAT-;rewriteIdealWithRemainder;LSL;26|)
$)))))))
$))))