aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ffcat.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-14 02:49:24 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-14 02:49:24 +0000
commitd04a3262a6f4493bd65c45ff73b4d1b8243f47a0 (patch)
tree8b3f5df0e9c1e2474b39073e9785b407597d7285 /src/algebra/ffcat.spad.pamphlet
parent1d44d2feb01bc10dcc8690c4f71a3157b07502bc (diff)
downloadopen-axiom-d04a3262a6f4493bd65c45ff73b4d1b8243f47a0.tar.gz
Update cached Lisp translation.
Diffstat (limited to 'src/algebra/ffcat.spad.pamphlet')
-rw-r--r--src/algebra/ffcat.spad.pamphlet258
1 files changed, 141 insertions, 117 deletions
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet
index 3821e9a5..fa336a5d 100644
--- a/src/algebra/ffcat.spad.pamphlet
+++ b/src/algebra/ffcat.spad.pamphlet
@@ -795,48 +795,50 @@ Note that this code is not included in the generated catdef.spad file.
(COND
((SPADCALL
(LETT |a|
- (SPADCALL (+ (SPADCALL |a| (QREFELT $ 11)) 1)
- (QREFELT $ 12))
+ (SPADCALL (+ (SPADCALL |a| (|getShellEntry| $ 11)) 1)
+ (|getShellEntry| $ 12))
|FFIELDC-;nextItem;SU;3|)
- (QREFELT $ 14))
+ (|getShellEntry| $ 14))
(CONS 1 "failed"))
('T (CONS 0 |a|))))
(DEFUN |FFIELDC-;order;SOpc;4| (|e| $)
- (SPADCALL (SPADCALL |e| (QREFELT $ 17)) (QREFELT $ 20)))
+ (SPADCALL (SPADCALL |e| (|getShellEntry| $ 17))
+ (|getShellEntry| $ 20)))
(DEFUN |FFIELDC-;conditionP;MU;5| (|mat| $)
(PROG (|l|)
(RETURN
- (SEQ (LETT |l| (SPADCALL |mat| (QREFELT $ 24))
+ (SEQ (LETT |l| (SPADCALL |mat| (|getShellEntry| $ 25))
|FFIELDC-;conditionP;MU;5|)
(COND
((OR (NULL |l|)
(SPADCALL (ELT $ 14) (|SPADfirst| |l|)
- (QREFELT $ 27)))
+ (|getShellEntry| $ 27)))
(EXIT (CONS 1 "failed"))))
(EXIT (CONS 0
(SPADCALL (ELT $ 28) (|SPADfirst| |l|)
- (QREFELT $ 30))))))))
+ (|getShellEntry| $ 30))))))))
(DEFUN |FFIELDC-;charthRoot;2S;6| (|x| $)
(SPADCALL |x|
- (QUOTIENT2 (SPADCALL (QREFELT $ 35)) (SPADCALL (QREFELT $ 36)))
- (QREFELT $ 37)))
+ (QUOTIENT2 (SPADCALL (|getShellEntry| $ 36))
+ (SPADCALL (|getShellEntry| $ 37)))
+ (|getShellEntry| $ 38)))
(DEFUN |FFIELDC-;charthRoot;SU;7| (|x| $)
- (CONS 0 (SPADCALL |x| (QREFELT $ 28))))
+ (CONS 0 (SPADCALL |x| (|getShellEntry| $ 28))))
(DEFUN |FFIELDC-;createPrimitiveElement;S;8| ($)
- (PROG (|sm1| |start| |i| #0=#:G1434 |e| |found|)
+ (PROG (|sm1| |start| |i| #0=#:G1441 |e| |found|)
(RETURN
- (SEQ (LETT |sm1| (- (SPADCALL (QREFELT $ 35)) 1)
+ (SEQ (LETT |sm1| (- (SPADCALL (|getShellEntry| $ 36)) 1)
|FFIELDC-;createPrimitiveElement;S;8|)
(LETT |start|
(COND
- ((SPADCALL (SPADCALL (QREFELT $ 42))
- (CONS 1 "polynomial") (QREFELT $ 43))
- (SPADCALL (QREFELT $ 36)))
+ ((SPADCALL (SPADCALL (|getShellEntry| $ 43))
+ (CONS 1 "polynomial") (|getShellEntry| $ 44))
+ (SPADCALL (|getShellEntry| $ 37)))
('T 1))
|FFIELDC-;createPrimitiveElement;S;8|)
(LETT |found| 'NIL |FFIELDC-;createPrimitiveElement;S;8|)
@@ -844,17 +846,19 @@ Note that this code is not included in the generated catdef.spad file.
|FFIELDC-;createPrimitiveElement;S;8|)
G190
(COND
- ((NULL (SPADCALL |found| (QREFELT $ 44))) (GO G191)))
+ ((NULL (SPADCALL |found| (|getShellEntry| $ 45)))
+ (GO G191)))
(SEQ (LETT |e|
(SPADCALL
(PROG1 (LETT #0# |i|
|FFIELDC-;createPrimitiveElement;S;8|)
(|check-subtype| (> #0# 0)
'(|PositiveInteger|) #0#))
- (QREFELT $ 12))
+ (|getShellEntry| $ 12))
|FFIELDC-;createPrimitiveElement;S;8|)
(EXIT (LETT |found|
- (EQL (SPADCALL |e| (QREFELT $ 17))
+ (EQL (SPADCALL |e|
+ (|getShellEntry| $ 17))
|sm1|)
|FFIELDC-;createPrimitiveElement;S;8|)))
(LETT |i| (+ |i| 1)
@@ -863,14 +867,14 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT |e|)))))
(DEFUN |FFIELDC-;primitive?;SB;9| (|a| $)
- (PROG (|explist| |q| |exp| #0=#:G1446 |equalone|)
+ (PROG (|explist| |q| |exp| #0=#:G1453 |equalone|)
(RETURN
(SEQ (COND
- ((SPADCALL |a| (QREFELT $ 14)) 'NIL)
+ ((SPADCALL |a| (|getShellEntry| $ 14)) 'NIL)
('T
- (SEQ (LETT |explist| (SPADCALL (QREFELT $ 48))
+ (SEQ (LETT |explist| (SPADCALL (|getShellEntry| $ 49))
|FFIELDC-;primitive?;SB;9|)
- (LETT |q| (- (SPADCALL (QREFELT $ 35)) 1)
+ (LETT |q| (- (SPADCALL (|getShellEntry| $ 36)) 1)
|FFIELDC-;primitive?;SB;9|)
(LETT |equalone| 'NIL |FFIELDC-;primitive?;SB;9|)
(SEQ (LETT |exp| NIL |FFIELDC-;primitive?;SB;9|)
@@ -883,32 +887,33 @@ Note that this code is not included in the generated catdef.spad file.
|FFIELDC-;primitive?;SB;9|)
NIL)
(NULL (SPADCALL |equalone|
- (QREFELT $ 44))))
+ (|getShellEntry| $ 45))))
(GO G191)))
(SEQ (EXIT (LETT |equalone|
(SPADCALL
(SPADCALL |a|
(QUOTIENT2 |q| (QCAR |exp|))
- (QREFELT $ 49))
- (|spadConstant| $ 40)
- (QREFELT $ 50))
+ (|getShellEntry| $ 50))
+ (|spadConstant| $ 41)
+ (|getShellEntry| $ 51))
|FFIELDC-;primitive?;SB;9|)))
(LETT #0# (CDR #0#) |FFIELDC-;primitive?;SB;9|)
(GO G190) G191 (EXIT NIL))
- (EXIT (SPADCALL |equalone| (QREFELT $ 44))))))))))
+ (EXIT (SPADCALL |equalone| (|getShellEntry| $ 45))))))))))
(DEFUN |FFIELDC-;order;SPi;10| (|e| $)
- (PROG (|lof| |rec| #0=#:G1454 |primeDivisor| |j| #1=#:G1455 |a|
+ (PROG (|lof| |rec| #0=#:G1461 |primeDivisor| |j| #1=#:G1462 |a|
|goon| |ord|)
(RETURN
(SEQ (COND
- ((SPADCALL |e| (|spadConstant| $ 7) (QREFELT $ 50))
+ ((SPADCALL |e| (|spadConstant| $ 7)
+ (|getShellEntry| $ 51))
(|error| "order(0) is not defined "))
('T
- (SEQ (LETT |ord| (- (SPADCALL (QREFELT $ 35)) 1)
+ (SEQ (LETT |ord| (- (SPADCALL (|getShellEntry| $ 36)) 1)
|FFIELDC-;order;SPi;10|)
(LETT |a| 0 |FFIELDC-;order;SPi;10|)
- (LETT |lof| (SPADCALL (QREFELT $ 48))
+ (LETT |lof| (SPADCALL (|getShellEntry| $ 49))
|FFIELDC-;order;SPi;10|)
(SEQ (LETT |rec| NIL |FFIELDC-;order;SPi;10|)
(LETT #0# |lof| |FFIELDC-;order;SPi;10|) G190
@@ -926,9 +931,10 @@ Note that this code is not included in the generated catdef.spad file.
|FFIELDC-;order;SPi;10|)
(LETT |goon|
(SPADCALL
- (SPADCALL |e| |a| (QREFELT $ 49))
- (|spadConstant| $ 40)
- (QREFELT $ 50))
+ (SPADCALL |e| |a|
+ (|getShellEntry| $ 50))
+ (|spadConstant| $ 41)
+ (|getShellEntry| $ 51))
|FFIELDC-;order;SPi;10|)
(SEQ (LETT |j| 0 |FFIELDC-;order;SPi;10|)
(LETT #1# (- (QCDR |rec|) 2)
@@ -948,9 +954,9 @@ Note that this code is not included in the generated catdef.spad file.
(LETT |goon|
(SPADCALL
(SPADCALL |e| |a|
- (QREFELT $ 49))
- (|spadConstant| $ 40)
- (QREFELT $ 50))
+ (|getShellEntry| $ 50))
+ (|spadConstant| $ 41)
+ (|getShellEntry| $ 51))
|FFIELDC-;order;SPi;10|)))
(LETT |j| (QSADD1 |j|)
|FFIELDC-;order;SPi;10|)
@@ -964,28 +970,32 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT |ord|))))))))
(DEFUN |FFIELDC-;discreteLog;SNni;11| (|b| $)
- (PROG (|faclist| |gen| |groupord| |f| #0=#:G1475 |fac| |t| #1=#:G1476
+ (PROG (|faclist| |gen| |groupord| |f| #0=#:G1482 |fac| |t| #1=#:G1483
|exp| |exptable| |n| |end| |i| |rho| |found| |disc1| |c|
|mult| |disclog| |a|)
(RETURN
(SEQ (COND
- ((SPADCALL |b| (QREFELT $ 14))
+ ((SPADCALL |b| (|getShellEntry| $ 14))
(|error| "discreteLog: logarithm of zero"))
('T
- (SEQ (LETT |faclist| (SPADCALL (QREFELT $ 48))
+ (SEQ (LETT |faclist| (SPADCALL (|getShellEntry| $ 49))
|FFIELDC-;discreteLog;SNni;11|)
(LETT |a| |b| |FFIELDC-;discreteLog;SNni;11|)
- (LETT |gen| (SPADCALL (QREFELT $ 53))
+ (LETT |gen| (SPADCALL (|getShellEntry| $ 54))
|FFIELDC-;discreteLog;SNni;11|)
(EXIT (COND
- ((SPADCALL |b| |gen| (QREFELT $ 50)) 1)
+ ((SPADCALL |b| |gen| (|getShellEntry| $ 51))
+ 1)
('T
(SEQ (LETT |disclog| 0
|FFIELDC-;discreteLog;SNni;11|)
(LETT |mult| 1
|FFIELDC-;discreteLog;SNni;11|)
(LETT |groupord|
- (- (SPADCALL (QREFELT $ 35)) 1)
+ (-
+ (SPADCALL
+ (|getShellEntry| $ 36))
+ 1)
|FFIELDC-;discreteLog;SNni;11|)
(LETT |exp| |groupord|
|FFIELDC-;discreteLog;SNni;11|)
@@ -1020,15 +1030,15 @@ Note that this code is not included in the generated catdef.spad file.
|FFIELDC-;discreteLog;SNni;11|)
(LETT |exptable|
(SPADCALL |fac|
- (QREFELT $ 55))
+ (|getShellEntry| $ 56))
|FFIELDC-;discreteLog;SNni;11|)
(LETT |n|
(SPADCALL |exptable|
- (QREFELT $ 56))
+ (|getShellEntry| $ 57))
|FFIELDC-;discreteLog;SNni;11|)
(LETT |c|
(SPADCALL |a| |exp|
- (QREFELT $ 49))
+ (|getShellEntry| $ 50))
|FFIELDC-;discreteLog;SNni;11|)
(LETT |end|
(QUOTIENT2 (- |fac| 1) |n|)
@@ -1046,15 +1056,15 @@ Note that this code is not included in the generated catdef.spad file.
(QSGREATERP |i| |end|)
(NULL
(SPADCALL |found|
- (QREFELT $ 44))))
+ (|getShellEntry| $ 45))))
(GO G191)))
(SEQ
(LETT |rho|
(SPADCALL
(SPADCALL |c|
- (QREFELT $ 11))
+ (|getShellEntry| $ 11))
|exptable|
- (QREFELT $ 58))
+ (|getShellEntry| $ 59))
|FFIELDC-;discreteLog;SNni;11|)
(EXIT
(COND
@@ -1077,8 +1087,10 @@ Note that this code is not included in the generated catdef.spad file.
(QUOTIENT2
|groupord| |fac|)
(- |n|))
- (QREFELT $ 49))
- (QREFELT $ 59))
+ (|getShellEntry| $
+ 50))
+ (|getShellEntry| $
+ 60))
|FFIELDC-;discreteLog;SNni;11|)))))
(LETT |i| (QSADD1 |i|)
|FFIELDC-;discreteLog;SNni;11|)
@@ -1098,8 +1110,10 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL |a|
(SPADCALL |gen|
(- |disc1|)
- (QREFELT $ 49))
- (QREFELT $ 59))
+ (|getShellEntry| $
+ 50))
+ (|getShellEntry| $
+ 60))
|FFIELDC-;discreteLog;SNni;11|))))
('T
(|error|
@@ -1113,39 +1127,41 @@ Note that this code is not included in the generated catdef.spad file.
(EXIT |disclog|))))))))))))
(DEFUN |FFIELDC-;discreteLog;2SU;12| (|logbase| |b| $)
- (PROG (|groupord| |faclist| |f| #0=#:G1494 |fac| |primroot| |t|
- #1=#:G1495 |exp| |rhoHelp| #2=#:G1493 |rho| |disclog|
+ (PROG (|groupord| |faclist| |f| #0=#:G1501 |fac| |primroot| |t|
+ #1=#:G1502 |exp| |rhoHelp| #2=#:G1500 |rho| |disclog|
|mult| |a|)
(RETURN
(SEQ (EXIT (COND
- ((SPADCALL |b| (QREFELT $ 14))
+ ((SPADCALL |b| (|getShellEntry| $ 14))
(SEQ (SPADCALL "discreteLog: logarithm of zero"
- (QREFELT $ 64))
+ (|getShellEntry| $ 65))
(EXIT (CONS 1 "failed"))))
- ((SPADCALL |logbase| (QREFELT $ 14))
+ ((SPADCALL |logbase| (|getShellEntry| $ 14))
(SEQ (SPADCALL
"discreteLog: logarithm to base zero"
- (QREFELT $ 64))
+ (|getShellEntry| $ 65))
(EXIT (CONS 1 "failed"))))
- ((SPADCALL |b| |logbase| (QREFELT $ 50)) (CONS 0 1))
+ ((SPADCALL |b| |logbase| (|getShellEntry| $ 51))
+ (CONS 0 1))
('T
(COND
((NULL (ZEROP (REMAINDER2
(LETT |groupord|
(SPADCALL |logbase|
- (QREFELT $ 17))
+ (|getShellEntry| $ 17))
|FFIELDC-;discreteLog;2SU;12|)
- (SPADCALL |b| (QREFELT $ 17)))))
+ (SPADCALL |b|
+ (|getShellEntry| $ 17)))))
(SEQ (SPADCALL
"discreteLog: second argument not in cyclic group generated by first argument"
- (QREFELT $ 64))
+ (|getShellEntry| $ 65))
(EXIT (CONS 1 "failed"))))
('T
(SEQ (LETT |faclist|
(SPADCALL
(SPADCALL |groupord|
- (QREFELT $ 66))
- (QREFELT $ 68))
+ (|getShellEntry| $ 67))
+ (|getShellEntry| $ 69))
|FFIELDC-;discreteLog;2SU;12|)
(LETT |a| |b|
|FFIELDC-;discreteLog;2SU;12|)
@@ -1172,7 +1188,7 @@ Note that this code is not included in the generated catdef.spad file.
(LETT |primroot|
(SPADCALL |logbase|
(QUOTIENT2 |groupord| |fac|)
- (QREFELT $ 49))
+ (|getShellEntry| $ 50))
|FFIELDC-;discreteLog;2SU;12|)
(EXIT
(SEQ
@@ -1191,8 +1207,9 @@ Note that this code is not included in the generated catdef.spad file.
(LETT |rhoHelp|
(SPADCALL |primroot|
(SPADCALL |a| |exp|
- (QREFELT $ 49))
- |fac| (QREFELT $ 70))
+ (|getShellEntry| $ 50))
+ |fac|
+ (|getShellEntry| $ 71))
|FFIELDC-;discreteLog;2SU;12|)
(EXIT
(COND
@@ -1219,8 +1236,9 @@ Note that this code is not included in the generated catdef.spad file.
(SPADCALL |a|
(SPADCALL |logbase|
(- |rho|)
- (QREFELT $ 49))
- (QREFELT $ 59))
+ (|getShellEntry| $
+ 50))
+ (|getShellEntry| $ 60))
|FFIELDC-;discreteLog;2SU;12|)))))))
(LETT |t| (QSADD1 |t|)
|FFIELDC-;discreteLog;2SU;12|)
@@ -1232,22 +1250,25 @@ Note that this code is not included in the generated catdef.spad file.
#2# (EXIT #2#)))))
(DEFUN |FFIELDC-;squareFreePolynomial| (|f| $)
- (SPADCALL |f| (QREFELT $ 75)))
+ (SPADCALL |f| (|getShellEntry| $ 76)))
(DEFUN |FFIELDC-;factorPolynomial| (|f| $)
- (SPADCALL |f| (QREFELT $ 77)))
+ (SPADCALL |f| (|getShellEntry| $ 78)))
(DEFUN |FFIELDC-;factorSquareFreePolynomial| (|f| $)
- (PROG (|flist| |u| #0=#:G1507 #1=#:G1504 #2=#:G1502 #3=#:G1503)
+ (PROG (|flist| |u| #0=#:G1515 #1=#:G1512 #2=#:G1510 #3=#:G1511)
(RETURN
(SEQ (COND
- ((SPADCALL |f| (|spadConstant| $ 78) (QREFELT $ 79))
- (|spadConstant| $ 80))
+ ((SPADCALL |f| (|spadConstant| $ 79)
+ (|getShellEntry| $ 80))
+ (|spadConstant| $ 81))
('T
- (SEQ (LETT |flist| (SPADCALL |f| 'T (QREFELT $ 83))
+ (SEQ (LETT |flist|
+ (SPADCALL |f| 'T (|getShellEntry| $ 85))
|FFIELDC-;factorSquareFreePolynomial|)
(EXIT (SPADCALL
- (SPADCALL (QCAR |flist|) (QREFELT $ 84))
+ (SPADCALL (QCAR |flist|)
+ (|getShellEntry| $ 86))
(PROGN
(LETT #3# NIL
|FFIELDC-;factorSquareFreePolynomial|)
@@ -1268,13 +1289,14 @@ Note that this code is not included in the generated catdef.spad file.
(PROGN
(LETT #1#
(SPADCALL (QCAR |u|)
- (QCDR |u|) (QREFELT $ 85))
+ (QCDR |u|)
+ (|getShellEntry| $ 87))
|FFIELDC-;factorSquareFreePolynomial|)
(COND
(#3#
(LETT #2#
(SPADCALL #2# #1#
- (QREFELT $ 86))
+ (|getShellEntry| $ 88))
|FFIELDC-;factorSquareFreePolynomial|))
('T
(PROGN
@@ -1287,11 +1309,11 @@ Note that this code is not included in the generated catdef.spad file.
(GO G190) G191 (EXIT NIL))
(COND
(#3# #2#)
- ('T (|spadConstant| $ 87))))
- (QREFELT $ 88))))))))))
+ ('T (|spadConstant| $ 89))))
+ (|getShellEntry| $ 90))))))))))
(DEFUN |FFIELDC-;gcdPolynomial;3Sup;16| (|f| |g| $)
- (SPADCALL |f| |g| (QREFELT $ 90)))
+ (SPADCALL |f| |g| (|getShellEntry| $ 92)))
(DEFUN |FiniteFieldCategory&| (|#1|)
(PROG (|dv$1| |dv$| $ |pv$|)
@@ -1299,11 +1321,12 @@ Note that this code is not included in the generated catdef.spad file.
(PROGN
(LETT |dv$1| (|devaluate| |#1|) . #0=(|FiniteFieldCategory&|))
(LETT |dv$| (LIST '|FiniteFieldCategory&| |dv$1|) . #0#)
- (LETT $ (GETREFV 93) . #0#)
- (QSETREFV $ 0 |dv$|)
- (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
+ (LETT $ (|newShell| 95) . #0#)
+ (|setShellEntry| $ 0 |dv$|)
+ (|setShellEntry| $ 3
+ (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
(|stuffDomainSlots| $)
- (QSETREFV $ 6 |#1|)
+ (|setShellEntry| $ 6 |#1|)
$))))
(MAKEPROP '|FiniteFieldCategory&| '|infovec|
@@ -1313,35 +1336,36 @@ Note that this code is not included in the generated catdef.spad file.
(|Boolean|) (14 . |zero?|) (|Union| $ '"failed")
|FFIELDC-;nextItem;SU;3| (19 . |order|) (|Integer|)
(|OnePointCompletion| 10) (24 . |coerce|)
- |FFIELDC-;order;SOpc;4| (|List| 26) (|Matrix| 6)
- (29 . |nullSpace|) (|Mapping| 13 6) (|Vector| 6)
+ |FFIELDC-;order;SOpc;4| (|Vector| 6) (|List| 22)
+ (|Matrix| 6) (29 . |nullSpace|) (|Mapping| 13 6)
(34 . |every?|) (40 . |charthRoot|) (|Mapping| 6 6)
- (45 . |map|) (|Union| (|Vector| $) '"failed") (|Matrix| $)
- |FFIELDC-;conditionP;MU;5| (|NonNegativeInteger|)
- (51 . |size|) (55 . |characteristic|) (59 . **)
+ (45 . |map|) (|Vector| $) (|Union| 31 '"failed")
+ (|Matrix| $) |FFIELDC-;conditionP;MU;5|
+ (|NonNegativeInteger|) (51 . |size|)
+ (55 . |characteristic|) (59 . **)
|FFIELDC-;charthRoot;2S;6| |FFIELDC-;charthRoot;SU;7|
(65 . |One|)
(|Union| '"prime" '"polynomial" '"normal" '"cyclic")
(69 . |representationType|) (73 . =) (79 . |not|)
|FFIELDC-;createPrimitiveElement;S;8|
(|Record| (|:| |factor| 18) (|:| |exponent| 18))
- (|List| 46) (84 . |factorsOfCyclicGroupSize|) (88 . **)
+ (|List| 47) (84 . |factorsOfCyclicGroupSize|) (88 . **)
(94 . =) |FFIELDC-;primitive?;SB;9|
|FFIELDC-;order;SPi;10| (100 . |primitiveElement|)
- (|Table| 10 34) (104 . |tableForDiscreteLogarithm|)
- (109 . |#|) (|Union| 34 '"failed") (114 . |search|)
+ (|Table| 10 35) (104 . |tableForDiscreteLogarithm|)
+ (109 . |#|) (|Union| 35 '"failed") (114 . |search|)
(120 . *) |FFIELDC-;discreteLog;SNni;11| (|Void|)
(|String|) (|OutputForm|) (126 . |messagePrint|)
(|Factored| $) (131 . |factor|) (|Factored| 18)
(136 . |factors|) (|DiscreteLogarithmPackage| 6)
(141 . |shanksDiscLogAlgorithm|)
- |FFIELDC-;discreteLog;2SU;12| (|Factored| 73)
- (|SparseUnivariatePolynomial| 6)
+ |FFIELDC-;discreteLog;2SU;12|
+ (|SparseUnivariatePolynomial| 6) (|Factored| 73)
(|UnivariatePolynomialSquareFree| 6 73)
(148 . |squareFree|) (|DistinctDegreeFactorize| 6 73)
(153 . |factor|) (158 . |Zero|) (162 . =) (168 . |Zero|)
- (|Record| (|:| |irr| 73) (|:| |pow| 18))
- (|Record| (|:| |cont| 6) (|:| |factors| (|List| 81)))
+ (|Record| (|:| |irr| 73) (|:| |pow| 18)) (|List| 82)
+ (|Record| (|:| |cont| 6) (|:| |factors| 83))
(172 . |distdfact|) (178 . |coerce|) (183 . |primeFactor|)
(189 . *) (195 . |One|) (199 . *) (|EuclideanDomain&| 73)
(205 . |gcd|) (|SparseUnivariatePolynomial| $)
@@ -1354,26 +1378,26 @@ Note that this code is not included in the generated catdef.spad file.
(CONS (|makeByteWordVec2| 1 'NIL)
(CONS '#()
(CONS '#()
- (|makeByteWordVec2| 92
+ (|makeByteWordVec2| 94
'(0 6 0 7 1 6 10 0 11 1 6 0 10 12 1 6
- 13 0 14 1 6 10 0 17 1 19 0 18 20 1 23
- 22 0 24 2 26 13 25 0 27 1 6 0 0 28 2
- 26 0 29 0 30 0 6 34 35 0 6 34 36 2 6
- 0 0 34 37 0 6 0 40 0 6 41 42 2 41 13
- 0 0 43 1 13 0 0 44 0 6 47 48 2 6 0 0
- 18 49 2 6 13 0 0 50 0 6 0 53 1 6 54
- 18 55 1 54 34 0 56 2 54 57 10 0 58 2
- 6 0 0 0 59 1 63 61 62 64 1 18 65 0 66
- 1 67 47 0 68 3 69 57 6 6 34 70 1 74
- 72 73 75 1 76 72 73 77 0 73 0 78 2 73
- 13 0 0 79 0 72 0 80 2 76 82 73 13 83
- 1 73 0 6 84 2 72 0 73 18 85 2 72 0 0
- 0 86 0 72 0 87 2 72 0 73 0 88 2 89 0
- 0 0 90 1 0 13 0 51 1 0 10 0 52 1 0 19
- 0 21 1 0 15 0 16 0 0 0 9 2 0 91 91 91
- 92 1 0 34 0 60 2 0 57 0 0 71 1 0 0 0
- 8 0 0 0 45 1 0 31 32 33 1 0 0 0 38 1
- 0 15 0 39)))))
+ 13 0 14 1 6 10 0 17 1 19 0 18 20 1 24
+ 23 0 25 2 22 13 26 0 27 1 6 0 0 28 2
+ 22 0 29 0 30 0 6 35 36 0 6 35 37 2 6
+ 0 0 35 38 0 6 0 41 0 6 42 43 2 42 13
+ 0 0 44 1 13 0 0 45 0 6 48 49 2 6 0 0
+ 18 50 2 6 13 0 0 51 0 6 0 54 1 6 55
+ 18 56 1 55 35 0 57 2 55 58 10 0 59 2
+ 6 0 0 0 60 1 64 62 63 65 1 18 66 0 67
+ 1 68 48 0 69 3 70 58 6 6 35 71 1 75
+ 74 73 76 1 77 74 73 78 0 73 0 79 2 73
+ 13 0 0 80 0 74 0 81 2 77 84 73 13 85
+ 1 73 0 6 86 2 74 0 73 18 87 2 74 0 0
+ 0 88 0 74 0 89 2 74 0 73 0 90 2 91 0
+ 0 0 92 1 0 13 0 52 1 0 10 0 53 1 0 19
+ 0 21 1 0 15 0 16 0 0 0 9 2 0 93 93 93
+ 94 1 0 35 0 61 2 0 58 0 0 72 1 0 0 0
+ 8 0 0 0 46 1 0 32 33 34 1 0 0 0 39 1
+ 0 15 0 40)))))
'|lookupComplete|))
@
\section{package FFSLPE FiniteFieldSolveLinearPolynomialEquation}
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-23 12:21:14 +0000