blob: 9b7237a5b7168dfd938d95c07cb087d207a3a9c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
(/VERSIONCHECK 2)
(DEFPARAMETER |FiniteFieldCategory;AL| 'NIL)
(DEFUN |FiniteFieldCategory;| ()
(LET ((#0=#:G1405
(|Join| (|FieldOfPrimeCharacteristic|) (|Finite|)
(|StepThrough|) (|DifferentialRing|)
(|mkCategory| '|domain|
'(((|charthRoot| ($ $)) T)
((|conditionP|
((|Union| (|Vector| $) "failed")
(|Matrix| $)))
T)
((|factorsOfCyclicGroupSize|
((|List| (|Record|
(|:| |factor| (|Integer|))
(|:| |exponent| (|Integer|))))))
T)
((|tableForDiscreteLogarithm|
((|Table| (|PositiveInteger|)
(|NonNegativeInteger|))
(|Integer|)))
T)
((|createPrimitiveElement| ($)) T)
((|primitiveElement| ($)) T)
((|primitive?| ((|Boolean|) $)) T)
((|discreteLog| ((|NonNegativeInteger|) $))
T)
((|order| ((|PositiveInteger|) $)) T)
((|representationType|
((|Union| "prime" "polynomial" "normal"
"cyclic")))
T))
NIL
'((|PositiveInteger|) (|NonNegativeInteger|)
(|Boolean|)
(|Table| (|PositiveInteger|)
(|NonNegativeInteger|))
(|Integer|)
(|List| (|Record| (|:| |factor| (|Integer|))
(|:| |exponent| (|Integer|))))
(|Matrix| $))
NIL))))
(|setShellEntry| #0# 0 '(|FiniteFieldCategory|))
#0#))
(DEFUN |FiniteFieldCategory| ()
(COND
(|FiniteFieldCategory;AL|)
(T (SETQ |FiniteFieldCategory;AL| (|FiniteFieldCategory;|)))))
(MAKEPROP '|FiniteFieldCategory| 'NILADIC T)
|
