[1] | 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
|
---|