aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/FFIELDC-.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/FFIELDC-.lsp')
-rw-r--r--src/algebra/strap/FFIELDC-.lsp133
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|))
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-06 19:11:56 +0000