Changeset 19 in CGBLisp
- Timestamp:
- Jan 27, 2009, 1:20:06 AM (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/TAGS
r1 r19 11 11 coefficient-ring.lisp,206 12 12 (defpackage "COEFFICIENT-RING"13,698 13 (defstruct ring 40,120314 (defvar *ring-of-integers*5 9,199515 (defvar *field-of-rationals*7 4,231316 (defun field-modulo-prime 9 1,274817 (defvar *coefficient-ring* 1 10,343713 (defstruct ring39,1146 14 (defvar *ring-of-integers*58,1938 15 (defvar *field-of-rationals*73,2256 16 (defun field-modulo-prime 90,2691 17 (defvar *coefficient-ring* 109,3380 18 18 19 19 20 20 colored-poly.lisp,1755 21 21 (defpackage "COLORED-POLY"11,623 22 (defmacro debug-cgb 3 1,138723 (defun make-colored-poly 3 4,148424 (defun make-colored-poly-list 7 5,297225 (defun color-poly-list 8 1,323526 (defun color-poly 9 2,384527 (defun colored-poly-to-poly 10 8,432428 (defun colored-poly-print 11 7,467829 (defun colored-poly-print-list 15 1,612230 (defun determine 17 6,698731 (defun determine-1 20 2,836532 (defun determine-white-term 21 7,903933 (defun determine-white-term 26 7,1102634 (defun cond-system-print 33 7,1399335 (defun cond-print 36 1,1509736 (defun add-pairs 3 70,1539537 (defun cond-part 38 6,1605038 (defun cond-hm 39 1,1620639 (defun delete-green-polys 39 9,1646140 (defun grobner-system 40 6,1673841 (defun reorder-pairs 49 5,2015642 (defun colored-Criterion-1 51 5,2095343 (defun colored-Criterion-2 52 3,2122144 (defun cond-normal-form 54 2,2181045 (defun cond-spoly 60 2,2403546 (defun cond-lm 63 1,2515247 (defun cond-lc 63 7,2535148 (defun colored-term-times-poly 64 3,2550349 (defun colored-scalar-times-poly 64 8,2569450 (defun colored-term* 65 6,2594451 (defun color* 66 3,2619252 (defun color+ 67 3,2646053 (defun color- 68 4,2676954 (defun colored-poly+ 68 8,2683555 (defun colored-poly- 71 1,2764556 (defun colored-term-uminus 73 4,2842357 (defun colored-minus-poly 73 8,2858258 (defun string-grobner-system 74 2,2872859 (defun string-cond 76 8,2972160 (defun string-cover 77 9,3027661 (defun saturate-cover 78 7,3061062 (defun saturate-cond 79 4,3097063 (defun string-determine 80 1,3127164 (defun tidy-grobner-system 81 9,3196865 (defun tidy-pair 82 7,3222566 (defun tidy-cond 84 8,3294867 (defun colored-reduction 85 4,3320368 (defun green-reduce-colored-poly 90 1,3488269 (defun green-reduce-colored-list 91 4,3540470 (defun cond-system-green-reduce 92 5,3575671 (defun parse-to-colored-poly-list 93 6,3608972 (defun red-reduction 94 9,3682322 (defmacro debug-cgb 30,1330 23 (defun make-colored-poly 33,1427 24 (defun make-colored-poly-list 74,2915 25 (defun color-poly-list 80,3178 26 (defun color-poly 91,3788 27 (defun colored-poly-to-poly 107,4267 28 (defun colored-poly-print 116,4621 29 (defun colored-poly-print-list 150,6065 30 (defun determine 175,6930 31 (defun determine-1 201,8308 32 (defun determine-white-term 216,8982 33 (defun determine-white-term 266,10969 34 (defun cond-system-print 336,13936 35 (defun cond-print 360,15040 36 (defun add-pairs 369,15338 37 (defun cond-part 385,15993 38 (defun cond-hm 390,16149 39 (defun delete-green-polys 398,16404 40 (defun grobner-system 405,16681 41 (defun reorder-pairs 494,20099 42 (defun colored-Criterion-1 514,20896 43 (defun colored-Criterion-2 522,21164 44 (defun cond-normal-form 541,21753 45 (defun cond-spoly 601,23978 46 (defun cond-lm 630,25095 47 (defun cond-lc 636,25294 48 (defun colored-term-times-poly 642,25446 49 (defun colored-scalar-times-poly 647,25637 50 (defun colored-term* 655,25887 51 (defun color* 662,26135 52 (defun color+ 672,26403 53 (defun color- 683,26712 54 (defun colored-poly+ 687,26778 55 (defun colored-poly- 710,27588 56 (defun colored-term-uminus 733,28366 57 (defun colored-minus-poly 737,28525 58 (defun string-grobner-system 741,28671 59 (defun string-cond 767,29664 60 (defun string-cover 778,30219 61 (defun saturate-cover 786,30553 62 (defun saturate-cond 793,30913 63 (defun string-determine 800,31214 64 (defun tidy-grobner-system 818,31911 65 (defun tidy-pair 826,32168 66 (defun tidy-cond 847,32891 67 (defun colored-reduction 853,33146 68 (defun green-reduce-colored-poly 900,34825 69 (defun green-reduce-colored-list 913,35347 70 (defun cond-system-green-reduce 924,35699 71 (defun parse-to-colored-poly-list 935,36032 72 (defun red-reduction 948,36766 73 73 74 74 75 75 division.lisp,86 76 76 (defpackage "DIVISION"11,618 77 (defun divide 20,87978 (defun poly-exact-divide 4 7,188277 (defun divide 19,822 78 (defun poly-exact-divide 46,1825 79 79 80 80 81 81 dynamics.lisp,1057 82 82 (defpackage "DYNAMICS"13,690 83 (defun poly-scalar-composition 3 3,136584 (defun poly-composition 4 4,183185 (defun poly-dynamic-power 5 2,223586 (defun poly-scalar-evaluate 5 8,250487 (defun poly-evaluate 7 5,294488 (defun factorial 7 9,314289 (defun poly-scalar-diff 8 4,329590 (defun poly-diff 9 2,361691 (defun scalar-partial 9 8,385192 (defun partial 10 3,405593 (defun determinant 1 10,431394 (defun minor 12 5,480695 (defun drop-row 12 9,498596 (defun drop-column 13 3,508097 (defun drop-elt 13 7,520798 (defun matrix- 14 3,535099 (defun scalar-times-matrix 14 7,5512100 (defun monom-times-matrix 15 1,5670101 (defun term-times-matrix 15 5,5826102 (defun poly-list- 16 1,6016103 (defun scalar-times-poly-list 16 6,6208104 (defun monom-times-poly-list 17 1,6379105 (defun term-times-poly-list 17 6,6553106 (defun characteristic-combination 18 4,6817107 (defun characteristic-combination-poly-list 19 5,7401108 (defun characteristic-matrix 20 6,7945109 (defun characteristic-polynomial 21 9,8540110 (defun identity-matrix 22 8,9020111 (defun print-matrix 23 7,9403112 (defun jacobi-matrix 24 2,9587113 (defun jacobian 24 8,983683 (defun poly-scalar-composition 32,1308 84 (defun poly-composition 43,1774 85 (defun poly-dynamic-power 51,2178 86 (defun poly-scalar-evaluate 57,2447 87 (defun poly-evaluate 74,2887 88 (defun factorial 78,3085 89 (defun poly-scalar-diff 83,3238 90 (defun poly-diff 91,3559 91 (defun scalar-partial 97,3794 92 (defun partial 102,3998 93 (defun determinant 109,4256 94 (defun minor 124,4749 95 (defun drop-row 128,4928 96 (defun drop-column 132,5023 97 (defun drop-elt 136,5150 98 (defun matrix- 142,5293 99 (defun scalar-times-matrix 146,5455 100 (defun monom-times-matrix 150,5613 101 (defun term-times-matrix 154,5769 102 (defun poly-list- 160,5959 103 (defun scalar-times-poly-list 165,6151 104 (defun monom-times-poly-list 170,6322 105 (defun term-times-poly-list 175,6496 106 (defun characteristic-combination 183,6760 107 (defun characteristic-combination-poly-list 194,7344 108 (defun characteristic-matrix 205,7888 109 (defun characteristic-polynomial 218,8483 110 (defun identity-matrix 227,8963 111 (defun print-matrix 236,9346 112 (defun jacobi-matrix 241,9530 113 (defun jacobian 247,9779 114 114 115 115 116 116 example.lisp,137 117 117 (defpackage "CGB-LISP"12,618 118 (defun example 2 2,979119 (defun run-example 2 8,1204120 (defun all-examples 3 9,1672121 (defvar *examples*4 7,1869118 (defun example 21,922 119 (defun run-example 27,1147 120 (defun all-examples 38,1615 121 (defvar *examples*46,1812 122 122 123 123 124 124 grobner.lisp,3523 125 125 (defpackage "GROBNER"12,688 126 (defvar *grobner-debug* 6 1,1702127 (defvar *buchberger-merge-pairs* 6 4,1780128 (defvar *gebauer-moeller-merge-pairs* 6 8,1983129 (defvar *grobner-function* 7 2,2202130 (defun select-grobner-algorithm 7 5,2304131 (defun grobner 8 7,2752132 (defmacro debug-cgb 10 9,3873133 (defun spoly 11 7,4228134 (defun grobner-primitive-part 13 6,4864135 (defun grobner-content 15 4,5326136 (defun normal-form 16 3,5686137 (defun buchberger 20 6,7541138 (defun grobner-op 25 5,9601139 (defun buchberger-sort-pairs 31 9,11390140 (defun mock-spoly 32 9,11801141 (defun buchberger-merge-pairs-use-mock-spoly 3 50,12550142 (defun buchberger-merge-pairs-smallest-lcm 37 4,13648143 (defun buchberger-merge-pairs-use-smallest-degree 3 90,14422144 (defun buchberger-merge-pairs-use-smallest-length 400,14893145 (defun buchberger-merge-pairs-use-smallest-coefficient-length 4 10,15353146 (defun buchberger-set-pair-heuristic42 3,15932147 (defun Criterion-1 44 2,16800148 (defun Criterion-2 4 50,17126149 (defun normalize-poly 47 3,18102150 (defun normalize-basis 48 4,18516151 (defun reduction 48 9,18746152 (defun reduced-grobner 51 3,19421153 (defvar *vars* 52 3,19847154 (defun monom-depends-p 52 6,19957155 (defun term-depends-p 53 1,20107156 (defun poly-depends-p 53 6,20279157 (defun ring-intersection 5 40,20430158 (defun elimination-ideal 5 50,20831159 (defun ideal-intersection 57 7,21977160 (defun poly-contract 60 4,22921161 (defun poly-lcm 61 5,23530162 (defun grobner-gcd 63 8,24382163 (defun grobner-equal 64 8,24839164 (defun grobner-subsetp 65 4,25130165 (defun grobner-member 6 60,25459166 (defun ideal-equal 66 5,25744167 (defun ideal-subsetp 67 2,26030168 (defun ideal-member 6 80,26353169 (defun ideal-saturation-1 68 7,26654170 (defun add-variables 70 6,27375171 (defun extend-polynomials 71 7,27757172 (defun saturation-extension 73 5,28646173 (defun polysaturation-extension 75 3,29584174 (defun saturation-extension-1 76 9,30480175 (defun ideal-polysaturation-1 77 7,30848176 (defun ideal-saturation 78 7,31374177 (defun ideal-polysaturation 80 8,32255178 (defun buchberger-criterion 81 7,32711179 (defun grobner-test 82 8,33084180 (defun minimization 84 5,33657181 (defun add-minimized 86 3,34207182 (defun colon-ideal 87 2,34569183 (defun colon-ideal-1 89 4,35317184 (defun pseudo-divide 90 1,35628185 (defun gebauer-moeller 9 50,37701186 (defun update 98 8,39076187 (defun gebauer-moeller-merge-pairs-use-mock-spoly 103 4,40708188 (defun gebauer-moeller-merge-pairs-smallest-lcm 104 8,41274189 (defun gebauer-moeller-merge-pairs-use-smallest-degree 105 9,41725190 (defun gebauer-moeller-merge-pairs-use-smallest-length 107 1,42183191 (defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 108 5,42674192 (defun gebauer-moeller-set-pair-heuristic109 7,43232193 (defun spoly-sugar 111 5,44072194 (defun spoly-with-sugar 114 1,45426195 (defun normal-form-with-sugar 115 8,46104196 (defun buchberger-with-sugar 120 6,48312197 (defun buchberger-with-sugar-merge-pairs 126 3,50670198 (defun buchberger-with-sugar-sort-pairs 129 7,51929199 (defun Criterion-1-with-sugar 130 1,52104200 (defun Criterion-2-with-sugar 130 7,52404201 (defun gebauer-moeller-with-sugar 132 9,53329202 (defun update-with-sugar 137 5,55085203 (defun gebauer-moeller-with-sugar-merge-pairs 142 6,57206204 (defun grobner-primitive-part-with-sugar 144 9,58069205 (defun cached-normal-form 145 7,58377206 (defun cached-grobner-op 149 6,59912207 (defun cached-buchberger 150 4,60285208 (defun cached-spoly 155 2,62246209 (defun cached-monom-times-poly 156 8,62832210 (defun cached-normal-form-with-sugar 158 1,63327211 (defun cached-buchberger-with-sugar 163 1,65617212 (defun cached-poly-with-sugar-op 169 4,68276213 (defun cached-monom-times-poly-with-sugar 169 7,68455126 (defvar *grobner-debug* 60,1645 127 (defvar *buchberger-merge-pairs* 63,1723 128 (defvar *gebauer-moeller-merge-pairs* 67,1926 129 (defvar *grobner-function* 71,2145 130 (defun select-grobner-algorithm 74,2247 131 (defun grobner 86,2695 132 (defmacro debug-cgb 108,3816 133 (defun spoly 116,4171 134 (defun grobner-primitive-part 135,4807 135 (defun grobner-content 153,5269 136 (defun normal-form 162,5629 137 (defun buchberger 205,7484 138 (defun grobner-op 254,9544 139 (defun buchberger-sort-pairs 318,11333 140 (defun mock-spoly 328,11744 141 (defun buchberger-merge-pairs-use-mock-spoly 349,12493 142 (defun buchberger-merge-pairs-smallest-lcm 373,13591 143 (defun buchberger-merge-pairs-use-smallest-degree 389,14365 144 (defun buchberger-merge-pairs-use-smallest-length 399,14836 145 (defun buchberger-merge-pairs-use-smallest-coefficient-length 409,15296 146 (defun buchberger-set-pair-heuristic422,15875 147 (defun Criterion-1 441,16743 148 (defun Criterion-2 449,17069 149 (defun normalize-poly 472,18045 150 (defun normalize-basis 483,18459 151 (defun reduction 488,18689 152 (defun reduced-grobner 512,19364 153 (defvar *vars* 522,19790 154 (defun monom-depends-p 525,19900 155 (defun term-depends-p 530,20050 156 (defun poly-depends-p 535,20222 157 (defun ring-intersection 539,20373 158 (defun elimination-ideal 549,20774 159 (defun ideal-intersection 576,21920 160 (defun poly-contract 603,22864 161 (defun poly-lcm 614,23473 162 (defun grobner-gcd 637,24325 163 (defun grobner-equal 647,24782 164 (defun grobner-subsetp 653,25073 165 (defun grobner-member 659,25402 166 (defun ideal-equal 664,25687 167 (defun ideal-subsetp 671,25973 168 (defun ideal-member 679,26296 169 (defun ideal-saturation-1 686,26597 170 (defun add-variables 705,27318 171 (defun extend-polynomials 716,27700 172 (defun saturation-extension 734,28589 173 (defun polysaturation-extension 752,29527 174 (defun saturation-extension-1 768,30423 175 (defun ideal-polysaturation-1 776,30791 176 (defun ideal-saturation 786,31317 177 (defun ideal-polysaturation 807,32198 178 (defun buchberger-criterion 816,32654 179 (defun grobner-test 827,33027 180 (defun minimization 844,33600 181 (defun add-minimized 862,34150 182 (defun colon-ideal 871,34512 183 (defun colon-ideal-1 893,35260 184 (defun pseudo-divide 900,35571 185 (defun gebauer-moeller 949,37644 186 (defun update 987,39019 187 (defun gebauer-moeller-merge-pairs-use-mock-spoly 1033,40651 188 (defun gebauer-moeller-merge-pairs-smallest-lcm 1047,41217 189 (defun gebauer-moeller-merge-pairs-use-smallest-degree 1058,41668 190 (defun gebauer-moeller-merge-pairs-use-smallest-length 1070,42126 191 (defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 1084,42617 192 (defun gebauer-moeller-set-pair-heuristic1096,43175 193 (defun spoly-sugar 1114,44015 194 (defun spoly-with-sugar 1140,45369 195 (defun normal-form-with-sugar 1157,46047 196 (defun buchberger-with-sugar 1205,48255 197 (defun buchberger-with-sugar-merge-pairs 1262,50613 198 (defun buchberger-with-sugar-sort-pairs 1296,51872 199 (defun Criterion-1-with-sugar 1300,52047 200 (defun Criterion-2-with-sugar 1306,52347 201 (defun gebauer-moeller-with-sugar 1328,53272 202 (defun update-with-sugar 1374,55028 203 (defun gebauer-moeller-with-sugar-merge-pairs 1425,57149 204 (defun grobner-primitive-part-with-sugar 1448,58012 205 (defun cached-normal-form 1456,58320 206 (defun cached-grobner-op 1495,59855 207 (defun cached-buchberger 1503,60228 208 (defun cached-spoly 1551,62189 209 (defun cached-monom-times-poly 1567,62775 210 (defun cached-normal-form-with-sugar 1580,63270 211 (defun cached-buchberger-with-sugar 1630,65560 212 (defun cached-poly-with-sugar-op 1693,68219 213 (defun cached-monom-times-poly-with-sugar 1696,68398 214 214 215 215 216 216 infix.lisp,3615 217 217 (defpackage "INFIX"265,12470 218 (defparameter *infix-readtable* 30 8,14181219 (defparameter *normal-readtable* 30 9,14235220 (defmacro infix-error 31 1,14291221 (defun infix-reader 31 5,14422222 (defun string->prefix 33 5,15181223 (defun read-infix 34 4,15473224 (defun read-regular 35 1,15745225 (defun same-operator-p 3 60,15959226 (defun same-token-p 36 3,16011227 (defvar *peeked-token* 3 70,16159228 (defun read-token 37 1,16187229 (defun peek-token 37 5,16292230 (defun fancy-number-format-p 38 3,16532231 (defun valid-numberp 40 7,17354232 (defun gather-superiors 42 1,17735233 (defun get-first-token 44 2,18658234 (defun apply-token-prefix-operator 4 50,18882235 (defun get-next-token 45 6,19085236 (defun apply-token-infix-operator 4 60,19212237 (defun infix-read-delimited-list 46 9,19505238 (defparameter *operator-ordering* 48 9,20255239 (defun operator-lessp 51 2,20887240 (defparameter *right-associative-operators* 51 9,21084241 (defun operator-right-associative-p 5 20,21136242 (defvar *token-operators* 52 8,21347243 (defvar *token-prefix-operator-table* 52 9,21378244 (defvar *token-infix-operator-table* 5 30,21435245 (defun token-operator-p 53 1,21491246 (defun get-token-prefix-operator 53 3,21557247 (defun get-token-infix-operator 53 5,21647248 (define-token-operator and57 5,22941249 (define-token-operator or57 7,23026250 (define-token-operator not57 9,23108251 (define-token-operator if58 2,23188252 (define-token-operator then60 4,23868253 (define-token-operator else60 6,23952254 (define-character-tokenization #\+60 9,24037255 (define-token-operator +61 7,24249256 (define-token-operator +=6 20,24368257 (define-character-tokenization #\-62 3,24452258 (define-token-operator -63 1,24664259 (define-token-operator -=63 4,24789260 (define-character-tokenization #\*63 7,24873261 (define-token-operator *64 5,25085262 (define-token-operator *=64 7,25163263 (define-character-tokenization #\/65 4,25309264 (define-token-operator /66 2,25521265 (define-token-operator /=66 5,25646266 (define-character-tokenization #\^67 2,25792267 (define-token-operator ^6 80,26004268 (define-token-operator ^^68 2,26085269 (define-character-tokenization #\|68 5,26171270 (define-token-operator \|69 3,26384271 (define-character-tokenization #\&69 6,26470272 (define-token-operator \&70 4,26684273 (define-character-tokenization #\%70 7,26770274 (define-token-operator \%71 1,26872275 (define-character-tokenization #\~71 4,26955276 (define-token-operator \~71 8,27057277 (define-character-tokenization #\,72 1,27138278 (define-token-operator \,72 5,27240279 (define-character-tokenization #\=72 8,27325280 (define-token-operator ===73 6,27537281 (define-token-operator ==73 8,27617282 (define-character-tokenization #\: 74 5,27750283 (define-token-operator |:=75 3,28009284 (define-character-tokenization #\<7 60,28191285 (define-token-operator <77 1,28502286 (define-token-operator <=77 3,28580287 (define-token-operator <<77 5,28661288 (define-character-tokenization #\>77 8,28744289 (define-token-operator >78 9,29055290 (define-token-operator >=79 1,29133291 (define-token-operator >>79 3,29214292 (define-character-tokenization #\!79 6,29301293 (define-token-operator !=80 4,29513294 (define-token-operator !80 6,29599295 (define-character-tokenization #\[80 9,29660296 (define-token-operator \[81 3,29762297 (define-character-tokenization #\(82 1,30077298 (define-token-operator \(82 5,30179299 (define-character-tokenization #\]83 4,30506300 (define-token-operator \]83 8,30608301 (define-character-tokenization #\)84 1,30707302 (define-token-operator \)84 5,30809303 (define-character-tokenization #\$8 50,30979304 (define-token-operator %infix-end-token%85 4,31096305 (define-character-tokenization #\;85 9,31277306 (defun post-process-expression 88 7,32148307 (defparameter *test-cases*93 1,33513308 (defun test-infix 108 7,40204309 (defun test-infix-case 109 6,40476218 (defparameter *infix-readtable* 307,14148 219 (defparameter *normal-readtable* 308,14202 220 (defmacro infix-error 310,14258 221 (defun infix-reader 314,14389 222 (defun string->prefix 334,15148 223 (defun read-infix 343,15440 224 (defun read-regular 350,15712 225 (defun same-operator-p 359,15926 226 (defun same-token-p 362,15978 227 (defvar *peeked-token* 369,16126 228 (defun read-token 370,16154 229 (defun peek-token 374,16259 230 (defun fancy-number-format-p 382,16499 231 (defun valid-numberp 406,17321 232 (defun gather-superiors 420,17702 233 (defun get-first-token 441,18625 234 (defun apply-token-prefix-operator 449,18849 235 (defun get-next-token 455,19052 236 (defun apply-token-infix-operator 459,19179 237 (defun infix-read-delimited-list 468,19472 238 (defparameter *operator-ordering* 488,20222 239 (defun operator-lessp 511,20854 240 (defparameter *right-associative-operators* 518,21051 241 (defun operator-right-associative-p 519,21103 242 (defvar *token-operators* 527,21314 243 (defvar *token-prefix-operator-table* 528,21345 244 (defvar *token-infix-operator-table* 529,21402 245 (defun token-operator-p 530,21458 246 (defun get-token-prefix-operator 532,21524 247 (defun get-token-infix-operator 534,21614 248 (define-token-operator and574,22956 249 (define-token-operator or576,23041 250 (define-token-operator not578,23123 251 (define-token-operator if581,23203 252 (define-token-operator then603,23883 253 (define-token-operator else605,23967 254 (define-character-tokenization #\+608,24052 255 (define-token-operator +616,24264 256 (define-token-operator +=619,24383 257 (define-character-tokenization #\-622,24467 258 (define-token-operator -630,24679 259 (define-token-operator -=633,24804 260 (define-character-tokenization #\*636,24888 261 (define-token-operator *644,25100 262 (define-token-operator *=646,25178 263 (define-character-tokenization #\/653,25324 264 (define-token-operator /661,25536 265 (define-token-operator /=664,25661 266 (define-character-tokenization #\^671,25807 267 (define-token-operator ^679,26019 268 (define-token-operator ^^681,26100 269 (define-character-tokenization #\|684,26186 270 (define-token-operator \|692,26399 271 (define-character-tokenization #\&695,26485 272 (define-token-operator \&703,26699 273 (define-character-tokenization #\%706,26785 274 (define-token-operator \%710,26887 275 (define-character-tokenization #\~713,26970 276 (define-token-operator \~717,27072 277 (define-character-tokenization #\,720,27153 278 (define-token-operator \,724,27255 279 (define-character-tokenization #\=727,27340 280 (define-token-operator ===735,27552 281 (define-token-operator ==737,27632 282 (define-character-tokenization #\: 744,27765 283 (define-token-operator |:=752,28024 284 (define-character-tokenization #\<759,28206 285 (define-token-operator <770,28517 286 (define-token-operator <=772,28595 287 (define-token-operator <<774,28676 288 (define-character-tokenization #\>777,28759 289 (define-token-operator >788,29070 290 (define-token-operator >=790,29148 291 (define-token-operator >>792,29229 292 (define-character-tokenization #\!795,29316 293 (define-token-operator !=803,29528 294 (define-token-operator !805,29614 295 (define-character-tokenization #\[808,29675 296 (define-token-operator \[812,29777 297 (define-character-tokenization #\(820,30092 298 (define-token-operator \(824,30194 299 (define-character-tokenization #\]833,30521 300 (define-token-operator \]837,30623 301 (define-character-tokenization #\)840,30722 302 (define-token-operator \)844,30824 303 (define-character-tokenization #\$849,30994 304 (define-token-operator %infix-end-token%853,31111 305 (define-character-tokenization #\;858,31292 306 (defun post-process-expression 886,32163 307 (defparameter *test-cases*930,33528 308 (defun test-infix 1086,40219 309 (defun test-infix-case 1095,40491 310 310 311 311 … … 348 348 modular.lisp,209 349 349 (defpackage "MODULAR"13,689 350 (defun modular-inverse 2 2,923351 (defun modular-division 2 9,1114352 (defvar *inverse-by-lookup-limit* 3 3,1220353 (defun make-inverse-table 3 7,1422354 (defun make-modular-division 4 3,1731350 (defun modular-inverse 21,866 351 (defun modular-division 28,1057 352 (defvar *inverse-by-lookup-limit* 32,1163 353 (defun make-inverse-table 36,1365 354 (defun make-modular-division 42,1674 355 355 356 356 357 357 modular-poly.lisp,128 358 358 (defpackage "MODULAR-POLY"13,694 359 (defun modular-trace 2 2,939360 (defun modular-trace-1 2 6,1103361 (defun frobenius-kernel 3 2,1294359 (defun modular-trace 21,882 360 (defun modular-trace-1 25,1046 361 (defun frobenius-kernel 31,1237 362 362 363 363 364 364 monom.lisp,278 365 365 (defpackage "MONOM"11,615 366 (defun monom/ 3 6,1447367 (defun monom* 40,1531368 (defun nmonom* 4 4,1617369 (defun monom-divides-p 4 9,1805370 (defun monom-divisible-by-p 5 3,1925371 (defun monom-rel-prime 5 7,2058372 (defun monom-equal 6 1,2216373 (defun monom-lcm 6 5,2318374 (defun monom-gcd 6 9,2426366 (defun monom/ 35,1390 367 (defun monom* 39,1474 368 (defun nmonom* 43,1560 369 (defun monom-divides-p 48,1748 370 (defun monom-divisible-by-p 52,1868 371 (defun monom-rel-prime 56,2001 372 (defun monom-equal 60,2159 373 (defun monom-lcm 64,2261 374 (defun monom-gcd 68,2369 375 375 376 376 377 377 order.lisp,246 378 378 (defpackage "ORDER"24,1190 379 (defun lex> 4 1,1496380 (defun total-degree 5 3,1934381 (defun grlex> 5 8,2131382 (defun revlex> 70,2546383 (defun grevlex> 8 5,3169384 (defun invlex> 9 5,3563385 (defun elimination-order 11 4,4281386 (defun elimination-order-1 12 7,4828379 (defun lex> 40,1439 380 (defun total-degree 52,1877 381 (defun grlex> 57,2074 382 (defun revlex> 69,2489 383 (defun grevlex> 84,3112 384 (defun invlex> 94,3506 385 (defun elimination-order 113,4224 386 (defun elimination-order-1 126,4771 387 387 388 388 389 389 parse.lisp,608 390 390 (defpackage "PARSE"12,688 391 (defun convert-number 5 2,2312392 (defun $poly+ 60,2674393 (defun $poly- 6 6,2974394 (defun $minus-poly 7 2,3279395 (defun $poly* 7 8,3533396 (defun $poly/ 8 4,3838397 (defun $poly-expt 9 1,4086398 (defun parse 9 7,4350399 (defun alist-form 13 3,5496400 (defun alist-form-1 14 5,5921401 (defun powers 15 6,6254402 (defun parse-to-alist 1 70,6761403 (defun parse-string-to-alist 18 1,7217404 (defun parse-to-sorted-alist 19 4,7750405 (defun parse-string-to-sorted-alist 20 8,8336406 (defun sort-poly-1 21 4,8602407 (defun sort-poly 2 20,8846408 (defun poly-eval-1 23 3,9389409 (defun poly-eval 25 7,10410410 (defun monom-basis 27 4,11309391 (defun convert-number 51,2255 392 (defun $poly+ 59,2617 393 (defun $poly- 65,2917 394 (defun $minus-poly 71,3222 395 (defun $poly* 77,3476 396 (defun $poly/ 83,3781 397 (defun $poly-expt 90,4029 398 (defun parse 96,4293 399 (defun alist-form 132,5439 400 (defun alist-form-1 144,5864 401 (defun powers 155,6197 402 (defun parse-to-alist 169,6704 403 (defun parse-string-to-alist 180,7160 404 (defun parse-to-sorted-alist 193,7693 405 (defun parse-string-to-sorted-alist 207,8279 406 (defun sort-poly-1 213,8545 407 (defun sort-poly 219,8789 408 (defun poly-eval-1 232,9332 409 (defun poly-eval 256,10353 410 (defun monom-basis 273,11252 411 411 412 412 413 413 poly-gcd.lisp,281 414 414 (defpackage "POLY-GCD"11,618 415 (defun poly-gcd 2 9,1243416 (defun poly-pseudo-divide 4 7,1758417 (defun poly-pseudo-remainder 6 3,2193418 (defun mdeg 6 7,2315419 (defun lcoeff 70,2412420 (defun lrest 7 3,2474421 (defun lpart 7 6,2536422 (defun poly-primitive-part 8 4,2755423 (defun poly-content 9 2,2899415 (defun poly-gcd 28,1186 416 (defun poly-pseudo-divide 46,1701 417 (defun poly-pseudo-remainder 62,2136 418 (defun mdeg 66,2258 419 (defun lcoeff 69,2355 420 (defun lrest 72,2417 421 (defun lpart 75,2479 422 (defun poly-primitive-part 83,2698 423 (defun poly-content 91,2842 424 424 425 425 426 426 poly.lisp,509 427 427 (defpackage "POLY"11,614 428 (defun scalar-times-poly 4 5,2025429 (defun term-times-poly 5 2,2312430 (defun monom-times-poly 5 6,2510431 (defun minus-poly 60,2674432 (defun sort-poly 6 5,2916433 (defun poly+ 7 7,3335434 (defun poly- 10 1,4095435 (defun poly* 12 7,4967436 (defun poly-op 13 8,5487437 (defun poly-expt 14 4,5714438 (defun poly-mexpt 16 1,6432439 (defun poly-constant-p 17 2,6902440 (defun poly-extend 17 8,7041441 (defun poly-extend-end 18 5,7371442 (defun poly-zerop 18 9,7560443 (defun lt 19 3,7636444 (defun lm 19 8,7744445 (defun lc 20 3,7864428 (defun scalar-times-poly 44,1968 429 (defun term-times-poly 51,2255 430 (defun monom-times-poly 55,2453 431 (defun minus-poly 59,2617 432 (defun sort-poly 64,2859 433 (defun poly+ 76,3278 434 (defun poly- 100,4038 435 (defun poly* 126,4910 436 (defun poly-op 137,5430 437 (defun poly-expt 143,5657 438 (defun poly-mexpt 160,6375 439 (defun poly-constant-p 171,6845 440 (defun poly-extend 177,6984 441 (defun poly-extend-end 184,7314 442 (defun poly-zerop 188,7503 443 (defun lt 192,7579 444 (defun lm 197,7687 445 (defun lc 202,7807 446 446 447 447 448 448 poly-with-sugar.lisp,890 449 449 (defpackage "POLY-WITH-SUGAR"11,625 450 (defun poly-with-sugar-poly 4 8,1758451 (defun poly-with-sugar-sugar 4 9,1799452 (defun poly-with-sugar-tail 50,1841453 (defsetf poly-with-sugar-poly 5 2,1899454 (defsetf poly-with-sugar-sugar 5 5,1967455 (defsetf poly-with-sugar-tail 5 8,2038456 (defun monom-sugar 6 5,2301457 (defun coefficient-sugar 6 8,2345458 (defun term-sugar 7 1,2414459 (defun poly-add-sugar 7 8,2686460 (defun scalar-times-poly-with-sugar 8 3,2847461 (defun term-times-poly-with-sugar 8 8,3028462 (defun monom-times-poly-with-sugar 9 3,3241463 (defun minus-poly-with-sugar 9 9,3442464 (defun poly-with-sugar+ 10 5,3619465 (defun poly-with-sugar- 11 1,3856466 (defun poly-with-sugar-op 11 7,4061467 (defun poly-with-sugar-nreverse 12 2,4256468 (defun poly-with-sugar-append 12 8,4487469 (defun poly-with-sugar-zerop 13 2,4652470 (defun poly-with-sugar-lm 13 5,4727471 (defun poly-with-sugar-lc 13 8,4791472 (defun poly-with-sugar-lt 14 1,4855450 (defun poly-with-sugar-poly 47,1701 451 (defun poly-with-sugar-sugar 48,1742 452 (defun poly-with-sugar-tail 49,1784 453 (defsetf poly-with-sugar-poly 51,1842 454 (defsetf poly-with-sugar-sugar 54,1910 455 (defsetf poly-with-sugar-tail 57,1981 456 (defun monom-sugar 64,2244 457 (defun coefficient-sugar 67,2288 458 (defun term-sugar 70,2357 459 (defun poly-add-sugar 77,2629 460 (defun scalar-times-poly-with-sugar 82,2790 461 (defun term-times-poly-with-sugar 87,2971 462 (defun monom-times-poly-with-sugar 92,3184 463 (defun minus-poly-with-sugar 98,3385 464 (defun poly-with-sugar+ 104,3562 465 (defun poly-with-sugar- 110,3799 466 (defun poly-with-sugar-op 116,4004 467 (defun poly-with-sugar-nreverse 121,4199 468 (defun poly-with-sugar-append 127,4430 469 (defun poly-with-sugar-zerop 131,4595 470 (defun poly-with-sugar-lm 134,4670 471 (defun poly-with-sugar-lc 137,4734 472 (defun poly-with-sugar-lt 140,4798 473 473 474 474 475 475 printer.lisp,168 476 476 (defpackage "PRINTER"11,617 477 (defun poly-print 20,838478 (defun poly-print-1 3 7,1575479 (defun poly-print-2 7 1,2721480 (defun print-term 7 9,3033481 (defun print-monom 9 3,3574477 (defun poly-print 19,780 478 (defun poly-print-1 36,1517 479 (defun poly-print-2 70,2663 480 (defun print-term 78,2975 481 (defun print-monom 92,3516 482 482 483 483 484 484 prover.lisp,546 485 485 (defpackage "PROVER"12,687 486 (defvar *prover-order* 2 4,1117487 (defun csym 3 1,1356488 (defmacro real-identical-points 3 6,1558489 (defmacro identical-points 5 2,2216490 (defmacro perpendicular 6 9,2950491 (defmacro parallel 8 5,3406492 (defmacro collinear 10 2,3858493 (defmacro equidistant 11 7,4303494 (defmacro euclidean-distance 13 3,4814495 (defmacro midpoint 14 5,5187496 (defmacro translate-statements 15 9,5603497 (defmacro translate-assumptions 16 3,5775498 (defmacro translate-conclusions 16 9,5963499 (defmacro translate-theorem 17 2,6059500 (defmacro prove-theorem 18 7,6950486 (defvar *prover-order* 23,1059 487 (defun csym 30,1298 488 (defmacro real-identical-points 35,1500 489 (defmacro identical-points 51,2158 490 (defmacro perpendicular 68,2892 491 (defmacro parallel 84,3348 492 (defmacro collinear 101,3800 493 (defmacro equidistant 116,4245 494 (defmacro euclidean-distance 132,4756 495 (defmacro midpoint 144,5129 496 (defmacro translate-statements 158,5545 497 (defmacro translate-assumptions 162,5717 498 (defmacro translate-conclusions 168,5905 499 (defmacro translate-theorem 171,6001 500 (defmacro prove-theorem 186,6892 501 501 502 502 503 503 rat.lisp,411 504 504 (defpackage "RAT"22,1062 505 (defun num 3 3,1415506 (defun denom 3 4,1452507 (defun rat-simplify-2 3 6,1493508 (defun rat-simplify 4 1,1638509 (defun rat+ 4 4,1699510 (defun rat- 5 1,1874511 (defun rat* 5 9,2120512 (defun rat/ 6 4,2217513 (defun scalar-times-rat 6 9,2314514 (defun scalar-div-rat 7 3,2428515 (defun rat-zerop 7 6,2517516 (defun rat-uminus 7 9,2557517 (defun rat-expt 8 2,2619518 (defun rat-constant 8 5,2696519 (defun rat-to-poly 90,2898505 (defun num 32,1357 506 (defun denom 33,1394 507 (defun rat-simplify-2 35,1435 508 (defun rat-simplify 40,1580 509 (defun rat+ 43,1641 510 (defun rat- 50,1816 511 (defun rat* 58,2062 512 (defun rat/ 63,2159 513 (defun scalar-times-rat 68,2256 514 (defun scalar-div-rat 72,2370 515 (defun rat-zerop 75,2459 516 (defun rat-uminus 78,2499 517 (defun rat-expt 81,2561 518 (defun rat-constant 84,2638 519 (defun rat-to-poly 89,2840 520 520 521 521 522 522 ratpoly.lisp,974 523 523 (defpackage "RATPOLY"25,1219 524 (defun ratpoly+ 4 5,2011525 (defun ratpoly- 6 1,2463526 (defun ratpoly-uminus 7 7,2952527 (defun ratpoly* 8 2,3084528 (defun scalar-times-ratpoly 90,3420529 (defun rat-times-ratpoly 9 7,3644530 (defun ratpoly-divide 10 4,3861531 (defun ratpoly-remainder 11 3,4199532 (defun ratpoly-gcd 11 7,4344533 (defun ratpoly-diff 12 3,4483534 (defun ratpoly-square-free 1 30,4698535 (defun ratpoly-normalize 13 4,4836536 (defun ratpoly-resultant 13 9,5048537 (defun deg 15 7,5548538 (defun lead 16 4,5686539 (defun ratpoly-discriminant 16 6,5713540 (defun ratpoly-print 17 2,5929541 (defun poly-to-ratpoly 18 8,6493542 (defun poly-to-poly1 19 2,6621543 (defun poly1-to-ratpoly 20 4,7023544 (defun ratpoly-to-poly1 21 3,7230545 (defun poly1-to-poly 22 1,7447546 (defun ratpoly-to-poly 23 1,7755547 (defun poly-resultant 23 5,7826548 (defun poly-gcd 24 6,8241549 (defun content1 25 9,8630550 (defun content1-aux 26 8,8901551 (defun content 27 4,9096552 (defun primitive-part 27 8,9189553 (defun divide-coeffs 28 3,9351554 (defun euclid 29 9,9788524 (defun ratpoly+ 44,1953 525 (defun ratpoly- 60,2405 526 (defun ratpoly-uminus 76,2894 527 (defun ratpoly* 81,3026 528 (defun scalar-times-ratpoly 89,3362 529 (defun rat-times-ratpoly 96,3586 530 (defun ratpoly-divide 103,3803 531 (defun ratpoly-remainder 112,4141 532 (defun ratpoly-gcd 116,4286 533 (defun ratpoly-diff 122,4425 534 (defun ratpoly-square-free 129,4640 535 (defun ratpoly-normalize 133,4778 536 (defun ratpoly-resultant 138,4990 537 (defun deg 156,5490 538 (defun lead 163,5628 539 (defun ratpoly-discriminant 165,5655 540 (defun ratpoly-print 171,5871 541 (defun poly-to-ratpoly 187,6435 542 (defun poly-to-poly1 191,6563 543 (defun poly1-to-ratpoly 203,6965 544 (defun ratpoly-to-poly1 212,7172 545 (defun poly1-to-poly 220,7389 546 (defun ratpoly-to-poly 230,7697 547 (defun poly-resultant 234,7768 548 (defun poly-gcd 245,8183 549 (defun content1 258,8572 550 (defun content1-aux 267,8843 551 (defun content 273,9038 552 (defun primitive-part 277,9131 553 (defun divide-coeffs 282,9293 554 (defun euclid 298,9730 555 555 556 556 557 557 string-grobner.lisp,534 558 558 (defpackage "STRING-GROBNER"14,690 559 (defun string-normal-form 3 5,1252560 (defun string-grobner 5 7,1850561 (defun string-elimination-ideal 8 5,2688562 (defun string-ideal-intersection 10 8,3327563 (defun string-poly-lcm 12 3,3855564 (defun string-ideal-saturation-1 13 7,4260565 (defun string-ideal-polysaturation-1 15 2,4797566 (defun string-ideal-saturation 17 2,5498567 (defun string-ideal-polysaturation 18 7,6018568 (defun string-colon-ideal 21 2,6793569 (defun string-read-poly 23 4,7548570 (defun poly-rational-to-integer 25 2,8124571 (defun read-vars 25 6,8319559 (defun string-normal-form 34,1195 560 (defun string-grobner 56,1793 561 (defun string-elimination-ideal 84,2631 562 (defun string-ideal-intersection 107,3270 563 (defun string-poly-lcm 122,3798 564 (defun string-ideal-saturation-1 136,4203 565 (defun string-ideal-polysaturation-1 151,4740 566 (defun string-ideal-saturation 171,5441 567 (defun string-ideal-polysaturation 186,5961 568 (defun string-colon-ideal 211,6736 569 (defun string-read-poly 233,7491 570 (defun poly-rational-to-integer 251,8067 571 (defun read-vars 255,8262 572 572 573 573 574 574 svpoly.lisp,652 575 575 (defpackage "SVPOLY"11,616 576 (defstruct (svpoly 1 9,775577 (defun make-svpoly 2 5,984578 (defun svpoly-sort 4 2,1539579 (defun make-order 4 6,1700580 (defun svpoly-add 6 2,2277581 (defun add-terms 6 9,2526582 (defun scalar-times-poly 10 7,3439583 (defun term-times-poly 11 4,3690584 (defun monom-times-poly 11 8,3888585 (defun minus-poly 12 2,4052586 (defun poly+ 12 8,4295587 (defun poly- 15 2,5097588 (defun poly* 17 8,5999589 (defun poly-op 18 9,6519590 (defun poly-expt 19 5,6746591 (defun poly-mexpt 21 2,7464592 (defun poly-constant-p 22 3,7934593 (defun poly-extend 22 9,8073594 (defun poly-extend-end 23 6,8403595 (defun poly-zerop 2 40,8592596 (defun lt 24 4,8668597 (defun lm 24 9,8776598 (defun lc 25 4,8896576 (defstruct (svpoly 18,718 577 (defun make-svpoly 24,927 578 (defun svpoly-sort 41,1482 579 (defun make-order 45,1643 580 (defun svpoly-add 61,2220 581 (defun add-terms 68,2469 582 (defun scalar-times-poly 106,3382 583 (defun term-times-poly 113,3633 584 (defun monom-times-poly 117,3831 585 (defun minus-poly 121,3995 586 (defun poly+ 127,4238 587 (defun poly- 151,5040 588 (defun poly* 177,5942 589 (defun poly-op 188,6462 590 (defun poly-expt 194,6689 591 (defun poly-mexpt 211,7407 592 (defun poly-constant-p 222,7877 593 (defun poly-extend 228,8016 594 (defun poly-extend-end 235,8346 595 (defun poly-zerop 239,8535 596 (defun lt 243,8611 597 (defun lm 248,8719 598 (defun lc 253,8839 599 599 600 600 601 601 term.lisp,264 602 602 (defpackage "TERM"12,615 603 (defun term* 3 5,1431604 (defun term/ 4 1,1616605 (defun monom-times-term 4 7,1807606 (defun term-divides-p 5 1,1923607 (defmacro term-monom 5 5,2027608 (defmacro term-coefficient 5 6,2069609 (defsetf term-monom 5 9,2134610 (defsetf term-coefficient 6 2,2200603 (defun term* 34,1374 604 (defun term/ 40,1559 605 (defun monom-times-term 46,1750 606 (defun term-divides-p 50,1866 607 (defmacro term-monom 54,1970 608 (defmacro term-coefficient 55,2012 609 (defsetf term-monom 58,2077 610 (defsetf term-coefficient 61,2143 611 611 612 612 … … 617 617 xgcd.lisp,46 618 618 (defpackage "XGCD"12,614 619 (defun xgcd 20,796619 (defun xgcd 19,739
Note:
See TracChangeset
for help on using the changeset viewer.