1 | |
---|
2 |
|
---|
3 | cgb-lisp.lisp,140
|
---|
4 | (defpackage "CGB-LISP"22,1268
|
---|
5 | (defvar *examples*30,1598
|
---|
6 | (defun example 91,3950
|
---|
7 | (defun run-example 97,4175
|
---|
8 | (defun all-examples 109,4686
|
---|
9 | |
---|
10 |
|
---|
11 | cgb-manuals.lisp,98
|
---|
12 | (defpackage "CGB-MANUALS"13,659
|
---|
13 | (defvar *cgb-packages*18,751
|
---|
14 | (defun create-cgb-manuals 28,1204
|
---|
15 | |
---|
16 |
|
---|
17 | coefficient-ring.lisp,206
|
---|
18 | (defpackage "COEFFICIENT-RING"13,698
|
---|
19 | (defstruct ring39,1146
|
---|
20 | (defvar *ring-of-integers*58,1938
|
---|
21 | (defvar *field-of-rationals*73,2256
|
---|
22 | (defun field-modulo-prime 90,2691
|
---|
23 | (defvar *coefficient-ring* 109,3380
|
---|
24 | |
---|
25 |
|
---|
26 | colored-poly.lisp,1755
|
---|
27 | (defpackage "COLORED-POLY"11,623
|
---|
28 | (defmacro debug-cgb 30,1330
|
---|
29 | (defun make-colored-poly 33,1427
|
---|
30 | (defun make-colored-poly-list 74,2915
|
---|
31 | (defun color-poly-list 80,3178
|
---|
32 | (defun color-poly 91,3788
|
---|
33 | (defun colored-poly-to-poly 107,4267
|
---|
34 | (defun colored-poly-print 116,4621
|
---|
35 | (defun colored-poly-print-list 150,6065
|
---|
36 | (defun determine 175,6930
|
---|
37 | (defun determine-1 201,8308
|
---|
38 | (defun determine-white-term 216,8982
|
---|
39 | (defun determine-white-term 266,10969
|
---|
40 | (defun cond-system-print 336,13936
|
---|
41 | (defun cond-print 360,15040
|
---|
42 | (defun add-pairs 369,15338
|
---|
43 | (defun cond-part 385,15993
|
---|
44 | (defun cond-hm 390,16149
|
---|
45 | (defun delete-green-polys 398,16404
|
---|
46 | (defun grobner-system 405,16681
|
---|
47 | (defun reorder-pairs 494,20099
|
---|
48 | (defun colored-Criterion-1 514,20896
|
---|
49 | (defun colored-Criterion-2 522,21164
|
---|
50 | (defun cond-normal-form 541,21753
|
---|
51 | (defun cond-spoly 601,23979
|
---|
52 | (defun cond-lm 630,25096
|
---|
53 | (defun cond-lc 636,25295
|
---|
54 | (defun colored-term-times-poly 642,25447
|
---|
55 | (defun colored-scalar-times-poly 647,25638
|
---|
56 | (defun colored-term* 655,25888
|
---|
57 | (defun color* 662,26136
|
---|
58 | (defun color+ 672,26404
|
---|
59 | (defun color- 683,26713
|
---|
60 | (defun colored-poly+ 687,26779
|
---|
61 | (defun colored-poly- 710,27589
|
---|
62 | (defun colored-term-uminus 733,28367
|
---|
63 | (defun colored-minus-poly 737,28526
|
---|
64 | (defun string-grobner-system 741,28672
|
---|
65 | (defun string-cond 767,29665
|
---|
66 | (defun string-cover 778,30220
|
---|
67 | (defun saturate-cover 786,30554
|
---|
68 | (defun saturate-cond 793,30914
|
---|
69 | (defun string-determine 800,31215
|
---|
70 | (defun tidy-grobner-system 818,31912
|
---|
71 | (defun tidy-pair 826,32169
|
---|
72 | (defun tidy-cond 847,32892
|
---|
73 | (defun colored-reduction 853,33147
|
---|
74 | (defun green-reduce-colored-poly 900,34826
|
---|
75 | (defun green-reduce-colored-list 913,35348
|
---|
76 | (defun cond-system-green-reduce 924,35700
|
---|
77 | (defun parse-to-colored-poly-list 935,36033
|
---|
78 | (defun red-reduction 948,36767
|
---|
79 | |
---|
80 |
|
---|
81 | division.lisp,86
|
---|
82 | (defpackage "DIVISION"11,618
|
---|
83 | (defun divide 19,822
|
---|
84 | (defun poly-exact-divide 46,1825
|
---|
85 | |
---|
86 |
|
---|
87 | dynamics.lisp,1057
|
---|
88 | (defpackage "DYNAMICS"13,690
|
---|
89 | (defun poly-scalar-composition 32,1308
|
---|
90 | (defun poly-composition 43,1774
|
---|
91 | (defun poly-dynamic-power 51,2178
|
---|
92 | (defun poly-scalar-evaluate 57,2447
|
---|
93 | (defun poly-evaluate 74,2887
|
---|
94 | (defun factorial 78,3085
|
---|
95 | (defun poly-scalar-diff 83,3238
|
---|
96 | (defun poly-diff 91,3559
|
---|
97 | (defun scalar-partial 97,3794
|
---|
98 | (defun partial 102,3998
|
---|
99 | (defun determinant 109,4256
|
---|
100 | (defun minor 124,4749
|
---|
101 | (defun drop-row 128,4928
|
---|
102 | (defun drop-column 132,5023
|
---|
103 | (defun drop-elt 136,5150
|
---|
104 | (defun matrix- 142,5293
|
---|
105 | (defun scalar-times-matrix 146,5455
|
---|
106 | (defun monom-times-matrix 150,5613
|
---|
107 | (defun term-times-matrix 154,5769
|
---|
108 | (defun poly-list- 160,5959
|
---|
109 | (defun scalar-times-poly-list 165,6151
|
---|
110 | (defun monom-times-poly-list 170,6322
|
---|
111 | (defun term-times-poly-list 175,6496
|
---|
112 | (defun characteristic-combination 183,6760
|
---|
113 | (defun characteristic-combination-poly-list 194,7344
|
---|
114 | (defun characteristic-matrix 205,7888
|
---|
115 | (defun characteristic-polynomial 218,8483
|
---|
116 | (defun identity-matrix 227,8963
|
---|
117 | (defun print-matrix 236,9346
|
---|
118 | (defun jacobi-matrix 241,9530
|
---|
119 | (defun jacobian 247,9779
|
---|
120 | |
---|
121 |
|
---|
122 | example.lisp,137
|
---|
123 | (defpackage "CGB-LISP"12,618
|
---|
124 | (defun example 21,922
|
---|
125 | (defun run-example 27,1147
|
---|
126 | (defun all-examples 38,1615
|
---|
127 | (defvar *examples*46,1812
|
---|
128 | |
---|
129 |
|
---|
130 | grobner.lisp,3523
|
---|
131 | (defpackage "GROBNER"12,688
|
---|
132 | (defvar *grobner-debug* 60,1645
|
---|
133 | (defvar *buchberger-merge-pairs* 63,1723
|
---|
134 | (defvar *gebauer-moeller-merge-pairs* 67,1926
|
---|
135 | (defvar *grobner-function* 71,2145
|
---|
136 | (defun select-grobner-algorithm 74,2247
|
---|
137 | (defun grobner 86,2695
|
---|
138 | (defmacro debug-cgb 108,3816
|
---|
139 | (defun spoly 116,4171
|
---|
140 | (defun grobner-primitive-part 135,4807
|
---|
141 | (defun grobner-content 153,5269
|
---|
142 | (defun normal-form 162,5629
|
---|
143 | (defun buchberger 205,7484
|
---|
144 | (defun grobner-op 254,9544
|
---|
145 | (defun buchberger-sort-pairs 318,11333
|
---|
146 | (defun mock-spoly 328,11744
|
---|
147 | (defun buchberger-merge-pairs-use-mock-spoly 349,12493
|
---|
148 | (defun buchberger-merge-pairs-smallest-lcm 373,13591
|
---|
149 | (defun buchberger-merge-pairs-use-smallest-degree 389,14365
|
---|
150 | (defun buchberger-merge-pairs-use-smallest-length 399,14836
|
---|
151 | (defun buchberger-merge-pairs-use-smallest-coefficient-length 409,15296
|
---|
152 | (defun buchberger-set-pair-heuristic422,15875
|
---|
153 | (defun Criterion-1 441,16743
|
---|
154 | (defun Criterion-2 449,17069
|
---|
155 | (defun normalize-poly 472,18045
|
---|
156 | (defun normalize-basis 483,18459
|
---|
157 | (defun reduction 488,18689
|
---|
158 | (defun reduced-grobner 512,19364
|
---|
159 | (defvar *vars* 522,19790
|
---|
160 | (defun monom-depends-p 525,19900
|
---|
161 | (defun term-depends-p 530,20050
|
---|
162 | (defun poly-depends-p 535,20222
|
---|
163 | (defun ring-intersection 539,20373
|
---|
164 | (defun elimination-ideal 549,20774
|
---|
165 | (defun ideal-intersection 576,21920
|
---|
166 | (defun poly-contract 603,22864
|
---|
167 | (defun poly-lcm 614,23473
|
---|
168 | (defun grobner-gcd 637,24325
|
---|
169 | (defun grobner-equal 647,24782
|
---|
170 | (defun grobner-subsetp 653,25073
|
---|
171 | (defun grobner-member 659,25402
|
---|
172 | (defun ideal-equal 664,25687
|
---|
173 | (defun ideal-subsetp 671,25973
|
---|
174 | (defun ideal-member 679,26296
|
---|
175 | (defun ideal-saturation-1 686,26597
|
---|
176 | (defun add-variables 705,27318
|
---|
177 | (defun extend-polynomials 716,27700
|
---|
178 | (defun saturation-extension 734,28589
|
---|
179 | (defun polysaturation-extension 752,29527
|
---|
180 | (defun saturation-extension-1 768,30423
|
---|
181 | (defun ideal-polysaturation-1 776,30791
|
---|
182 | (defun ideal-saturation 786,31317
|
---|
183 | (defun ideal-polysaturation 807,32198
|
---|
184 | (defun buchberger-criterion 816,32654
|
---|
185 | (defun grobner-test 827,33027
|
---|
186 | (defun minimization 844,33600
|
---|
187 | (defun add-minimized 862,34150
|
---|
188 | (defun colon-ideal 871,34512
|
---|
189 | (defun colon-ideal-1 893,35260
|
---|
190 | (defun pseudo-divide 900,35571
|
---|
191 | (defun gebauer-moeller 949,37644
|
---|
192 | (defun update 987,39019
|
---|
193 | (defun gebauer-moeller-merge-pairs-use-mock-spoly 1033,40651
|
---|
194 | (defun gebauer-moeller-merge-pairs-smallest-lcm 1047,41217
|
---|
195 | (defun gebauer-moeller-merge-pairs-use-smallest-degree 1058,41668
|
---|
196 | (defun gebauer-moeller-merge-pairs-use-smallest-length 1070,42126
|
---|
197 | (defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 1084,42617
|
---|
198 | (defun gebauer-moeller-set-pair-heuristic1096,43175
|
---|
199 | (defun spoly-sugar 1114,44015
|
---|
200 | (defun spoly-with-sugar 1140,45369
|
---|
201 | (defun normal-form-with-sugar 1157,46047
|
---|
202 | (defun buchberger-with-sugar 1205,48255
|
---|
203 | (defun buchberger-with-sugar-merge-pairs 1262,50613
|
---|
204 | (defun buchberger-with-sugar-sort-pairs 1296,51872
|
---|
205 | (defun Criterion-1-with-sugar 1300,52047
|
---|
206 | (defun Criterion-2-with-sugar 1306,52347
|
---|
207 | (defun gebauer-moeller-with-sugar 1328,53272
|
---|
208 | (defun update-with-sugar 1374,55028
|
---|
209 | (defun gebauer-moeller-with-sugar-merge-pairs 1425,57149
|
---|
210 | (defun grobner-primitive-part-with-sugar 1448,58012
|
---|
211 | (defun cached-normal-form 1456,58320
|
---|
212 | (defun cached-grobner-op 1495,59855
|
---|
213 | (defun cached-buchberger 1503,60228
|
---|
214 | (defun cached-spoly 1551,62189
|
---|
215 | (defun cached-monom-times-poly 1567,62775
|
---|
216 | (defun cached-normal-form-with-sugar 1580,63270
|
---|
217 | (defun cached-buchberger-with-sugar 1630,65560
|
---|
218 | (defun cached-poly-with-sugar-op 1693,68219
|
---|
219 | (defun cached-monom-times-poly-with-sugar 1696,68398
|
---|
220 | |
---|
221 |
|
---|
222 | infix.lisp,3615
|
---|
223 | (defpackage "INFIX"265,12470
|
---|
224 | (defparameter *infix-readtable* 307,14163
|
---|
225 | (defparameter *normal-readtable* 308,14217
|
---|
226 | (defmacro infix-error 310,14273
|
---|
227 | (defun infix-reader 314,14404
|
---|
228 | (defun string->prefix 334,15163
|
---|
229 | (defun read-infix 343,15455
|
---|
230 | (defun read-regular 350,15727
|
---|
231 | (defun same-operator-p 359,15941
|
---|
232 | (defun same-token-p 362,15993
|
---|
233 | (defvar *peeked-token* 369,16141
|
---|
234 | (defun read-token 370,16169
|
---|
235 | (defun peek-token 374,16274
|
---|
236 | (defun fancy-number-format-p 382,16514
|
---|
237 | (defun valid-numberp 406,17336
|
---|
238 | (defun gather-superiors 420,17717
|
---|
239 | (defun get-first-token 441,18640
|
---|
240 | (defun apply-token-prefix-operator 449,18864
|
---|
241 | (defun get-next-token 455,19067
|
---|
242 | (defun apply-token-infix-operator 459,19194
|
---|
243 | (defun infix-read-delimited-list 468,19487
|
---|
244 | (defparameter *operator-ordering* 488,20237
|
---|
245 | (defun operator-lessp 511,20869
|
---|
246 | (defparameter *right-associative-operators* 518,21066
|
---|
247 | (defun operator-right-associative-p 519,21118
|
---|
248 | (defvar *token-operators* 527,21329
|
---|
249 | (defvar *token-prefix-operator-table* 528,21360
|
---|
250 | (defvar *token-infix-operator-table* 529,21417
|
---|
251 | (defun token-operator-p 530,21473
|
---|
252 | (defun get-token-prefix-operator 532,21539
|
---|
253 | (defun get-token-infix-operator 534,21629
|
---|
254 | (define-token-operator and574,22971
|
---|
255 | (define-token-operator or576,23056
|
---|
256 | (define-token-operator not578,23138
|
---|
257 | (define-token-operator if581,23218
|
---|
258 | (define-token-operator then603,23898
|
---|
259 | (define-token-operator else605,23982
|
---|
260 | (define-character-tokenization #\+608,24067
|
---|
261 | (define-token-operator +616,24279
|
---|
262 | (define-token-operator +=619,24398
|
---|
263 | (define-character-tokenization #\-622,24482
|
---|
264 | (define-token-operator -630,24694
|
---|
265 | (define-token-operator -=633,24819
|
---|
266 | (define-character-tokenization #\*636,24903
|
---|
267 | (define-token-operator *644,25115
|
---|
268 | (define-token-operator *=646,25193
|
---|
269 | (define-character-tokenization #\/653,25339
|
---|
270 | (define-token-operator /661,25551
|
---|
271 | (define-token-operator /=664,25676
|
---|
272 | (define-character-tokenization #\^671,25822
|
---|
273 | (define-token-operator ^679,26034
|
---|
274 | (define-token-operator ^^681,26115
|
---|
275 | (define-character-tokenization #\|684,26201
|
---|
276 | (define-token-operator \|692,26414
|
---|
277 | (define-character-tokenization #\&695,26500
|
---|
278 | (define-token-operator \&703,26714
|
---|
279 | (define-character-tokenization #\%706,26800
|
---|
280 | (define-token-operator \%710,26902
|
---|
281 | (define-character-tokenization #\~713,26985
|
---|
282 | (define-token-operator \~717,27087
|
---|
283 | (define-character-tokenization #\,720,27168
|
---|
284 | (define-token-operator \,724,27270
|
---|
285 | (define-character-tokenization #\=727,27355
|
---|
286 | (define-token-operator ===735,27567
|
---|
287 | (define-token-operator ==737,27647
|
---|
288 | (define-character-tokenization #\: 744,27780
|
---|
289 | (define-token-operator |:=752,28039
|
---|
290 | (define-character-tokenization #\<759,28221
|
---|
291 | (define-token-operator <770,28532
|
---|
292 | (define-token-operator <=772,28610
|
---|
293 | (define-token-operator <<774,28691
|
---|
294 | (define-character-tokenization #\>777,28774
|
---|
295 | (define-token-operator >788,29085
|
---|
296 | (define-token-operator >=790,29163
|
---|
297 | (define-token-operator >>792,29244
|
---|
298 | (define-character-tokenization #\!795,29331
|
---|
299 | (define-token-operator !=803,29543
|
---|
300 | (define-token-operator !805,29629
|
---|
301 | (define-character-tokenization #\[808,29690
|
---|
302 | (define-token-operator \[812,29792
|
---|
303 | (define-character-tokenization #\(820,30107
|
---|
304 | (define-token-operator \(824,30209
|
---|
305 | (define-character-tokenization #\]833,30536
|
---|
306 | (define-token-operator \]837,30638
|
---|
307 | (define-character-tokenization #\)840,30737
|
---|
308 | (define-token-operator \)844,30839
|
---|
309 | (define-character-tokenization #\$849,31009
|
---|
310 | (define-token-operator %infix-end-token%853,31126
|
---|
311 | (define-character-tokenization #\;858,31307
|
---|
312 | (defun post-process-expression 886,32178
|
---|
313 | (defparameter *test-cases*930,33543
|
---|
314 | (defun test-infix 1086,40234
|
---|
315 | (defun test-infix-case 1095,40506
|
---|
316 | |
---|
317 |
|
---|
318 | infix-printer.lisp,105
|
---|
319 | (defpackage "INFIX-PRINTER"12,624
|
---|
320 | (defun infix-print-separated-list 22,809
|
---|
321 | (defun infix-print 54,1620
|
---|
322 | |
---|
323 |
|
---|
324 | make-cgb.lisp,506
|
---|
325 | (defpackage "MAKE-CGB"14,714
|
---|
326 | (defvar *save-path* 19,787
|
---|
327 | (defvar *cgb-version-string* 21,819
|
---|
328 | (defvar *lisp-suffix* 24,972
|
---|
329 | (defvar *cgb-packages*25,1045
|
---|
330 | (defun package-file 92,3190
|
---|
331 | (defun cgb-compile 95,3260
|
---|
332 | (defun cgb-load 102,3451
|
---|
333 | (defun cgb-load-lisp 112,3746
|
---|
334 | (defun cgb-compile-and-load 120,3994
|
---|
335 | (defun cgb-go 124,4056
|
---|
336 | (defun start-cgb-lisp 128,4110
|
---|
337 | (defun cgb-lisp-top-level-read-eval-print-loop 136,4277
|
---|
338 | (defun cgb-lisp-banner 141,4426
|
---|
339 | (defun cgb-save 148,4579
|
---|
340 | (defun cgb-save 161,4932
|
---|
341 | |
---|
342 |
|
---|
343 | makelist.lisp,398
|
---|
344 | (defpackage "MAKELIST"11,560
|
---|
345 | (defmacro makelist-1 56,2237
|
---|
346 | (defmacro makelist 63,2455
|
---|
347 | (defmacro sum 72,2756
|
---|
348 | (defmacro summation 75,2819
|
---|
349 | (defmacro difference 78,2882
|
---|
350 | (defmacro list-of 82,3001
|
---|
351 | (defmacro list-of-1 90,3223
|
---|
352 | (defmacro union-of 97,3426
|
---|
353 | (defmacro union-of-1 105,3666
|
---|
354 | (defmacro set-of 113,3885
|
---|
355 | (defmacro set-of-1 121,4119
|
---|
356 | (defun select 128,4333
|
---|
357 | (defun standard-vector 133,4448
|
---|
358 | |
---|
359 |
|
---|
360 | modular.lisp,209
|
---|
361 | (defpackage "MODULAR"13,689
|
---|
362 | (defun modular-inverse 21,866
|
---|
363 | (defun modular-division 28,1057
|
---|
364 | (defvar *inverse-by-lookup-limit* 32,1163
|
---|
365 | (defun make-inverse-table 36,1365
|
---|
366 | (defun make-modular-division 42,1674
|
---|
367 | |
---|
368 |
|
---|
369 | modular-poly.lisp,128
|
---|
370 | (defpackage "MODULAR-POLY"13,694
|
---|
371 | (defun modular-trace 21,882
|
---|
372 | (defun modular-trace-1 25,1046
|
---|
373 | (defun frobenius-kernel 31,1237
|
---|
374 | |
---|
375 |
|
---|
376 | monom.lisp,278
|
---|
377 | (defpackage "MONOM"11,615
|
---|
378 | (defun monom/ 35,1390
|
---|
379 | (defun monom* 39,1474
|
---|
380 | (defun nmonom* 43,1560
|
---|
381 | (defun monom-divides-p 48,1748
|
---|
382 | (defun monom-divisible-by-p 52,1868
|
---|
383 | (defun monom-rel-prime 56,2001
|
---|
384 | (defun monom-equal 60,2159
|
---|
385 | (defun monom-lcm 64,2261
|
---|
386 | (defun monom-gcd 68,2369
|
---|
387 | |
---|
388 |
|
---|
389 | order.lisp,246
|
---|
390 | (defpackage "ORDER"24,1190
|
---|
391 | (defun lex> 40,1439
|
---|
392 | (defun total-degree 52,1877
|
---|
393 | (defun grlex> 57,2074
|
---|
394 | (defun revlex> 69,2489
|
---|
395 | (defun grevlex> 84,3112
|
---|
396 | (defun invlex> 94,3506
|
---|
397 | (defun elimination-order 113,4224
|
---|
398 | (defun elimination-order-1 126,4771
|
---|
399 | |
---|
400 |
|
---|
401 | parse.lisp,608
|
---|
402 | (defpackage "PARSE"12,688
|
---|
403 | (defun convert-number 51,2255
|
---|
404 | (defun $poly+ 59,2617
|
---|
405 | (defun $poly- 65,2917
|
---|
406 | (defun $minus-poly 71,3222
|
---|
407 | (defun $poly* 77,3476
|
---|
408 | (defun $poly/ 83,3781
|
---|
409 | (defun $poly-expt 90,4029
|
---|
410 | (defun parse 96,4293
|
---|
411 | (defun alist-form 132,5439
|
---|
412 | (defun alist-form-1 144,5864
|
---|
413 | (defun powers 155,6197
|
---|
414 | (defun parse-to-alist 169,6704
|
---|
415 | (defun parse-string-to-alist 180,7160
|
---|
416 | (defun parse-to-sorted-alist 193,7693
|
---|
417 | (defun parse-string-to-sorted-alist 207,8279
|
---|
418 | (defun sort-poly-1 213,8545
|
---|
419 | (defun sort-poly 219,8789
|
---|
420 | (defun poly-eval-1 232,9332
|
---|
421 | (defun poly-eval 280,10865
|
---|
422 | (defun monom-basis 297,11764
|
---|
423 | |
---|
424 |
|
---|
425 | poly-gcd.lisp,281
|
---|
426 | (defpackage "POLY-GCD"11,618
|
---|
427 | (defun poly-gcd 28,1186
|
---|
428 | (defun poly-pseudo-divide 46,1701
|
---|
429 | (defun poly-pseudo-remainder 62,2136
|
---|
430 | (defun mdeg 66,2258
|
---|
431 | (defun lcoeff 69,2355
|
---|
432 | (defun lrest 72,2417
|
---|
433 | (defun lpart 75,2479
|
---|
434 | (defun poly-primitive-part 83,2698
|
---|
435 | (defun poly-content 91,2842
|
---|
436 | |
---|
437 |
|
---|
438 | poly.lisp,509
|
---|
439 | (defpackage "POLY"11,614
|
---|
440 | (defun scalar-times-poly 44,1968
|
---|
441 | (defun term-times-poly 51,2255
|
---|
442 | (defun monom-times-poly 55,2453
|
---|
443 | (defun minus-poly 59,2617
|
---|
444 | (defun sort-poly 64,2859
|
---|
445 | (defun poly+ 76,3278
|
---|
446 | (defun poly- 100,4038
|
---|
447 | (defun poly* 126,4910
|
---|
448 | (defun poly-op 137,5430
|
---|
449 | (defun poly-expt 143,5657
|
---|
450 | (defun poly-mexpt 160,6375
|
---|
451 | (defun poly-constant-p 171,6845
|
---|
452 | (defun poly-extend 177,6984
|
---|
453 | (defun poly-extend-end 184,7314
|
---|
454 | (defun poly-zerop 188,7503
|
---|
455 | (defun lt 192,7579
|
---|
456 | (defun lm 197,7687
|
---|
457 | (defun lc 202,7807
|
---|
458 | |
---|
459 |
|
---|
460 | poly-with-sugar.lisp,890
|
---|
461 | (defpackage "POLY-WITH-SUGAR"11,625
|
---|
462 | (defun poly-with-sugar-poly 47,1701
|
---|
463 | (defun poly-with-sugar-sugar 48,1742
|
---|
464 | (defun poly-with-sugar-tail 49,1784
|
---|
465 | (defsetf poly-with-sugar-poly 51,1842
|
---|
466 | (defsetf poly-with-sugar-sugar 54,1910
|
---|
467 | (defsetf poly-with-sugar-tail 57,1981
|
---|
468 | (defun monom-sugar 64,2244
|
---|
469 | (defun coefficient-sugar 67,2288
|
---|
470 | (defun term-sugar 70,2357
|
---|
471 | (defun poly-add-sugar 77,2629
|
---|
472 | (defun scalar-times-poly-with-sugar 82,2790
|
---|
473 | (defun term-times-poly-with-sugar 87,2971
|
---|
474 | (defun monom-times-poly-with-sugar 92,3184
|
---|
475 | (defun minus-poly-with-sugar 98,3385
|
---|
476 | (defun poly-with-sugar+ 104,3562
|
---|
477 | (defun poly-with-sugar- 110,3799
|
---|
478 | (defun poly-with-sugar-op 116,4004
|
---|
479 | (defun poly-with-sugar-nreverse 121,4199
|
---|
480 | (defun poly-with-sugar-append 127,4430
|
---|
481 | (defun poly-with-sugar-zerop 131,4595
|
---|
482 | (defun poly-with-sugar-lm 134,4670
|
---|
483 | (defun poly-with-sugar-lc 137,4734
|
---|
484 | (defun poly-with-sugar-lt 140,4798
|
---|
485 | |
---|
486 |
|
---|
487 | printer.lisp,168
|
---|
488 | (defpackage "PRINTER"11,617
|
---|
489 | (defun poly-print 19,780
|
---|
490 | (defun poly-print-1 36,1517
|
---|
491 | (defun poly-print-2 70,2663
|
---|
492 | (defun print-term 78,2975
|
---|
493 | (defun print-monom 92,3516
|
---|
494 | |
---|
495 |
|
---|
496 | prover.lisp,546
|
---|
497 | (defpackage "PROVER"12,687
|
---|
498 | (defvar *prover-order* 23,1059
|
---|
499 | (defun csym 30,1298
|
---|
500 | (defmacro real-identical-points 35,1500
|
---|
501 | (defmacro identical-points 51,2158
|
---|
502 | (defmacro perpendicular 68,2892
|
---|
503 | (defmacro parallel 84,3348
|
---|
504 | (defmacro collinear 101,3800
|
---|
505 | (defmacro equidistant 116,4245
|
---|
506 | (defmacro euclidean-distance 132,4756
|
---|
507 | (defmacro midpoint 144,5129
|
---|
508 | (defmacro translate-statements 158,5545
|
---|
509 | (defmacro translate-assumptions 162,5717
|
---|
510 | (defmacro translate-conclusions 168,5905
|
---|
511 | (defmacro translate-theorem 171,6001
|
---|
512 | (defmacro prove-theorem 186,6892
|
---|
513 | |
---|
514 |
|
---|
515 | rat.lisp,411
|
---|
516 | (defpackage "RAT"22,1062
|
---|
517 | (defun num 32,1357
|
---|
518 | (defun denom 33,1394
|
---|
519 | (defun rat-simplify-2 35,1435
|
---|
520 | (defun rat-simplify 40,1580
|
---|
521 | (defun rat+ 43,1641
|
---|
522 | (defun rat- 50,1816
|
---|
523 | (defun rat* 58,2062
|
---|
524 | (defun rat/ 63,2159
|
---|
525 | (defun scalar-times-rat 68,2256
|
---|
526 | (defun scalar-div-rat 72,2370
|
---|
527 | (defun rat-zerop 75,2459
|
---|
528 | (defun rat-uminus 78,2499
|
---|
529 | (defun rat-expt 81,2561
|
---|
530 | (defun rat-constant 84,2638
|
---|
531 | (defun rat-to-poly 89,2840
|
---|
532 | |
---|
533 |
|
---|
534 | ratpoly.lisp,974
|
---|
535 | (defpackage "RATPOLY"25,1219
|
---|
536 | (defun ratpoly+ 44,1953
|
---|
537 | (defun ratpoly- 60,2405
|
---|
538 | (defun ratpoly-uminus 76,2894
|
---|
539 | (defun ratpoly* 81,3026
|
---|
540 | (defun scalar-times-ratpoly 89,3362
|
---|
541 | (defun rat-times-ratpoly 96,3586
|
---|
542 | (defun ratpoly-divide 103,3803
|
---|
543 | (defun ratpoly-remainder 112,4141
|
---|
544 | (defun ratpoly-gcd 116,4286
|
---|
545 | (defun ratpoly-diff 122,4425
|
---|
546 | (defun ratpoly-square-free 129,4640
|
---|
547 | (defun ratpoly-normalize 133,4778
|
---|
548 | (defun ratpoly-resultant 138,4990
|
---|
549 | (defun deg 156,5490
|
---|
550 | (defun lead 163,5628
|
---|
551 | (defun ratpoly-discriminant 165,5655
|
---|
552 | (defun ratpoly-print 171,5871
|
---|
553 | (defun poly-to-ratpoly 187,6435
|
---|
554 | (defun poly-to-poly1 191,6563
|
---|
555 | (defun poly1-to-ratpoly 203,6965
|
---|
556 | (defun ratpoly-to-poly1 212,7172
|
---|
557 | (defun poly1-to-poly 220,7389
|
---|
558 | (defun ratpoly-to-poly 230,7697
|
---|
559 | (defun poly-resultant 234,7768
|
---|
560 | (defun poly-gcd 245,8183
|
---|
561 | (defun content1 258,8572
|
---|
562 | (defun content1-aux 267,8843
|
---|
563 | (defun content 273,9038
|
---|
564 | (defun primitive-part 277,9131
|
---|
565 | (defun divide-coeffs 282,9293
|
---|
566 | (defun euclid 298,9730
|
---|
567 | |
---|
568 |
|
---|
569 | string-grobner.lisp,534
|
---|
570 | (defpackage "STRING-GROBNER"14,690
|
---|
571 | (defun string-normal-form 34,1195
|
---|
572 | (defun string-grobner 56,1793
|
---|
573 | (defun string-elimination-ideal 84,2631
|
---|
574 | (defun string-ideal-intersection 107,3270
|
---|
575 | (defun string-poly-lcm 122,3798
|
---|
576 | (defun string-ideal-saturation-1 136,4203
|
---|
577 | (defun string-ideal-polysaturation-1 151,4740
|
---|
578 | (defun string-ideal-saturation 171,5441
|
---|
579 | (defun string-ideal-polysaturation 186,5961
|
---|
580 | (defun string-colon-ideal 211,6736
|
---|
581 | (defun string-read-poly 233,7491
|
---|
582 | (defun poly-rational-to-integer 251,8067
|
---|
583 | (defun read-vars 255,8262
|
---|
584 | |
---|
585 |
|
---|
586 | svpoly.lisp,652
|
---|
587 | (defpackage "SVPOLY"11,616
|
---|
588 | (defstruct (svpoly 18,718
|
---|
589 | (defun make-svpoly 24,927
|
---|
590 | (defun svpoly-sort 41,1482
|
---|
591 | (defun make-order 45,1643
|
---|
592 | (defun svpoly-add 61,2220
|
---|
593 | (defun add-terms 68,2469
|
---|
594 | (defun scalar-times-poly 106,3382
|
---|
595 | (defun term-times-poly 113,3633
|
---|
596 | (defun monom-times-poly 117,3831
|
---|
597 | (defun minus-poly 121,3995
|
---|
598 | (defun poly+ 127,4238
|
---|
599 | (defun poly- 151,5040
|
---|
600 | (defun poly* 177,5942
|
---|
601 | (defun poly-op 188,6462
|
---|
602 | (defun poly-expt 194,6689
|
---|
603 | (defun poly-mexpt 211,7407
|
---|
604 | (defun poly-constant-p 222,7877
|
---|
605 | (defun poly-extend 228,8016
|
---|
606 | (defun poly-extend-end 235,8346
|
---|
607 | (defun poly-zerop 239,8535
|
---|
608 | (defun lt 243,8611
|
---|
609 | (defun lm 248,8719
|
---|
610 | (defun lc 253,8839
|
---|
611 | |
---|
612 |
|
---|
613 | term.lisp,264
|
---|
614 | (defpackage "TERM"12,615
|
---|
615 | (defun term* 34,1374
|
---|
616 | (defun term/ 40,1559
|
---|
617 | (defun monom-times-term 46,1750
|
---|
618 | (defun term-divides-p 50,1866
|
---|
619 | (defmacro term-monom 54,1970
|
---|
620 | (defmacro term-coefficient 55,2012
|
---|
621 | (defsetf term-monom 58,2077
|
---|
622 | (defsetf term-coefficient 61,2143
|
---|
623 | |
---|
624 |
|
---|
625 | trivial.lisp,29
|
---|
626 | (defpackage "TRIVIAL"12,617
|
---|
627 | |
---|
628 |
|
---|
629 | xgcd.lisp,46
|
---|
630 | (defpackage "XGCD"12,614
|
---|
631 | (defun xgcd 19,739
|
---|