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