CoCalc -- code.lsp

build open-axiom
open-axiom-build / src / algebra / ACF.NRLIB / code.lsp
⁵⁴⁵⁴⁶ views
1

2
(DEFPARAMETER |AlgebraicallyClosedField;AL| NIL) 
3

4
(DEFUN |AlgebraicallyClosedField;| ()
5
  (LET ((#1=#:G553
6
         (|Join| (|Field|) (|RadicalCategory|)
7
                 (|mkCategory| '|domain|
8
                               '(((|rootOf| ($ (|Polynomial| $))) T)
9
                                 ((|rootOf|
10
                                   ($ (|SparseUnivariatePolynomial| $)))
11
                                  T)
12
                                 ((|rootOf|
13
                                   ($ (|SparseUnivariatePolynomial| $)
14
                                    (|Symbol|)))
15
                                  T)
16
                                 ((|rootsOf| ((|List| $) (|Polynomial| $))) T)
17
                                 ((|rootsOf|
18
                                   ((|List| $)
19
                                    (|SparseUnivariatePolynomial| $)))
20
                                  T)
21
                                 ((|rootsOf|
22
                                   ((|List| $) (|SparseUnivariatePolynomial| $)
23
                                    (|Symbol|)))
24
                                  T)
25
                                 ((|zeroOf| ($ (|Polynomial| $))) T)
26
                                 ((|zeroOf|
27
                                   ($ (|SparseUnivariatePolynomial| $)))
28
                                  T)
29
                                 ((|zeroOf|
30
                                   ($ (|SparseUnivariatePolynomial| $)
31
                                    (|Symbol|)))
32
                                  T)
33
                                 ((|zerosOf| ((|List| $) (|Polynomial| $))) T)
34
                                 ((|zerosOf|
35
                                   ((|List| $)
36
                                    (|SparseUnivariatePolynomial| $)))
37
                                  T)
38
                                 ((|zerosOf|
39
                                   ((|List| $) (|SparseUnivariatePolynomial| $)
40
                                    (|Symbol|)))
41
                                  T))
42
                               NIL
43
                               '((|List| $) (|SparseUnivariatePolynomial| $)
44
                                 (|Symbol|) (|Polynomial| $))
45
                               NIL))))
