diff options
Diffstat (limited to 'src/algebra/strap/FFIELDC-.lsp')
-rw-r--r-- | src/algebra/strap/FFIELDC-.lsp | 133 |
1 files changed, 66 insertions, 67 deletions
diff --git a/src/algebra/strap/FFIELDC-.lsp b/src/algebra/strap/FFIELDC-.lsp index 73b5852e..47393a53 100644 --- a/src/algebra/strap/FFIELDC-.lsp +++ b/src/algebra/strap/FFIELDC-.lsp @@ -234,7 +234,7 @@ (SEQ (LETT |faclist| (SPADCALL (|getShellEntry| $ 56)) |FFIELDC-;discreteLog;SNni;11|) (LETT |a| |b| |FFIELDC-;discreteLog;SNni;11|) - (LETT |gen| (SPADCALL (|getShellEntry| $ 67)) + (LETT |gen| (SPADCALL (|getShellEntry| $ 65)) |FFIELDC-;discreteLog;SNni;11|) (EXIT (COND ((SPADCALL |b| |gen| (|getShellEntry| $ 63)) @@ -283,11 +283,11 @@ |FFIELDC-;discreteLog;SNni;11|) (LETT |exptable| (SPADCALL |fac| - (|getShellEntry| $ 69)) + (|getShellEntry| $ 67)) |FFIELDC-;discreteLog;SNni;11|) (LETT |n| (SPADCALL |exptable| - (|getShellEntry| $ 70)) + (|getShellEntry| $ 68)) |FFIELDC-;discreteLog;SNni;11|) (LETT |c| (SPADCALL |a| |exp| @@ -315,7 +315,7 @@ (SPADCALL |c| (|getShellEntry| $ 11)) |exptable| - (|getShellEntry| $ 73)) + (|getShellEntry| $ 71)) |FFIELDC-;discreteLog;SNni;11|) (EXIT (COND @@ -341,7 +341,7 @@ (|getShellEntry| $ 58)) (|getShellEntry| $ - 79)) + 77)) |FFIELDC-;discreteLog;SNni;11|))))) (LETT |i| (QSADD1 |i|) |FFIELDC-;discreteLog;SNni;11|) @@ -364,7 +364,7 @@ (|getShellEntry| $ 58)) (|getShellEntry| $ - 79)) + 77)) |FFIELDC-;discreteLog;SNni;11|)))) ('T (|error| @@ -385,12 +385,12 @@ (SEQ (EXIT (COND ((SPADCALL |b| (|getShellEntry| $ 16)) (SEQ (SPADCALL "discreteLog: logarithm of zero" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 83)) (EXIT (CONS 1 "failed")))) ((SPADCALL |logbase| (|getShellEntry| $ 16)) (SEQ (SPADCALL "discreteLog: logarithm to base zero" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 83)) (EXIT (CONS 1 "failed")))) ((SPADCALL |b| |logbase| (|getShellEntry| $ 63)) (CONS 0 1)) @@ -405,14 +405,14 @@ (|getShellEntry| $ 19))))) (SEQ (SPADCALL "discreteLog: second argument not in cyclic group generated by first argument" - (|getShellEntry| $ 85)) + (|getShellEntry| $ 83)) (EXIT (CONS 1 "failed")))) ('T (SEQ (LETT |faclist| (SPADCALL (SPADCALL |groupord| - (|getShellEntry| $ 89)) - (|getShellEntry| $ 91)) + (|getShellEntry| $ 87)) + (|getShellEntry| $ 89)) |FFIELDC-;discreteLog;2SU;12|) (LETT |a| |b| |FFIELDC-;discreteLog;2SU;12|) @@ -460,7 +460,7 @@ (SPADCALL |a| |exp| (|getShellEntry| $ 58)) |fac| - (|getShellEntry| $ 93)) + (|getShellEntry| $ 91)) |FFIELDC-;discreteLog;2SU;12|) (EXIT (COND @@ -489,7 +489,7 @@ (- |rho|) (|getShellEntry| $ 58)) - (|getShellEntry| $ 79)) + (|getShellEntry| $ 77)) |FFIELDC-;discreteLog;2SU;12|))))))) (LETT |t| (QSADD1 |t|) |FFIELDC-;discreteLog;2SU;12|) @@ -501,25 +501,25 @@ #2# (EXIT #2#))))) (DEFUN |FFIELDC-;squareFreePolynomial| (|f| $) - (SPADCALL |f| (|getShellEntry| $ 98))) + (SPADCALL |f| (|getShellEntry| $ 96))) (DEFUN |FFIELDC-;factorPolynomial| (|f| $) - (SPADCALL |f| (|getShellEntry| $ 100))) + (SPADCALL |f| (|getShellEntry| $ 98))) (DEFUN |FFIELDC-;factorSquareFreePolynomial| (|f| $) (PROG (|flist| |u| #0=#:G1519 #1=#:G1508 #2=#:G1506 #3=#:G1507) (RETURN (SEQ (COND - ((SPADCALL |f| (|spadConstant| $ 101) - (|getShellEntry| $ 102)) - (|spadConstant| $ 103)) + ((SPADCALL |f| (|spadConstant| $ 99) + (|getShellEntry| $ 100)) + (|spadConstant| $ 101)) ('T (SEQ (LETT |flist| - (SPADCALL |f| T (|getShellEntry| $ 107)) + (SPADCALL |f| T (|getShellEntry| $ 105)) |FFIELDC-;factorSquareFreePolynomial|) (EXIT (SPADCALL (SPADCALL (QCAR |flist|) - (|getShellEntry| $ 108)) + (|getShellEntry| $ 106)) (PROGN (LETT #3# NIL |FFIELDC-;factorSquareFreePolynomial|) @@ -538,13 +538,13 @@ (PROGN (LETT #1# (SPADCALL (QCAR |u|) (QCDR |u|) - (|getShellEntry| $ 109)) + (|getShellEntry| $ 107)) |FFIELDC-;factorSquareFreePolynomial|) (COND (#3# (LETT #2# (SPADCALL #2# #1# - (|getShellEntry| $ 110)) + (|getShellEntry| $ 108)) |FFIELDC-;factorSquareFreePolynomial|)) ('T (PROGN @@ -557,11 +557,11 @@ (GO G190) G191 (EXIT NIL)) (COND (#3# #2#) - ('T (|spadConstant| $ 111)))) - (|getShellEntry| $ 112)))))))))) + ('T (|spadConstant| $ 109)))) + (|getShellEntry| $ 110)))))))))) (DEFUN |FFIELDC-;gcdPolynomial;3Sup;16| (|f| |g| $) - (SPADCALL |f| |g| (|getShellEntry| $ 114))) + (SPADCALL |f| |g| (|getShellEntry| $ 112))) (DEFUN |FiniteFieldCategory&| (|#1|) (PROG (|dv$1| |dv$| $ |pv$|) @@ -569,7 +569,7 @@ (PROGN (LETT |dv$1| (|devaluate| |#1|) . #0=(|FiniteFieldCategory&|)) (LETT |dv$| (LIST '|FiniteFieldCategory&| |dv$1|) . #0#) - (LETT $ (|newShell| 117) . #0#) + (LETT $ (|newShell| 115) . #0#) (|setShellEntry| $ 0 |dv$|) (|setShellEntry| $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) @@ -602,38 +602,37 @@ (|List| 54) (122 . |factorsOfCyclicGroupSize|) (126 . |quo|) (132 . **) (138 . |one?|) |FFIELDC-;primitive?;SB;9| (143 . |Zero|) (147 . |Zero|) - (151 . =) (|SingleInteger|) (157 . |Zero|) - |FFIELDC-;order;SPi;10| (161 . |primitiveElement|) - (|Table| 10 39) (165 . |tableForDiscreteLogarithm|) - (170 . |#|) (175 . |One|) (|Union| 39 '"failed") - (179 . |search|) (185 . |true|) (189 . *) (195 . +) - (201 . *) (207 . -) (212 . *) (218 . +) - |FFIELDC-;discreteLog;SNni;11| (|Void|) (|String|) - (|OutputForm|) (224 . |messagePrint|) (229 . |rem|) - (235 . |zero?|) (|Factored| $) (240 . |factor|) - (|Factored| 20) (245 . |factors|) + (151 . =) |FFIELDC-;order;SPi;10| + (157 . |primitiveElement|) (|Table| 10 39) + (161 . |tableForDiscreteLogarithm|) (166 . |#|) + (171 . |One|) (|Union| 39 '"failed") (175 . |search|) + (181 . |true|) (185 . *) (191 . +) (197 . *) (203 . -) + (208 . *) (214 . +) |FFIELDC-;discreteLog;SNni;11| + (|Void|) (|String|) (|OutputForm|) (220 . |messagePrint|) + (225 . |rem|) (231 . |zero?|) (|Factored| $) + (236 . |factor|) (|Factored| 20) (241 . |factors|) (|DiscreteLogarithmPackage| 6) - (250 . |shanksDiscLogAlgorithm|) + (246 . |shanksDiscLogAlgorithm|) |FFIELDC-;discreteLog;2SU;12| - (|SparseUnivariatePolynomial| 6) (|Factored| 95) - (|UnivariatePolynomialSquareFree| 6 95) - (257 . |squareFree|) (|DistinctDegreeFactorize| 6 95) - (262 . |factor|) (267 . |Zero|) (271 . =) (277 . |Zero|) - (|Record| (|:| |irr| 95) (|:| |pow| 20)) (|List| 104) - (|Record| (|:| |cont| 6) (|:| |factors| 105)) - (281 . |distdfact|) (287 . |coerce|) (292 . |primeFactor|) - (298 . *) (304 . |One|) (308 . *) (|EuclideanDomain&| 95) - (314 . |gcd|) (|SparseUnivariatePolynomial| $) + (|SparseUnivariatePolynomial| 6) (|Factored| 93) + (|UnivariatePolynomialSquareFree| 6 93) + (253 . |squareFree|) (|DistinctDegreeFactorize| 6 93) + (258 . |factor|) (263 . |Zero|) (267 . =) (273 . |Zero|) + (|Record| (|:| |irr| 93) (|:| |pow| 20)) (|List| 102) + (|Record| (|:| |cont| 6) (|:| |factors| 103)) + (277 . |distdfact|) (283 . |coerce|) (288 . |primeFactor|) + (294 . *) (300 . |One|) (304 . *) (|EuclideanDomain&| 93) + (310 . |gcd|) (|SparseUnivariatePolynomial| $) |FFIELDC-;gcdPolynomial;3Sup;16|) - '#(|primitive?| 320 |order| 325 |nextItem| 335 |init| 340 - |gcdPolynomial| 344 |discreteLog| 350 |differentiate| 361 - |createPrimitiveElement| 366 |conditionP| 370 |charthRoot| - 375) + '#(|primitive?| 316 |order| 321 |nextItem| 331 |init| 336 + |gcdPolynomial| 340 |discreteLog| 346 |differentiate| 357 + |createPrimitiveElement| 362 |conditionP| 366 |charthRoot| + 371) 'NIL (CONS (|makeByteWordVec2| 1 'NIL) (CONS '#() (CONS '#() - (|makeByteWordVec2| 116 + (|makeByteWordVec2| 114 '(0 6 0 7 1 6 10 0 11 0 10 0 12 2 10 0 0 0 13 1 6 0 10 14 1 6 15 0 16 1 6 10 0 19 1 21 0 20 22 1 26 25 0 27 1 25 @@ -644,20 +643,20 @@ 0 15 0 50 1 15 0 0 51 2 10 15 0 0 52 0 6 55 56 2 20 0 0 0 57 2 6 0 0 20 58 1 6 15 0 59 0 39 0 61 0 20 0 62 2 6 - 15 0 0 63 0 64 0 65 0 6 0 67 1 6 68 - 20 69 1 68 39 0 70 0 39 0 71 2 68 72 - 10 0 73 0 15 0 74 2 39 0 39 0 75 2 39 - 0 0 0 76 2 20 0 20 0 77 1 20 0 0 78 2 - 6 0 0 0 79 2 20 0 0 0 80 1 84 82 83 - 85 2 39 0 0 0 86 1 39 15 0 87 1 20 88 - 0 89 1 90 55 0 91 3 92 72 6 6 39 93 1 - 97 96 95 98 1 99 96 95 100 0 95 0 101 - 2 95 15 0 0 102 0 96 0 103 2 99 106 - 95 15 107 1 95 0 6 108 2 96 0 95 20 - 109 2 96 0 0 0 110 0 96 0 111 2 96 0 - 95 0 112 2 113 0 0 0 114 1 0 15 0 60 - 1 0 10 0 66 1 0 21 0 23 1 0 17 0 18 0 - 0 0 9 2 0 115 115 115 116 1 0 39 0 81 - 2 0 72 0 0 94 1 0 0 0 8 0 0 0 53 1 0 - 36 37 38 1 0 0 0 44 1 0 17 0 45))))) + 15 0 0 63 0 6 0 65 1 6 66 20 67 1 66 + 39 0 68 0 39 0 69 2 66 70 10 0 71 0 + 15 0 72 2 39 0 39 0 73 2 39 0 0 0 74 + 2 20 0 20 0 75 1 20 0 0 76 2 6 0 0 0 + 77 2 20 0 0 0 78 1 82 80 81 83 2 39 0 + 0 0 84 1 39 15 0 85 1 20 86 0 87 1 88 + 55 0 89 3 90 70 6 6 39 91 1 95 94 93 + 96 1 97 94 93 98 0 93 0 99 2 93 15 0 + 0 100 0 94 0 101 2 97 104 93 15 105 1 + 93 0 6 106 2 94 0 93 20 107 2 94 0 0 + 0 108 0 94 0 109 2 94 0 93 0 110 2 + 111 0 0 0 112 1 0 15 0 60 1 0 10 0 64 + 1 0 21 0 23 1 0 17 0 18 0 0 0 9 2 0 + 113 113 113 114 1 0 39 0 79 2 0 70 0 + 0 92 1 0 0 0 8 0 0 0 53 1 0 36 37 38 + 1 0 0 0 44 1 0 17 0 45))))) '|lookupComplete|)) |