1 | |
---|
2 |
|
---|
3 | cgb-lisp.lisp,140
|
---|
4 | (defpackage "CGB-LISP"22,1268
|
---|
5 | (defvar *examples*30,1582
|
---|
6 | (defun example 91,3934
|
---|
7 | (defun run-example 97,4159
|
---|
8 | (defun all-examples 109,4670
|
---|
9 | |
---|
10 |
|
---|
11 | coefficient-ring.lisp,206
|
---|
12 | (defpackage "COEFFICIENT-RING"13,698
|
---|
13 | (defstruct ring40,1203
|
---|
14 | (defvar *ring-of-integers*59,1995
|
---|
15 | (defvar *field-of-rationals*74,2313
|
---|
16 | (defun field-modulo-prime 91,2748
|
---|
17 | (defvar *coefficient-ring* 110,3437
|
---|
18 | |
---|
19 |
|
---|
20 | colored-poly.lisp,1755
|
---|
21 | (defpackage "COLORED-POLY"11,623
|
---|
22 | (defmacro debug-cgb 31,1387
|
---|
23 | (defun make-colored-poly 34,1484
|
---|
24 | (defun make-colored-poly-list 75,2972
|
---|
25 | (defun color-poly-list 81,3235
|
---|
26 | (defun color-poly 92,3845
|
---|
27 | (defun colored-poly-to-poly 108,4324
|
---|
28 | (defun colored-poly-print 117,4678
|
---|
29 | (defun colored-poly-print-list 151,6122
|
---|
30 | (defun determine 176,6987
|
---|
31 | (defun determine-1 202,8365
|
---|
32 | (defun determine-white-term 217,9039
|
---|
33 | (defun determine-white-term 267,11026
|
---|
34 | (defun cond-system-print 337,13993
|
---|
35 | (defun cond-print 361,15097
|
---|
36 | (defun add-pairs 370,15395
|
---|
37 | (defun cond-part 386,16050
|
---|
38 | (defun cond-hm 391,16206
|
---|
39 | (defun delete-green-polys 399,16461
|
---|
40 | (defun grobner-system 406,16738
|
---|
41 | (defun reorder-pairs 495,20156
|
---|
42 | (defun colored-Criterion-1 515,20953
|
---|
43 | (defun colored-Criterion-2 523,21221
|
---|
44 | (defun cond-normal-form 542,21810
|
---|
45 | (defun cond-spoly 602,24035
|
---|
46 | (defun cond-lm 631,25152
|
---|
47 | (defun cond-lc 637,25351
|
---|
48 | (defun colored-term-times-poly 643,25503
|
---|
49 | (defun colored-scalar-times-poly 648,25694
|
---|
50 | (defun colored-term* 656,25944
|
---|
51 | (defun color* 663,26192
|
---|
52 | (defun color+ 673,26460
|
---|
53 | (defun color- 684,26769
|
---|
54 | (defun colored-poly+ 688,26835
|
---|
55 | (defun colored-poly- 711,27645
|
---|
56 | (defun colored-term-uminus 734,28423
|
---|
57 | (defun colored-minus-poly 738,28582
|
---|
58 | (defun string-grobner-system 742,28728
|
---|
59 | (defun string-cond 768,29721
|
---|
60 | (defun string-cover 779,30276
|
---|
61 | (defun saturate-cover 787,30610
|
---|
62 | (defun saturate-cond 794,30970
|
---|
63 | (defun string-determine 801,31271
|
---|
64 | (defun tidy-grobner-system 819,31968
|
---|
65 | (defun tidy-pair 827,32225
|
---|
66 | (defun tidy-cond 848,32948
|
---|
67 | (defun colored-reduction 854,33203
|
---|
68 | (defun green-reduce-colored-poly 901,34882
|
---|
69 | (defun green-reduce-colored-list 914,35404
|
---|
70 | (defun cond-system-green-reduce 925,35756
|
---|
71 | (defun parse-to-colored-poly-list 936,36089
|
---|
72 | (defun red-reduction 949,36823
|
---|
73 | |
---|
74 |
|
---|
75 | division.lisp,86
|
---|
76 | (defpackage "DIVISION"11,618
|
---|
77 | (defun divide 20,879
|
---|
78 | (defun poly-exact-divide 47,1882
|
---|
79 | |
---|
80 |
|
---|
81 | dynamics.lisp,1057
|
---|
82 | (defpackage "DYNAMICS"13,690
|
---|
83 | (defun poly-scalar-composition 33,1365
|
---|
84 | (defun poly-composition 44,1831
|
---|
85 | (defun poly-dynamic-power 52,2235
|
---|
86 | (defun poly-scalar-evaluate 58,2504
|
---|
87 | (defun poly-evaluate 75,2944
|
---|
88 | (defun factorial 79,3142
|
---|
89 | (defun poly-scalar-diff 84,3295
|
---|
90 | (defun poly-diff 92,3616
|
---|
91 | (defun scalar-partial 98,3851
|
---|
92 | (defun partial 103,4055
|
---|
93 | (defun determinant 110,4313
|
---|
94 | (defun minor 125,4806
|
---|
95 | (defun drop-row 129,4985
|
---|
96 | (defun drop-column 133,5080
|
---|
97 | (defun drop-elt 137,5207
|
---|
98 | (defun matrix- 143,5350
|
---|
99 | (defun scalar-times-matrix 147,5512
|
---|
100 | (defun monom-times-matrix 151,5670
|
---|
101 | (defun term-times-matrix 155,5826
|
---|
102 | (defun poly-list- 161,6016
|
---|
103 | (defun scalar-times-poly-list 166,6208
|
---|
104 | (defun monom-times-poly-list 171,6379
|
---|
105 | (defun term-times-poly-list 176,6553
|
---|
106 | (defun characteristic-combination 184,6817
|
---|
107 | (defun characteristic-combination-poly-list 195,7401
|
---|
108 | (defun characteristic-matrix 206,7945
|
---|
109 | (defun characteristic-polynomial 219,8540
|
---|
110 | (defun identity-matrix 228,9020
|
---|
111 | (defun print-matrix 237,9403
|
---|
112 | (defun jacobi-matrix 242,9587
|
---|
113 | (defun jacobian 248,9836
|
---|
114 | |
---|
115 |
|
---|
116 | example.lisp,137
|
---|
117 | (defpackage "CGB-LISP"12,618
|
---|
118 | (defun example 22,979
|
---|
119 | (defun run-example 28,1204
|
---|
120 | (defun all-examples 39,1672
|
---|
121 | (defvar *examples*47,1869
|
---|
122 | |
---|
123 |
|
---|
124 | grobner.lisp,3523
|
---|
125 | (defpackage "GROBNER"12,688
|
---|
126 | (defvar *grobner-debug* 61,1702
|
---|
127 | (defvar *buchberger-merge-pairs* 64,1780
|
---|
128 | (defvar *gebauer-moeller-merge-pairs* 68,1983
|
---|
129 | (defvar *grobner-function* 72,2202
|
---|
130 | (defun select-grobner-algorithm 75,2304
|
---|
131 | (defun grobner 87,2752
|
---|
132 | (defmacro debug-cgb 109,3873
|
---|
133 | (defun spoly 117,4228
|
---|
134 | (defun grobner-primitive-part 136,4864
|
---|
135 | (defun grobner-content 154,5326
|
---|
136 | (defun normal-form 163,5686
|
---|
137 | (defun buchberger 206,7541
|
---|
138 | (defun grobner-op 255,9601
|
---|
139 | (defun buchberger-sort-pairs 319,11390
|
---|
140 | (defun mock-spoly 329,11801
|
---|
141 | (defun buchberger-merge-pairs-use-mock-spoly 350,12550
|
---|
142 | (defun buchberger-merge-pairs-smallest-lcm 374,13648
|
---|
143 | (defun buchberger-merge-pairs-use-smallest-degree 390,14422
|
---|
144 | (defun buchberger-merge-pairs-use-smallest-length 400,14893
|
---|
145 | (defun buchberger-merge-pairs-use-smallest-coefficient-length 410,15353
|
---|
146 | (defun buchberger-set-pair-heuristic423,15932
|
---|
147 | (defun Criterion-1 442,16800
|
---|
148 | (defun Criterion-2 450,17126
|
---|
149 | (defun normalize-poly 473,18102
|
---|
150 | (defun normalize-basis 484,18516
|
---|
151 | (defun reduction 489,18746
|
---|
152 | (defun reduced-grobner 513,19421
|
---|
153 | (defvar *vars* 523,19847
|
---|
154 | (defun monom-depends-p 526,19957
|
---|
155 | (defun term-depends-p 531,20107
|
---|
156 | (defun poly-depends-p 536,20279
|
---|
157 | (defun ring-intersection 540,20430
|
---|
158 | (defun elimination-ideal 550,20831
|
---|
159 | (defun ideal-intersection 577,21977
|
---|
160 | (defun poly-contract 604,22921
|
---|
161 | (defun poly-lcm 615,23530
|
---|
162 | (defun grobner-gcd 638,24382
|
---|
163 | (defun grobner-equal 648,24839
|
---|
164 | (defun grobner-subsetp 654,25130
|
---|
165 | (defun grobner-member 660,25459
|
---|
166 | (defun ideal-equal 665,25744
|
---|
167 | (defun ideal-subsetp 672,26030
|
---|
168 | (defun ideal-member 680,26353
|
---|
169 | (defun ideal-saturation-1 687,26654
|
---|
170 | (defun add-variables 706,27375
|
---|
171 | (defun extend-polynomials 717,27757
|
---|
172 | (defun saturation-extension 735,28646
|
---|
173 | (defun polysaturation-extension 753,29584
|
---|
174 | (defun saturation-extension-1 769,30480
|
---|
175 | (defun ideal-polysaturation-1 777,30848
|
---|
176 | (defun ideal-saturation 787,31374
|
---|
177 | (defun ideal-polysaturation 808,32255
|
---|
178 | (defun buchberger-criterion 817,32711
|
---|
179 | (defun grobner-test 828,33084
|
---|
180 | (defun minimization 845,33657
|
---|
181 | (defun add-minimized 863,34207
|
---|
182 | (defun colon-ideal 872,34569
|
---|
183 | (defun colon-ideal-1 894,35317
|
---|
184 | (defun pseudo-divide 901,35628
|
---|
185 | (defun gebauer-moeller 950,37701
|
---|
186 | (defun update 988,39076
|
---|
187 | (defun gebauer-moeller-merge-pairs-use-mock-spoly 1034,40708
|
---|
188 | (defun gebauer-moeller-merge-pairs-smallest-lcm 1048,41274
|
---|
189 | (defun gebauer-moeller-merge-pairs-use-smallest-degree 1059,41725
|
---|
190 | (defun gebauer-moeller-merge-pairs-use-smallest-length 1071,42183
|
---|
191 | (defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 1085,42674
|
---|
192 | (defun gebauer-moeller-set-pair-heuristic1097,43232
|
---|
193 | (defun spoly-sugar 1115,44072
|
---|
194 | (defun spoly-with-sugar 1141,45426
|
---|
195 | (defun normal-form-with-sugar 1158,46104
|
---|
196 | (defun buchberger-with-sugar 1206,48312
|
---|
197 | (defun buchberger-with-sugar-merge-pairs 1263,50670
|
---|
198 | (defun buchberger-with-sugar-sort-pairs 1297,51929
|
---|
199 | (defun Criterion-1-with-sugar 1301,52104
|
---|
200 | (defun Criterion-2-with-sugar 1307,52404
|
---|
201 | (defun gebauer-moeller-with-sugar 1329,53329
|
---|
202 | (defun update-with-sugar 1375,55085
|
---|
203 | (defun gebauer-moeller-with-sugar-merge-pairs 1426,57206
|
---|
204 | (defun grobner-primitive-part-with-sugar 1449,58069
|
---|
205 | (defun cached-normal-form 1457,58377
|
---|
206 | (defun cached-grobner-op 1496,59912
|
---|
207 | (defun cached-buchberger 1504,60285
|
---|
208 | (defun cached-spoly 1552,62246
|
---|
209 | (defun cached-monom-times-poly 1568,62832
|
---|
210 | (defun cached-normal-form-with-sugar 1581,63327
|
---|
211 | (defun cached-buchberger-with-sugar 1631,65617
|
---|
212 | (defun cached-poly-with-sugar-op 1694,68276
|
---|
213 | (defun cached-monom-times-poly-with-sugar 1697,68455
|
---|
214 | |
---|
215 |
|
---|
216 | infix.lisp,3615
|
---|
217 | (defpackage "INFIX"265,12470
|
---|
218 | (defparameter *infix-readtable* 308,14181
|
---|
219 | (defparameter *normal-readtable* 309,14235
|
---|
220 | (defmacro infix-error 311,14291
|
---|
221 | (defun infix-reader 315,14422
|
---|
222 | (defun string->prefix 335,15181
|
---|
223 | (defun read-infix 344,15473
|
---|
224 | (defun read-regular 351,15745
|
---|
225 | (defun same-operator-p 360,15959
|
---|
226 | (defun same-token-p 363,16011
|
---|
227 | (defvar *peeked-token* 370,16159
|
---|
228 | (defun read-token 371,16187
|
---|
229 | (defun peek-token 375,16292
|
---|
230 | (defun fancy-number-format-p 383,16532
|
---|
231 | (defun valid-numberp 407,17354
|
---|
232 | (defun gather-superiors 421,17735
|
---|
233 | (defun get-first-token 442,18658
|
---|
234 | (defun apply-token-prefix-operator 450,18882
|
---|
235 | (defun get-next-token 456,19085
|
---|
236 | (defun apply-token-infix-operator 460,19212
|
---|
237 | (defun infix-read-delimited-list 469,19505
|
---|
238 | (defparameter *operator-ordering* 489,20255
|
---|
239 | (defun operator-lessp 512,20887
|
---|
240 | (defparameter *right-associative-operators* 519,21084
|
---|
241 | (defun operator-right-associative-p 520,21136
|
---|
242 | (defvar *token-operators* 528,21347
|
---|
243 | (defvar *token-prefix-operator-table* 529,21378
|
---|
244 | (defvar *token-infix-operator-table* 530,21435
|
---|
245 | (defun token-operator-p 531,21491
|
---|
246 | (defun get-token-prefix-operator 533,21557
|
---|
247 | (defun get-token-infix-operator 535,21647
|
---|
248 | (define-token-operator and575,22941
|
---|
249 | (define-token-operator or577,23026
|
---|
250 | (define-token-operator not579,23108
|
---|
251 | (define-token-operator if582,23188
|
---|
252 | (define-token-operator then604,23868
|
---|
253 | (define-token-operator else606,23952
|
---|
254 | (define-character-tokenization #\+609,24037
|
---|
255 | (define-token-operator +617,24249
|
---|
256 | (define-token-operator +=620,24368
|
---|
257 | (define-character-tokenization #\-623,24452
|
---|
258 | (define-token-operator -631,24664
|
---|
259 | (define-token-operator -=634,24789
|
---|
260 | (define-character-tokenization #\*637,24873
|
---|
261 | (define-token-operator *645,25085
|
---|
262 | (define-token-operator *=647,25163
|
---|
263 | (define-character-tokenization #\/654,25309
|
---|
264 | (define-token-operator /662,25521
|
---|
265 | (define-token-operator /=665,25646
|
---|
266 | (define-character-tokenization #\^672,25792
|
---|
267 | (define-token-operator ^680,26004
|
---|
268 | (define-token-operator ^^682,26085
|
---|
269 | (define-character-tokenization #\|685,26171
|
---|
270 | (define-token-operator \|693,26384
|
---|
271 | (define-character-tokenization #\&696,26470
|
---|
272 | (define-token-operator \&704,26684
|
---|
273 | (define-character-tokenization #\%707,26770
|
---|
274 | (define-token-operator \%711,26872
|
---|
275 | (define-character-tokenization #\~714,26955
|
---|
276 | (define-token-operator \~718,27057
|
---|
277 | (define-character-tokenization #\,721,27138
|
---|
278 | (define-token-operator \,725,27240
|
---|
279 | (define-character-tokenization #\=728,27325
|
---|
280 | (define-token-operator ===736,27537
|
---|
281 | (define-token-operator ==738,27617
|
---|
282 | (define-character-tokenization #\: 745,27750
|
---|
283 | (define-token-operator |:=753,28009
|
---|
284 | (define-character-tokenization #\<760,28191
|
---|
285 | (define-token-operator <771,28502
|
---|
286 | (define-token-operator <=773,28580
|
---|
287 | (define-token-operator <<775,28661
|
---|
288 | (define-character-tokenization #\>778,28744
|
---|
289 | (define-token-operator >789,29055
|
---|
290 | (define-token-operator >=791,29133
|
---|
291 | (define-token-operator >>793,29214
|
---|
292 | (define-character-tokenization #\!796,29301
|
---|
293 | (define-token-operator !=804,29513
|
---|
294 | (define-token-operator !806,29599
|
---|
295 | (define-character-tokenization #\[809,29660
|
---|
296 | (define-token-operator \[813,29762
|
---|
297 | (define-character-tokenization #\(821,30077
|
---|
298 | (define-token-operator \(825,30179
|
---|
299 | (define-character-tokenization #\]834,30506
|
---|
300 | (define-token-operator \]838,30608
|
---|
301 | (define-character-tokenization #\)841,30707
|
---|
302 | (define-token-operator \)845,30809
|
---|
303 | (define-character-tokenization #\$850,30979
|
---|
304 | (define-token-operator %infix-end-token%854,31096
|
---|
305 | (define-character-tokenization #\;859,31277
|
---|
306 | (defun post-process-expression 887,32148
|
---|
307 | (defparameter *test-cases*931,33513
|
---|
308 | (defun test-infix 1087,40204
|
---|
309 | (defun test-infix-case 1096,40476
|
---|
310 | |
---|
311 |
|
---|
312 | make-cgb.lisp,506
|
---|
313 | (defpackage "MAKE-CGB"14,714
|
---|
314 | (defvar *save-path* 19,787
|
---|
315 | (defvar *cgb-version-string* 21,819
|
---|
316 | (defvar *lisp-suffix* 24,972
|
---|
317 | (defvar *cgb-packages*25,1045
|
---|
318 | (defun package-file 92,3174
|
---|
319 | (defun cgb-compile 95,3244
|
---|
320 | (defun cgb-load 102,3435
|
---|
321 | (defun cgb-load-lisp 112,3730
|
---|
322 | (defun cgb-compile-and-load 120,3978
|
---|
323 | (defun cgb-go 124,4040
|
---|
324 | (defun start-cgb-lisp 128,4094
|
---|
325 | (defun cgb-lisp-top-level-read-eval-print-loop 136,4261
|
---|
326 | (defun cgb-lisp-banner 141,4410
|
---|
327 | (defun cgb-save 148,4563
|
---|
328 | (defun cgb-save 161,4916
|
---|
329 | |
---|
330 |
|
---|
331 | makelist.lisp,398
|
---|
332 | (defpackage "MAKELIST"12,619
|
---|
333 | (defmacro makelist-1 57,2296
|
---|
334 | (defmacro makelist 64,2514
|
---|
335 | (defmacro sum 73,2815
|
---|
336 | (defmacro summation 76,2878
|
---|
337 | (defmacro difference 79,2941
|
---|
338 | (defmacro list-of 83,3060
|
---|
339 | (defmacro list-of-1 91,3282
|
---|
340 | (defmacro union-of 98,3485
|
---|
341 | (defmacro union-of-1 106,3725
|
---|
342 | (defmacro set-of 114,3944
|
---|
343 | (defmacro set-of-1 122,4178
|
---|
344 | (defun select 129,4392
|
---|
345 | (defun standard-vector 134,4507
|
---|
346 | |
---|
347 |
|
---|
348 | modular.lisp,209
|
---|
349 | (defpackage "MODULAR"13,689
|
---|
350 | (defun modular-inverse 22,923
|
---|
351 | (defun modular-division 29,1114
|
---|
352 | (defvar *inverse-by-lookup-limit* 33,1220
|
---|
353 | (defun make-inverse-table 37,1422
|
---|
354 | (defun make-modular-division 43,1731
|
---|
355 | |
---|
356 |
|
---|
357 | modular-poly.lisp,128
|
---|
358 | (defpackage "MODULAR-POLY"13,694
|
---|
359 | (defun modular-trace 22,939
|
---|
360 | (defun modular-trace-1 26,1103
|
---|
361 | (defun frobenius-kernel 32,1294
|
---|
362 | |
---|
363 |
|
---|
364 | monom.lisp,278
|
---|
365 | (defpackage "MONOM"11,615
|
---|
366 | (defun monom/ 36,1447
|
---|
367 | (defun monom* 40,1531
|
---|
368 | (defun nmonom* 44,1617
|
---|
369 | (defun monom-divides-p 49,1805
|
---|
370 | (defun monom-divisible-by-p 53,1925
|
---|
371 | (defun monom-rel-prime 57,2058
|
---|
372 | (defun monom-equal 61,2216
|
---|
373 | (defun monom-lcm 65,2318
|
---|
374 | (defun monom-gcd 69,2426
|
---|
375 | |
---|
376 |
|
---|
377 | order.lisp,246
|
---|
378 | (defpackage "ORDER"24,1190
|
---|
379 | (defun lex> 41,1496
|
---|
380 | (defun total-degree 53,1934
|
---|
381 | (defun grlex> 58,2131
|
---|
382 | (defun revlex> 70,2546
|
---|
383 | (defun grevlex> 85,3169
|
---|
384 | (defun invlex> 95,3563
|
---|
385 | (defun elimination-order 114,4281
|
---|
386 | (defun elimination-order-1 127,4828
|
---|
387 | |
---|
388 |
|
---|
389 | parse.lisp,608
|
---|
390 | (defpackage "PARSE"12,688
|
---|
391 | (defun convert-number 52,2312
|
---|
392 | (defun $poly+ 60,2674
|
---|
393 | (defun $poly- 66,2974
|
---|
394 | (defun $minus-poly 72,3279
|
---|
395 | (defun $poly* 78,3533
|
---|
396 | (defun $poly/ 84,3838
|
---|
397 | (defun $poly-expt 91,4086
|
---|
398 | (defun parse 97,4350
|
---|
399 | (defun alist-form 133,5496
|
---|
400 | (defun alist-form-1 145,5921
|
---|
401 | (defun powers 156,6254
|
---|
402 | (defun parse-to-alist 170,6761
|
---|
403 | (defun parse-string-to-alist 181,7217
|
---|
404 | (defun parse-to-sorted-alist 194,7750
|
---|
405 | (defun parse-string-to-sorted-alist 208,8336
|
---|
406 | (defun sort-poly-1 214,8602
|
---|
407 | (defun sort-poly 220,8846
|
---|
408 | (defun poly-eval-1 233,9389
|
---|
409 | (defun poly-eval 257,10410
|
---|
410 | (defun monom-basis 274,11309
|
---|
411 | |
---|
412 |
|
---|
413 | poly-gcd.lisp,281
|
---|
414 | (defpackage "POLY-GCD"11,618
|
---|
415 | (defun poly-gcd 29,1243
|
---|
416 | (defun poly-pseudo-divide 47,1758
|
---|
417 | (defun poly-pseudo-remainder 63,2193
|
---|
418 | (defun mdeg 67,2315
|
---|
419 | (defun lcoeff 70,2412
|
---|
420 | (defun lrest 73,2474
|
---|
421 | (defun lpart 76,2536
|
---|
422 | (defun poly-primitive-part 84,2755
|
---|
423 | (defun poly-content 92,2899
|
---|
424 | |
---|
425 |
|
---|
426 | poly.lisp,509
|
---|
427 | (defpackage "POLY"11,614
|
---|
428 | (defun scalar-times-poly 45,2025
|
---|
429 | (defun term-times-poly 52,2312
|
---|
430 | (defun monom-times-poly 56,2510
|
---|
431 | (defun minus-poly 60,2674
|
---|
432 | (defun sort-poly 65,2916
|
---|
433 | (defun poly+ 77,3335
|
---|
434 | (defun poly- 101,4095
|
---|
435 | (defun poly* 127,4967
|
---|
436 | (defun poly-op 138,5487
|
---|
437 | (defun poly-expt 144,5714
|
---|
438 | (defun poly-mexpt 161,6432
|
---|
439 | (defun poly-constant-p 172,6902
|
---|
440 | (defun poly-extend 178,7041
|
---|
441 | (defun poly-extend-end 185,7371
|
---|
442 | (defun poly-zerop 189,7560
|
---|
443 | (defun lt 193,7636
|
---|
444 | (defun lm 198,7744
|
---|
445 | (defun lc 203,7864
|
---|
446 | |
---|
447 |
|
---|
448 | poly-with-sugar.lisp,890
|
---|
449 | (defpackage "POLY-WITH-SUGAR"11,625
|
---|
450 | (defun poly-with-sugar-poly 48,1758
|
---|
451 | (defun poly-with-sugar-sugar 49,1799
|
---|
452 | (defun poly-with-sugar-tail 50,1841
|
---|
453 | (defsetf poly-with-sugar-poly 52,1899
|
---|
454 | (defsetf poly-with-sugar-sugar 55,1967
|
---|
455 | (defsetf poly-with-sugar-tail 58,2038
|
---|
456 | (defun monom-sugar 65,2301
|
---|
457 | (defun coefficient-sugar 68,2345
|
---|
458 | (defun term-sugar 71,2414
|
---|
459 | (defun poly-add-sugar 78,2686
|
---|
460 | (defun scalar-times-poly-with-sugar 83,2847
|
---|
461 | (defun term-times-poly-with-sugar 88,3028
|
---|
462 | (defun monom-times-poly-with-sugar 93,3241
|
---|
463 | (defun minus-poly-with-sugar 99,3442
|
---|
464 | (defun poly-with-sugar+ 105,3619
|
---|
465 | (defun poly-with-sugar- 111,3856
|
---|
466 | (defun poly-with-sugar-op 117,4061
|
---|
467 | (defun poly-with-sugar-nreverse 122,4256
|
---|
468 | (defun poly-with-sugar-append 128,4487
|
---|
469 | (defun poly-with-sugar-zerop 132,4652
|
---|
470 | (defun poly-with-sugar-lm 135,4727
|
---|
471 | (defun poly-with-sugar-lc 138,4791
|
---|
472 | (defun poly-with-sugar-lt 141,4855
|
---|
473 | |
---|
474 |
|
---|
475 | printer.lisp,168
|
---|
476 | (defpackage "PRINTER"11,617
|
---|
477 | (defun poly-print 20,838
|
---|
478 | (defun poly-print-1 37,1575
|
---|
479 | (defun poly-print-2 71,2721
|
---|
480 | (defun print-term 79,3033
|
---|
481 | (defun print-monom 93,3574
|
---|
482 | |
---|
483 |
|
---|
484 | prover.lisp,546
|
---|
485 | (defpackage "PROVER"12,687
|
---|
486 | (defvar *prover-order* 24,1117
|
---|
487 | (defun csym 31,1356
|
---|
488 | (defmacro real-identical-points 36,1558
|
---|
489 | (defmacro identical-points 52,2216
|
---|
490 | (defmacro perpendicular 69,2950
|
---|
491 | (defmacro parallel 85,3406
|
---|
492 | (defmacro collinear 102,3858
|
---|
493 | (defmacro equidistant 117,4303
|
---|
494 | (defmacro euclidean-distance 133,4814
|
---|
495 | (defmacro midpoint 145,5187
|
---|
496 | (defmacro translate-statements 159,5603
|
---|
497 | (defmacro translate-assumptions 163,5775
|
---|
498 | (defmacro translate-conclusions 169,5963
|
---|
499 | (defmacro translate-theorem 172,6059
|
---|
500 | (defmacro prove-theorem 187,6950
|
---|
501 | |
---|
502 |
|
---|
503 | rat.lisp,411
|
---|
504 | (defpackage "RAT"22,1062
|
---|
505 | (defun num 33,1415
|
---|
506 | (defun denom 34,1452
|
---|
507 | (defun rat-simplify-2 36,1493
|
---|
508 | (defun rat-simplify 41,1638
|
---|
509 | (defun rat+ 44,1699
|
---|
510 | (defun rat- 51,1874
|
---|
511 | (defun rat* 59,2120
|
---|
512 | (defun rat/ 64,2217
|
---|
513 | (defun scalar-times-rat 69,2314
|
---|
514 | (defun scalar-div-rat 73,2428
|
---|
515 | (defun rat-zerop 76,2517
|
---|
516 | (defun rat-uminus 79,2557
|
---|
517 | (defun rat-expt 82,2619
|
---|
518 | (defun rat-constant 85,2696
|
---|
519 | (defun rat-to-poly 90,2898
|
---|
520 | |
---|
521 |
|
---|
522 | ratpoly.lisp,974
|
---|
523 | (defpackage "RATPOLY"25,1219
|
---|
524 | (defun ratpoly+ 45,2011
|
---|
525 | (defun ratpoly- 61,2463
|
---|
526 | (defun ratpoly-uminus 77,2952
|
---|
527 | (defun ratpoly* 82,3084
|
---|
528 | (defun scalar-times-ratpoly 90,3420
|
---|
529 | (defun rat-times-ratpoly 97,3644
|
---|
530 | (defun ratpoly-divide 104,3861
|
---|
531 | (defun ratpoly-remainder 113,4199
|
---|
532 | (defun ratpoly-gcd 117,4344
|
---|
533 | (defun ratpoly-diff 123,4483
|
---|
534 | (defun ratpoly-square-free 130,4698
|
---|
535 | (defun ratpoly-normalize 134,4836
|
---|
536 | (defun ratpoly-resultant 139,5048
|
---|
537 | (defun deg 157,5548
|
---|
538 | (defun lead 164,5686
|
---|
539 | (defun ratpoly-discriminant 166,5713
|
---|
540 | (defun ratpoly-print 172,5929
|
---|
541 | (defun poly-to-ratpoly 188,6493
|
---|
542 | (defun poly-to-poly1 192,6621
|
---|
543 | (defun poly1-to-ratpoly 204,7023
|
---|
544 | (defun ratpoly-to-poly1 213,7230
|
---|
545 | (defun poly1-to-poly 221,7447
|
---|
546 | (defun ratpoly-to-poly 231,7755
|
---|
547 | (defun poly-resultant 235,7826
|
---|
548 | (defun poly-gcd 246,8241
|
---|
549 | (defun content1 259,8630
|
---|
550 | (defun content1-aux 268,8901
|
---|
551 | (defun content 274,9096
|
---|
552 | (defun primitive-part 278,9189
|
---|
553 | (defun divide-coeffs 283,9351
|
---|
554 | (defun euclid 299,9788
|
---|
555 | |
---|
556 |
|
---|
557 | string-grobner.lisp,534
|
---|
558 | (defpackage "STRING-GROBNER"14,690
|
---|
559 | (defun string-normal-form 35,1252
|
---|
560 | (defun string-grobner 57,1850
|
---|
561 | (defun string-elimination-ideal 85,2688
|
---|
562 | (defun string-ideal-intersection 108,3327
|
---|
563 | (defun string-poly-lcm 123,3855
|
---|
564 | (defun string-ideal-saturation-1 137,4260
|
---|
565 | (defun string-ideal-polysaturation-1 152,4797
|
---|
566 | (defun string-ideal-saturation 172,5498
|
---|
567 | (defun string-ideal-polysaturation 187,6018
|
---|
568 | (defun string-colon-ideal 212,6793
|
---|
569 | (defun string-read-poly 234,7548
|
---|
570 | (defun poly-rational-to-integer 252,8124
|
---|
571 | (defun read-vars 256,8319
|
---|
572 | |
---|
573 |
|
---|
574 | svpoly.lisp,652
|
---|
575 | (defpackage "SVPOLY"11,616
|
---|
576 | (defstruct (svpoly 19,775
|
---|
577 | (defun make-svpoly 25,984
|
---|
578 | (defun svpoly-sort 42,1539
|
---|
579 | (defun make-order 46,1700
|
---|
580 | (defun svpoly-add 62,2277
|
---|
581 | (defun add-terms 69,2526
|
---|
582 | (defun scalar-times-poly 107,3439
|
---|
583 | (defun term-times-poly 114,3690
|
---|
584 | (defun monom-times-poly 118,3888
|
---|
585 | (defun minus-poly 122,4052
|
---|
586 | (defun poly+ 128,4295
|
---|
587 | (defun poly- 152,5097
|
---|
588 | (defun poly* 178,5999
|
---|
589 | (defun poly-op 189,6519
|
---|
590 | (defun poly-expt 195,6746
|
---|
591 | (defun poly-mexpt 212,7464
|
---|
592 | (defun poly-constant-p 223,7934
|
---|
593 | (defun poly-extend 229,8073
|
---|
594 | (defun poly-extend-end 236,8403
|
---|
595 | (defun poly-zerop 240,8592
|
---|
596 | (defun lt 244,8668
|
---|
597 | (defun lm 249,8776
|
---|
598 | (defun lc 254,8896
|
---|
599 | |
---|
600 |
|
---|
601 | term.lisp,264
|
---|
602 | (defpackage "TERM"12,615
|
---|
603 | (defun term* 35,1431
|
---|
604 | (defun term/ 41,1616
|
---|
605 | (defun monom-times-term 47,1807
|
---|
606 | (defun term-divides-p 51,1923
|
---|
607 | (defmacro term-monom 55,2027
|
---|
608 | (defmacro term-coefficient 56,2069
|
---|
609 | (defsetf term-monom 59,2134
|
---|
610 | (defsetf term-coefficient 62,2200
|
---|
611 | |
---|
612 |
|
---|
613 | trivial.lisp,29
|
---|
614 | (defpackage "TRIVIAL"12,617
|
---|
615 | |
---|
616 |
|
---|
617 | xgcd.lisp,46
|
---|
618 | (defpackage "XGCD"12,614
|
---|
619 | (defun xgcd 20,796
|
---|