1
2(DECLAIM (NOTINLINE |RegularChain;|))
3
4(DEFUN |RegularChain| (&REST #1=#:G432)
5  (SPROG NIL
6         (PROG (#2=#:G433)
7           (RETURN
8            (COND
9             ((LETT #2#
10                    (|lassocShiftWithFunction| (|devaluate_sig| #1# '(T NIL))
11                                               (HGET |$ConstructorCache|
12                                                     '|RegularChain|)
13                                               '|domainEqualList|))
14              (|CDRwithIncrement| #2#))
15             ('T
16              (UNWIND-PROTECT
17                  (PROG1 (APPLY (|function| |RegularChain;|) #1#) (LETT #2# T))
18                (COND
19                 ((NOT #2#) (HREM |$ConstructorCache| '|RegularChain|))))))))))
20
21(DEFUN |RegularChain;| (|#1| |#2|)
22  (SPROG
23   ((#1=#:G431 NIL) (|pv$| NIL) ($ NIL) (|dv$| NIL) (DV$2 NIL) (DV$1 NIL))
24   (PROGN
25    (LETT DV$1 (|devaluate| |#1|))
26    (LETT DV$2 |#2|)
27    (LETT |dv$| (LIST '|RegularChain| DV$1 DV$2))
28    (LETT $ (GETREFV 43))
29    (QSETREFV $ 0 |dv$|)
30    (QSETREFV $ 3
31              (LETT |pv$|
32                    (|buildPredVector| 0 0
33                                       (LIST
34                                        (AND
35                                         (|HasCategory|
36                                          (|NewSparseMultivariatePolynomial|
37                                           |#1| (|OrderedVariableList| |#2|))
38                                          (LIST '|Evalable|
39                                                (LIST
40                                                 '|NewSparseMultivariatePolynomial|
41                                                 (|devaluate| |#1|)
42                                                 (LIST '|OrderedVariableList|
43                                                       (|devaluate| |#2|)))))
44                                         (|HasCategory|
45                                          (|NewSparseMultivariatePolynomial|
46                                           |#1| (|OrderedVariableList| |#2|))
47                                          '(|SetCategory|)))
48                                        (|HasCategory|
49                                         (|NewSparseMultivariatePolynomial|
50                                          |#1| (|OrderedVariableList| |#2|))
51                                         '(|ConvertibleTo| (|InputForm|)))
52                                        (|HasCategory|
53                                         (|NewSparseMultivariatePolynomial|
54                                          |#1| (|OrderedVariableList| |#2|))
55                                         '(|BasicType|))
56                                        (|HasCategory|
57                                         (|NewSparseMultivariatePolynomial|
58                                          |#1| (|OrderedVariableList| |#2|))
59                                         '(|OrderedSet|))
60                                        (|HasCategory| |#1|
61                                                       '(|IntegralDomain|))
62                                        (|HasCategory|
63                                         (|OrderedVariableList| |#2|)
64                                         '(|Finite|))))))
65    (|haddProp| |$ConstructorCache| '|RegularChain| (LIST DV$1 DV$2)
66                (CONS 1 $))
67    (|stuffDomainSlots| $)
68    (QSETREFV $ 6 |#1|)
69    (QSETREFV $ 7 |#2|)
70    (AND (|HasCategory| $ '(|shallowlyMutable|)) (|augmentPredVector| $ 64))
71    (AND (LETT #1# (|HasCategory| $ '(|finiteAggregate|)))
72         (|augmentPredVector| $ 128))
73    (AND #1#
74         (|HasCategory|
75          (|NewSparseMultivariatePolynomial| |#1| (|OrderedVariableList| |#2|))
76          '(|BasicType|))
77         (|augmentPredVector| $ 256))
78    (AND #1#
79         (|HasCategory|
80          (|NewSparseMultivariatePolynomial| |#1| (|OrderedVariableList| |#2|))
81          '(|OrderedSet|))
82         (|augmentPredVector| $ 512))
83    (SETF |pv$| (QREFELT $ 3))
84    $)))
85
86(MAKEPROP '|RegularChain| '|infovec|
87          (LIST
88           '#(NIL NIL NIL NIL NIL
89              (|RegularTriangularSet| 6 (|IndexedExponents| 29) 29 11)
90              (|local| |#1|) (|local| |#2|) (|Equation| 11) (|List| 8)
91              (|List| 11) (|NewSparseMultivariatePolynomial| 6 29) (|Boolean|)
92              (|NonNegativeInteger|) (|Mapping| 11 11 11) (|InputForm|)
93              (|Mapping| 12 11) (|Mapping| 12 11 11) (|Mapping| 11 11)
94              (|Record| (|:| |num| 11) (|:| |den| 6))
95              (|Record| (|:| |rnum| 6) (|:| |polnum| 11) (|:| |den| 6))
96              (|List| $) (|Record| (|:| |val| 11) (|:| |tower| $)) (|List| 22)
97              (|Union| 11 21) (|Union| 12 21)
98              (|Record| (|:| |val| 12) (|:| |tower| $)) (|List| 26)
99              (|Union| $ '#1="failed")
100              (|OrderedVariableList| (NRTEVAL (QREFELT $ 7))) (|Union| 11 '#1#)
101              (|List| 29) (|Record| (|:| |close| $) (|:| |open| 10))
102              (|List| 32) (|Mapping| 12 11 10)
103              (|Record| (|:| |close| 10) (|:| |open| 10))
104              (|Record| (|:| |bas| $) (|:| |top| 10)) (|Union| 36 '#1#)
105              (|Record| (|:| |under| $) (|:| |floor| $) (|:| |upper| $))
106              (|HashState|) (|String|) (|OutputForm|) (|SingleInteger|))
107           '#(~= 0 |zeroSetSplitIntoTriangularSystems| 6 |zeroSetSplit| 11
108              |variables| 29 |trivialIdeal?| 34 |triangular?| 39
109              |stronglyReduced?| 44 |stronglyReduce| 55 |squareFreePart| 61
110              |sort| 67 |size?| 73 |select| 79 |sample| 91 |roughUnitIdeal?| 95
111              |roughSubIdeal?| 100 |roughEqualIdeals?| 106 |roughBase?| 112
112              |rewriteSetWithReduction| 117 |rewriteIdealWithRemainder| 125
113              |rewriteIdealWithHeadRemainder| 131 |retractIfCan| 137 |retract|
114              142 |rest| 147 |removeZero| 152 |removeDuplicates| 158 |remove|
115              163 |remainder| 175 |reduced?| 181 |reduceByQuasiMonic| 188
116              |reduce| 194 |quasiComponent| 223 |purelyTranscendental?| 228
117              |purelyAlgebraicLeadingMonomial?| 234 |purelyAlgebraic?| 240
118              |parts| 251 |normalized?| 256 |mvar| 267 |more?| 272 |min| 278
119              |members| 283 |member?| 288 |max| 294 |map!| 305 |map| 311
120              |mainVariables| 317 |mainVariable?| 322 |less?| 328 |latex| 334
121              |lastSubResultantElseSplit| 339 |lastSubResultant| 346 |last| 353
122              |invertibleSet| 358 |invertibleElseSplit?| 364 |invertible?| 370
123              |intersect| 382 |internalAugment| 406 |initials| 418
124              |initiallyReduced?| 423 |initiallyReduce| 434 |infRittWu?| 440
125              |iexactQuo| 446 |headRemainder| 452 |headReduced?| 458
126              |headReduce| 469 |hashUpdate!| 475 |hash| 481 |first| 486 |find|
127              491 |extendIfCan| 497 |extend| 503 |every?| 533 |eval| 539 |eq?|
128              565 |empty?| 571 |empty| 576 |degree| 580 |count| 585 |copy| 597
129              |convert| 602 |construct| 607 |collectUpper| 612 |collectUnder|
130              618 |collectQuasiMonic| 624 |collect| 629 |coerce| 635 |coHeight|
131              645 |basicSet| 650 |autoReduced?| 663 |augment| 669 |any?| 693
132              |algebraicVariables| 699 |algebraicCoefficients?| 704
133              |algebraic?| 710 = 716 |#| 722)
134           'NIL
135           (CONS (|makeByteWordVec2| 2 '(0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 2))
136                 (CONS
137                  '#(|RegularTriangularSetCategory&| |TriangularSetCategory&|
138                     |PolynomialSetCategory&| |Collection&|
139                     |HomogeneousAggregate&| |SetCategory&| |RetractableFrom&|
140                     |Aggregate&| |Evalable&| |BasicType&| NIL NIL NIL NIL NIL
141                     |InnerEvalable&| NIL)
142                  (CONS
143                   '#((|RegularTriangularSetCategory| 6
144                                                      (|IndexedExponents|
145                                                       (|OrderedVariableList|
146                                                        7))
147                                                      (|OrderedVariableList| 7)
148                                                      (|NewSparseMultivariatePolynomial|
149                                                       6
150                                                       (|OrderedVariableList|
151                                                        7)))
152                      (|TriangularSetCategory| 6
153                                               (|IndexedExponents|
154                                                (|OrderedVariableList| 7))
155                                               (|OrderedVariableList| 7)
156                                               (|NewSparseMultivariatePolynomial|
157                                                6 (|OrderedVariableList| 7)))
158                      (|PolynomialSetCategory| 6
159                                               (|IndexedExponents|
160                                                (|OrderedVariableList| 7))
161                                               (|OrderedVariableList| 7)
162                                               (|NewSparseMultivariatePolynomial|
163                                                6 (|OrderedVariableList| 7)))
164                      (|Collection|
165                       (|NewSparseMultivariatePolynomial| 6
166                                                          (|OrderedVariableList|
167                                                           7)))
168                      (|HomogeneousAggregate|
169                       (|NewSparseMultivariatePolynomial| 6
170                                                          (|OrderedVariableList|
171                                                           7)))
172                      (|SetCategory|)
173                      (|RetractableFrom|
174                       (|List|
175                        (|NewSparseMultivariatePolynomial| 6
176                                                           (|OrderedVariableList|
177                                                            7))))
178                      (|Aggregate|)
179                      (|Evalable|
180                       (|NewSparseMultivariatePolynomial| 6
181                                                          (|OrderedVariableList|
182                                                           7)))
183                      (|BasicType|) (|shallowlyMutable|) (|finiteAggregate|)
184                      (|CoercibleTo|
185                       (|List|
186                        (|NewSparseMultivariatePolynomial| 6
187                                                           (|OrderedVariableList|
188                                                            7))))
189                      (|Type|) (|CoercibleTo| 41)
190                      (|InnerEvalable|
191                       (|NewSparseMultivariatePolynomial| 6
192                                                          (|OrderedVariableList|
193                                                           7))
194                       (|NewSparseMultivariatePolynomial| 6
195                                                          (|OrderedVariableList|
196                                                           7)))
197                      (|ConvertibleTo| 15))
198                   (|makeByteWordVec2| 42
199                                       '(2 0 12 0 0 1 1 0 33 10 1 3 0 21 10 12
200                                         12 1 2 0 21 10 12 1 1 0 21 10 1 1 0 31
201                                         0 1 1 0 12 0 1 1 5 12 0 1 1 0 12 0 1 2
202                                         0 12 11 0 1 2 0 11 11 0 1 2 0 23 11 0
203                                         1 2 0 38 0 29 1 2 0 12 0 13 1 2 8 0 16
204                                         0 1 2 0 30 0 29 1 0 0 0 1 1 5 12 0 1 2
205                                         5 12 0 0 1 2 5 12 0 0 1 1 5 12 0 1 4 0
206                                         10 10 0 14 17 1 2 5 10 10 0 1 2 5 10
207                                         10 0 1 1 0 28 10 1 1 0 0 10 1 1 0 28 0
208                                         1 2 0 11 11 0 1 1 9 0 0 1 2 9 0 11 0 1
209                                         2 8 0 16 0 1 2 5 20 11 0 1 3 0 12 11 0
210                                         17 1 2 0 11 11 0 1 4 9 11 14 0 11 11 1
211                                         3 8 11 14 0 11 1 2 8 11 14 0 1 4 0 11
212                                         11 0 14 17 1 1 0 35 0 1 2 0 12 11 0 1
213                                         2 0 12 11 0 1 1 0 12 0 1 2 0 12 11 0 1
214                                         1 8 10 0 1 2 0 12 11 0 1 1 0 12 0 1 1
215                                         0 29 0 1 2 0 12 0 13 1 1 10 11 0 1 1 8
216                                         10 0 1 2 9 12 11 0 1 1 10 11 0 1 2 8
217                                         11 17 0 1 2 7 0 18 0 1 2 0 0 18 0 1 1
218                                         0 31 0 1 2 0 12 29 0 1 2 0 12 0 13 1 1
219                                         0 40 0 1 3 0 24 11 11 0 1 3 0 23 11 11
220                                         0 1 1 0 30 0 1 2 0 21 11 0 1 2 0 25 11
221                                         0 1 2 0 12 11 0 1 2 0 27 11 0 1 2 0 21
222                                         11 21 1 2 0 21 10 0 1 2 0 21 10 21 1 2
223                                         0 21 11 0 1 2 0 0 10 0 1 2 0 0 11 0 1
224                                         1 0 10 0 1 1 0 12 0 1 2 0 12 11 0 1 2
225                                         0 11 11 0 1 2 0 12 0 0 1 2 5 6 6 6 1 2
226                                         5 19 11 0 1 1 0 12 0 1 2 0 12 11 0 1 2
227                                         0 11 11 0 1 2 0 39 39 0 1 1 0 42 0 1 1
228                                         0 30 0 1 2 0 30 16 0 1 2 0 28 0 11 1 2
229                                         0 21 10 21 1 2 0 21 11 21 1 2 0 21 10
230                                         0 1 2 0 21 11 0 1 2 0 0 0 11 1 2 8 12
231                                         16 0 1 2 1 0 0 8 1 2 1 0 0 9 1 3 1 0 0
232                                         10 10 1 3 1 0 0 11 11 1 2 0 12 0 0 1 1
233                                         0 12 0 1 0 0 0 1 1 0 13 0 1 2 9 13 11
234                                         0 1 2 8 13 16 0 1 1 0 0 0 1 1 2 15 0 1
235                                         1 0 0 10 1 2 0 0 0 29 1 2 0 0 0 29 1 1
236                                         0 0 0 1 2 0 0 0 29 1 1 0 10 0 1 1 0 41
237                                         0 1 1 6 13 0 1 3 0 37 10 16 17 1 2 0
238                                         37 10 17 1 2 0 12 0 34 1 2 0 21 10 21
239                                         1 2 0 21 11 21 1 2 0 21 10 0 1 2 0 21
240                                         11 0 1 2 8 12 16 0 1 1 0 31 0 1 2 0 12
241                                         11 0 1 2 0 12 29 0 1 2 0 12 0 0 1 1 8
242                                         13 0 1)))))
243           '|lookupComplete|))
244