[1] | 1 | |
---|
| 2 |
|
---|
| 3 | cgb-lisp.lisp,140
|
---|
[43] | 4 | (defpackage "CGB-LISP"22,1268
|
---|
| 5 | (defvar *examples*30,1598
|
---|
| 6 | (defun example 91,3950
|
---|
| 7 | (defun run-example 97,4175
|
---|
[1] | 8 | (defun all-examples 109,4686
|
---|
[43] | 9 | |
---|
| 10 |
|
---|
| 11 | cgb-manuals.lisp,98
|
---|
| 12 | (defpackage "CGB-MANUALS"13,659
|
---|
| 13 | (defvar *cgb-packages*18,751
|
---|
[1] | 14 | (defun create-cgb-manuals 28,1204
|
---|
| 15 | |
---|
[19] | 16 |
|
---|
| 17 | coefficient-ring.lisp,206
|
---|
| 18 | (defpackage "COEFFICIENT-RING"13,698
|
---|
| 19 | (defstruct ring39,1146
|
---|
| 20 | (defvar *ring-of-integers*58,1938
|
---|
[1] | 21 | (defvar *field-of-rationals*73,2256
|
---|
| 22 | (defun field-modulo-prime 90,2691
|
---|
| 23 | (defvar *coefficient-ring* 109,3380
|
---|
[19] | 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
|
---|
[43] | 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
|
---|
[1] | 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
|
---|
[19] | 78 | (defun red-reduction 948,36767
|
---|
| 79 | |
---|
[1] | 80 |
|
---|
| 81 | division.lisp,86
|
---|
| 82 | (defpackage "DIVISION"11,618
|
---|
[19] | 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
|
---|
[1] | 114 | (defun characteristic-matrix 205,7888
|
---|
| 115 | (defun characteristic-polynomial 218,8483
|
---|
| 116 | (defun identity-matrix 227,8963
|
---|
[19] | 117 | (defun print-matrix 236,9346
|
---|
| 118 | (defun jacobi-matrix 241,9530
|
---|
| 119 | (defun jacobian 247,9779
|
---|
| 120 | |
---|
[1] | 121 |
|
---|
| 122 | example.lisp,137
|
---|
| 123 | (defpackage "CGB-LISP"12,618
|
---|
[19] | 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
|
---|
[1] | 212 | (defun cached-grobner-op 1495,59855
|
---|
| 213 | (defun cached-buchberger 1503,60228
|
---|
| 214 | (defun cached-spoly 1551,62189
|
---|
[43] | 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
|
---|
[1] | 307 | (define-character-tokenization #\)840,30737
|
---|
[43] | 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
|
---|
[1] | 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
|
---|
[43] | 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
|
---|
[1] | 330 | (defun package-file 92,3190
|
---|
| 331 | (defun cgb-compile 95,3260
|
---|
[43] | 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
|
---|
[1] | 346 | (defmacro makelist 63,2455
|
---|
| 347 | (defmacro sum 72,2756
|
---|
| 348 | (defmacro summation 75,2819
|
---|
[19] | 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
|
---|
[1] | 354 | (defmacro set-of 113,3885
|
---|
| 355 | (defmacro set-of-1 121,4119
|
---|
| 356 | (defun select 128,4333
|
---|
[19] | 357 | (defun standard-vector 133,4448
|
---|
| 358 | |
---|
| 359 |
|
---|
[1] | 360 | modular.lisp,209
|
---|
| 361 | (defpackage "MODULAR"13,689
|
---|
| 362 | (defun modular-inverse 21,866
|
---|
[19] | 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
|
---|
[1] | 372 | (defun modular-trace-1 25,1046
|
---|
| 373 | (defun frobenius-kernel 31,1237
|
---|
| 374 | |
---|
[19] | 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
|
---|
[1] | 383 | (defun monom-rel-prime 56,2001
|
---|
| 384 | (defun monom-equal 60,2159
|
---|
| 385 | (defun monom-lcm 64,2261
|
---|
[19] | 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
|
---|
[43] | 404 | (defun $poly+ 59,2617
|
---|
| 405 | (defun $poly- 65,2917
|
---|
[1] | 406 | (defun $minus-poly 71,3222
|
---|
| 407 | (defun $poly* 77,3476
|
---|
| 408 | (defun $poly/ 83,3781
|
---|
[19] | 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
|
---|
[1] | 418 | (defun sort-poly-1 213,8545
|
---|
| 419 | (defun sort-poly 219,8789
|
---|
| 420 | (defun poly-eval-1 232,9332
|
---|
[19] | 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
|
---|
[1] | 439 | (defpackage "POLY"11,614
|
---|
| 440 | (defun scalar-times-poly 44,1968
|
---|
| 441 | (defun term-times-poly 51,2255
|
---|
[19] | 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
|
---|
[1] | 465 | (defsetf poly-with-sugar-poly 51,1842
|
---|
| 466 | (defsetf poly-with-sugar-sugar 54,1910
|
---|
| 467 | (defsetf poly-with-sugar-tail 57,1981
|
---|
[19] | 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
|
---|
[1] | 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
|
---|
[19] | 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
|
---|
[1] | 491 | (defun poly-print-2 70,2663
|
---|
| 492 | (defun print-term 78,2975
|
---|
| 493 | (defun print-monom 92,3516
|
---|
[19] | 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
|
---|
[1] | 509 | (defmacro translate-assumptions 162,5717
|
---|
| 510 | (defmacro translate-conclusions 168,5905
|
---|
| 511 | (defmacro translate-theorem 171,6001
|
---|
[19] | 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
|
---|
[1] | 543 | (defun ratpoly-remainder 112,4141
|
---|
| 544 | (defun ratpoly-gcd 116,4286
|
---|
| 545 | (defun ratpoly-diff 122,4425
|
---|
[19] | 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
|
---|
[1] | 559 | (defun poly-resultant 234,7768
|
---|
| 560 | (defun poly-gcd 245,8183
|
---|
| 561 | (defun content1 258,8572
|
---|
[19] | 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 | |
---|
[1] | 585 |
|
---|
| 586 | svpoly.lisp,652
|
---|
| 587 | (defpackage "SVPOLY"11,616
|
---|
[19] | 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
|
---|
[1] | 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
|
---|
[19] | 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
|
---|