46
    (PROGN (SETF (|shellEntry| #1# 0) '(|AlgebraicallyClosedField|)) #1#))) 
47

48
(DEFUN |AlgebraicallyClosedField| ()
49
  (COND (|AlgebraicallyClosedField;AL|)
50
        (T (SETQ |AlgebraicallyClosedField;AL| (|AlgebraicallyClosedField;|))))) 
51

52
(SETF (|dbConstructorDefault| (|constructorDB| '|AlgebraicallyClosedField|))
53
        '|AlgebraicallyClosedField&|) 
54

55
(SETF (|dbConstructorForm| (|constructorDB| '|AlgebraicallyClosedField|))
56
        '(|AlgebraicallyClosedField|)) 
57

58
(SETF (|dbConstructorKind| (|constructorDB| '|AlgebraicallyClosedField|))
59
        '|category|) 
60

61
(SETF (|dbConstructorModemap| (|constructorDB| '|AlgebraicallyClosedField|))
62
        '(((|AlgebraicallyClosedField|) (|Category|))
63
          (T |AlgebraicallyClosedField|))) 
64

65
(SETF (|dbDualSignature| (|constructorDB| '|AlgebraicallyClosedField|)) '(T)) 
66

67
(SETF (|dbCategory| (|constructorDB| '|AlgebraicallyClosedField|))
68
        '(|Join| (|Field|) (|RadicalCategory|)
69
                 (CATEGORY |domain| (SIGNATURE |rootOf| ($ (|Polynomial| $)))
70
                  (SIGNATURE |rootOf| ($ (|SparseUnivariatePolynomial| $)))
71
                  (SIGNATURE |rootOf|
72
                   ($ (|SparseUnivariatePolynomial| $) (|Symbol|)))
73
                  (SIGNATURE |rootsOf| ((|List| $) (|Polynomial| $)))
74
                  (SIGNATURE |rootsOf|
75
                   ((|List| $) (|SparseUnivariatePolynomial| $)))
76
                  (SIGNATURE |rootsOf|
77
                   ((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))
78
                  (SIGNATURE |zeroOf| ($ (|Polynomial| $)))
79
                  (SIGNATURE |zeroOf| ($ (|SparseUnivariatePolynomial| $)))
80
                  (SIGNATURE |zeroOf|
81
                   ($ (|SparseUnivariatePolynomial| $) (|Symbol|)))
82
                  (SIGNATURE |zerosOf| ((|List| $) (|Polynomial| $)))
83
                  (SIGNATURE |zerosOf|
84
                   ((|List| $) (|SparseUnivariatePolynomial| $)))
85
                  (SIGNATURE |zerosOf|
86
                   ((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)))))) 
87

88
(SETF (|dbSourceFile| (|constructorDB| '|AlgebraicallyClosedField|))
89
        '"algfunc.spad") 
90

91
(SETF (|dbModemaps| (|constructorDB| '|AlgebraicallyClosedField|))
92
        '((|rootOf| (*1 *1 *2)
93
           (AND (|isDomain| *2 (|Polynomial| *1))
94
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
95
          (|rootOf| (*1 *1 *2)
96
           (AND (|isDomain| *2 (|SparseUnivariatePolynomial| *1))
97
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
98
          (|rootOf| (*1 *1 *2 *3)
99
           (AND (|isDomain| *2 (|SparseUnivariatePolynomial| *1))
100
                (|isDomain| *3 (|Symbol|))
101
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
102
          (|rootsOf| (*1 *2 *3)
103
           (AND (|isDomain| *3 (|Polynomial| *1))
104
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
105
                (|isDomain| *2 (|List| *1))))
106
          (|rootsOf| (*1 *2 *3)
107
           (AND (|isDomain| *3 (|SparseUnivariatePolynomial| *1))
108
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
109
                (|isDomain| *2 (|List| *1))))
110
          (|rootsOf| (*1 *2 *3 *4)
111
           (AND (|isDomain| *3 (|SparseUnivariatePolynomial| *1))
112
                (|isDomain| *4 (|Symbol|))
113
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
114
                (|isDomain| *2 (|List| *1))))
115
          (|zeroOf| (*1 *1 *2)
116
           (AND (|isDomain| *2 (|Polynomial| *1))
117
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
118
          (|zeroOf| (*1 *1 *2)
119
           (AND (|isDomain| *2 (|SparseUnivariatePolynomial| *1))
120
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
121
          (|zeroOf| (*1 *1 *2 *3)
122
           (AND (|isDomain| *2 (|SparseUnivariatePolynomial| *1))
123
                (|isDomain| *3 (|Symbol|))
124
                (|ofCategory| *1 (|AlgebraicallyClosedField|))))
125
          (|zerosOf| (*1 *2 *3)
126
           (AND (|isDomain| *3 (|Polynomial| *1))
127
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
128
                (|isDomain| *2 (|List| *1))))
129
          (|zerosOf| (*1 *2 *3)
130
           (AND (|isDomain| *3 (|SparseUnivariatePolynomial| *1))
131
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
132
                (|isDomain| *2 (|List| *1))))
133
          (|zerosOf| (*1 *2 *3 *4)
134
           (AND (|isDomain| *3 (|SparseUnivariatePolynomial| *1))
135
                (|isDomain| *4 (|Symbol|))
136
                (|ofCategory| *1 (|AlgebraicallyClosedField|))
137
                (|isDomain| *2 (|List| *1)))))) 
138

139
(SETF (|dbOperations| (|constructorDB| '|AlgebraicallyClosedField|))
140
        '((~= (#1=((|Boolean|) $ $) 7 T ELT))
141
          (|zerosOf| (((|List| $) (|Polynomial| $)) 99 T ELT)
142
           (((|List| $) (|SparseUnivariatePolynomial| $)) 98 T ELT)
143
           (((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 97 T ELT))
144
          (|zeroOf| (($ (|Polynomial| $)) 102 T ELT)
145
           (($ (|SparseUnivariatePolynomial| $)) 101 T ELT)
146
           (($ (|SparseUnivariatePolynomial| $) (|Symbol|)) 100 T ELT))
147
          (|zero?| ((#2=(|Boolean|) $) 22 T ELT))
148
          (|unitNormal|
149
           (((|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
150
             $)
151
            56 T ELT))
152
          (|unitCanonical| (($ $) 55 T ELT))
153
          (|unit?| ((#3=(|Boolean|) $) 53 T ELT))
154
          (|subtractIfCan| (((|Maybe| $) $ $) 26 T ELT))
155
          (|squareFreePart| (($ $) 92 T ELT))
156
          (|squareFree| (#4=((|Factored| $) $) 91 T ELT))
157
          (|sqrt| (($ $) 111 T ELT)) (|sizeLess?| (((|Boolean|) $ $) 76 T ELT))
158
          (|sample| (#5=($) 23 T CONST))
159
          (|rootsOf| (((|List| $) (|Polynomial| $)) 105 T ELT)
160
           (((|List| $) (|SparseUnivariatePolynomial| $)) 104 T ELT)
161
           (((|List| $) (|SparseUnivariatePolynomial| $) (|Symbol|)) 103 T
162
            ELT))
163
          (|rootOf| (($ (|Polynomial| $)) 108 T ELT)
164
           (($ (|SparseUnivariatePolynomial| $)) 107 T ELT)
165
           (($ (|SparseUnivariatePolynomial| $) (|Symbol|)) 106 T ELT))
166
          (|rem| (#6=($ $ $) 72 T ELT))
167
          (|recip| (((|Union| $ "failed") $) 43 T ELT)) (|quo| (#6# 73 T ELT))
168
          (|principalIdeal|
169
           (((|Record| (|:| |coef| #7=(|List| $)) (|:| |generator| $)) #7#) 67
170
            T ELT))
171
          (|prime?| (((|Boolean|) $) 90 T ELT))
172
          (|opposite?| ((#2# $ $) 20 T ELT))
173
          (|one?| (((|Boolean|) $) 45 T ELT))
174
          (|nthRoot| (($ $ #8=(|Integer|)) 110 T ELT))
175
          (|multiEuclidean|
176
           (((|Union| #9=(|List| $) #10="failed") #9# $) 69 T ELT))
177
          (|lcm| (#11=($ $ $) 61 T ELT) (#12=($ (|List| $)) 60 T ELT))
178
          (|latex| (((|String|) $) 11 T ELT)) (|inv| (($ $) 89 T ELT))
179
          (|hash| (((|SingleInteger|) $) 12 T ELT))
180
          (|gcdPolynomial|
181
           ((#13=(|SparseUnivariatePolynomial| $) #13# #13#) 59 T ELT))
182
          (|gcd| (#11# 63 T ELT) (#12# 62 T ELT)) (|factor| (#4# 93 T ELT))
183
          (|extendedEuclidean|
184
           (((|Record| #14=(|:| |coef1| $) #15=(|:| |coef2| $)
185
                       (|:| |generator| $))
186
             $ $)
187
            71 T ELT)
188
           (((|Union| (|Record| #14# #15#) #10#) $ $ $) 70 T ELT))
189
          (|exquo| (((|Union| $ "failed") $ $) 57 T ELT))
190
          (|expressIdealMember| (((|Maybe| #7#) #7# $) 66 T ELT))
191
          (|euclideanSize| (((|NonNegativeInteger|) $) 75 T ELT))
192
          (|divide|
193
           (((|Record| (|:| |quotient| $) (|:| |remainder| $)) $ $) 74 T ELT))
194
          (|coerce| (((|OutputForm|) $) 13 T ELT) (($ (|Integer|)) 42 T ELT)
195
                    (($ $) 58 T ELT)
196
                    (($ #16=(|Fraction| #17=(|Integer|))) 85 T ELT))
197
          (|characteristic| (((|NonNegativeInteger|)) 41 T CONST))
198
          (|before?| (#1# 6 T ELT)) (|associates?| ((#3# $ $) 54 T ELT))
199
          (|annihilate?| (((|Boolean|) $ $) 34 T ELT))
200
          (|Zero| (#5# 24 T CONST)) (|One| (($) 46 T CONST)) (= (#1# 8 T ELT))
201
          (/ (($ $ $) 84 T ELT)) (- (($ $) 30 T ELT) (($ $ $) 29 T ELT))
202
          (+ (($ $ $) 18 T ELT))
203
          (** (($ $ (|PositiveInteger|)) 36 T ELT)
204
           (($ $ (|NonNegativeInteger|)) 44 T ELT) (($ $ #17#) 88 T ELT)
205
           (($ $ (|Fraction| #8#)) 109 T ELT))
206
          (* (($ (|PositiveInteger|) $) 17 T ELT)
207
             (($ (|NonNegativeInteger|) $) 21 T ELT)
208
             (($ (|Integer|) . #18=($)) 31 T ELT) (($ $ $) 35 T ELT)
209
             (($ $ #16#) 87 T ELT) (($ #16# . #18#) 86 T ELT)))) 
210

211
(SETF (|dbAttributes| (|constructorDB| '|AlgebraicallyClosedField|))
212
        '((|canonicalUnitNormal| . T) (|noZeroDivisors| . T)
213
          ((|commutative| "*") . T))) 
214

215
(SETF (|dbAbbreviation| (|constructorDB| '|AlgebraicallyClosedField|)) 'ACF) 
216

217
(SETF (|dbPrincipals| (|constructorDB| '|AlgebraicallyClosedField|))
218
        '(((|Field|) . T) ((|RadicalCategory|) . T))) 
219

220
(SETF (|dbAncestors| (|constructorDB| '|AlgebraicallyClosedField|))
221
        '(((|AbelianGroup|) . T) ((|AbelianMonoid|) . T)
222
          ((|AbelianSemiGroup|) . T)
223
          ((|Algebra| #1=(|Fraction| (|Integer|))) . T) ((|Algebra| $) . T)
224
          ((|BasicType|) . T) ((|BiModule| #1# #1#) . T) ((|BiModule| $ $) . T)
225
          ((|CancellationAbelianMonoid|) . T) ((|CoercibleFrom| #1#) . T)
226
          ((|CoercibleFrom| $) . T) ((|CoercibleFrom| (|Integer|)) . T)
227
          ((|CoercibleTo| (|OutputForm|)) . T) ((|CommutativeRing|) . T)
228
          ((|DivisionRing|) . T) ((|EntireRing|) . T) ((|EuclideanDomain|) . T)
229
          ((|Field|) . T) ((|GcdDomain|) . T) ((|IntegralDomain|) . T)
230
          ((|LeftLinearSet| #1#) . T) ((|LeftLinearSet| $) . T)
231
          ((|LeftLinearSet| (|Integer|)) . T) ((|LeftModule| #1#) . T)
232
          ((|LeftModule| $) . T) ((|LinearSet| #1#) . T) ((|LinearSet| $) . T)
233
          ((|Module| #1#) . T) ((|Module| $) . T) ((|Monoid|) . T)
234
          ((|PrincipalIdealDomain|) . T) ((|RadicalCategory|) . T)
235
          ((|RightLinearSet| #1#) . T) ((|RightLinearSet| $) . T)
236
          ((|RightModule| #1#) . T) ((|RightModule| $) . T) ((|Ring|) . T)
237
          ((|Rng|) . T) ((|SemiGroup|) . T) ((|SemiRing|) . T)
238
          ((|SetCategory|) . T) ((|Type|) . T)
239
          ((|UniqueFactorizationDomain|) . T))) 
240

241
Product

Resources

Company
