Changeset 43 in CGBLisp
- Timestamp:
- Feb 1, 2009, 7:09:53 PM (15 years ago)
- Location:
- trunk/src
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/TAGS
r19 r43 3 3 cgb-lisp.lisp,140 4 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 5 (defvar *examples*30,1598 6 (defun example 91,3950 7 (defun run-example 97,4175 8 (defun all-examples 109,4686 9 10 11 cgb-manuals.lisp,98 12 (defpackage "CGB-MANUALS"13,659 13 (defvar *cgb-packages*18,751 14 (defun create-cgb-manuals 28,1204 9 15 10 16 … … 43 49 (defun colored-Criterion-2 522,21164 44 50 (defun cond-normal-form 541,21753 45 (defun cond-spoly 601,2397 846 (defun cond-lm 630,2509 547 (defun cond-lc 636,2529 448 (defun colored-term-times-poly 642,2544 649 (defun colored-scalar-times-poly 647,2563 750 (defun colored-term* 655,2588 751 (defun color* 662,2613 552 (defun color+ 672,2640 353 (defun color- 683,2671 254 (defun colored-poly+ 687,2677 855 (defun colored-poly- 710,2758 856 (defun colored-term-uminus 733,2836 657 (defun colored-minus-poly 737,2852 558 (defun string-grobner-system 741,2867 159 (defun string-cond 767,2966 460 (defun string-cover 778,302 1961 (defun saturate-cover 786,3055 362 (defun saturate-cond 793,3091 363 (defun string-determine 800,3121 464 (defun tidy-grobner-system 818,3191 165 (defun tidy-pair 826,3216 866 (defun tidy-cond 847,3289 167 (defun colored-reduction 853,3314 668 (defun green-reduce-colored-poly 900,3482 569 (defun green-reduce-colored-list 913,3534 770 (defun cond-system-green-reduce 924,35 69971 (defun parse-to-colored-poly-list 935,3603 272 (defun red-reduction 948,3676 651 (defun cond-spoly 601,23979 52 (defun cond-lm 630,25096 53 (defun cond-lc 636,25295 54 (defun colored-term-times-poly 642,25447 55 (defun colored-scalar-times-poly 647,25638 56 (defun colored-term* 655,25888 57 (defun color* 662,26136 58 (defun color+ 672,26404 59 (defun color- 683,26713 60 (defun colored-poly+ 687,26779 61 (defun colored-poly- 710,27589 62 (defun colored-term-uminus 733,28367 63 (defun colored-minus-poly 737,28526 64 (defun string-grobner-system 741,28672 65 (defun string-cond 767,29665 66 (defun string-cover 778,30220 67 (defun saturate-cover 786,30554 68 (defun saturate-cond 793,30914 69 (defun string-determine 800,31215 70 (defun tidy-grobner-system 818,31912 71 (defun tidy-pair 826,32169 72 (defun tidy-cond 847,32892 73 (defun colored-reduction 853,33147 74 (defun green-reduce-colored-poly 900,34826 75 (defun green-reduce-colored-list 913,35348 76 (defun cond-system-green-reduce 924,35700 77 (defun parse-to-colored-poly-list 935,36033 78 (defun red-reduction 948,36767 73 79 74 80 … … 216 222 infix.lisp,3615 217 223 (defpackage "INFIX"265,12470 218 (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 224 (defparameter *infix-readtable* 307,14163 225 (defparameter *normal-readtable* 308,14217 226 (defmacro infix-error 310,14273 227 (defun infix-reader 314,14404 228 (defun string->prefix 334,15163 229 (defun read-infix 343,15455 230 (defun read-regular 350,15727 231 (defun same-operator-p 359,15941 232 (defun same-token-p 362,15993 233 (defvar *peeked-token* 369,16141 234 (defun read-token 370,16169 235 (defun peek-token 374,16274 236 (defun fancy-number-format-p 382,16514 237 (defun valid-numberp 406,17336 238 (defun gather-superiors 420,17717 239 (defun get-first-token 441,18640 240 (defun apply-token-prefix-operator 449,18864 241 (defun get-next-token 455,19067 242 (defun apply-token-infix-operator 459,19194 243 (defun infix-read-delimited-list 468,19487 244 (defparameter *operator-ordering* 488,20237 245 (defun operator-lessp 511,20869 246 (defparameter *right-associative-operators* 518,21066 247 (defun operator-right-associative-p 519,21118 248 (defvar *token-operators* 527,21329 249 (defvar *token-prefix-operator-table* 528,21360 250 (defvar *token-infix-operator-table* 529,21417 251 (defun token-operator-p 530,21473 252 (defun get-token-prefix-operator 532,21539 253 (defun get-token-infix-operator 534,21629 254 (define-token-operator and574,22971 255 (define-token-operator or576,23056 256 (define-token-operator not578,23138 257 (define-token-operator if581,23218 258 (define-token-operator then603,23898 259 (define-token-operator else605,23982 260 (define-character-tokenization #\+608,24067 261 (define-token-operator +616,24279 262 (define-token-operator +=619,24398 263 (define-character-tokenization #\-622,24482 264 (define-token-operator -630,24694 265 (define-token-operator -=633,24819 266 (define-character-tokenization #\*636,24903 267 (define-token-operator *644,25115 268 (define-token-operator *=646,25193 269 (define-character-tokenization #\/653,25339 270 (define-token-operator /661,25551 271 (define-token-operator /=664,25676 272 (define-character-tokenization #\^671,25822 273 (define-token-operator ^679,26034 274 (define-token-operator ^^681,26115 275 (define-character-tokenization #\|684,26201 276 (define-token-operator \|692,26414 277 (define-character-tokenization #\&695,26500 278 (define-token-operator \&703,26714 279 (define-character-tokenization #\%706,26800 280 (define-token-operator \%710,26902 281 (define-character-tokenization #\~713,26985 282 (define-token-operator \~717,27087 283 (define-character-tokenization #\,720,27168 284 (define-token-operator \,724,27270 285 (define-character-tokenization #\=727,27355 286 (define-token-operator ===735,27567 287 (define-token-operator ==737,27647 288 (define-character-tokenization #\: 744,27780 289 (define-token-operator |:=752,28039 290 (define-character-tokenization #\<759,28221 291 (define-token-operator <770,28532 292 (define-token-operator <=772,28610 293 (define-token-operator <<774,28691 294 (define-character-tokenization #\>777,28774 295 (define-token-operator >788,29085 296 (define-token-operator >=790,29163 297 (define-token-operator >>792,29244 298 (define-character-tokenization #\!795,29331 299 (define-token-operator !=803,29543 300 (define-token-operator !805,29629 301 (define-character-tokenization #\[808,29690 302 (define-token-operator \[812,29792 303 (define-character-tokenization #\(820,30107 304 (define-token-operator \(824,30209 305 (define-character-tokenization #\]833,30536 306 (define-token-operator \]837,30638 307 (define-character-tokenization #\)840,30737 308 (define-token-operator \)844,30839 309 (define-character-tokenization #\$849,31009 310 (define-token-operator %infix-end-token%853,31126 311 (define-character-tokenization #\;858,31307 312 (defun post-process-expression 886,32178 313 (defparameter *test-cases*930,33543 314 (defun test-infix 1086,40234 315 (defun test-infix-case 1095,40506 316 317 318 infix-printer.lisp,105 319 (defpackage "INFIX-PRINTER"12,624 320 (defun infix-print-separated-list 22,809 321 (defun infix-print 54,1620 310 322 311 323 … … 316 328 (defvar *lisp-suffix* 24,972 317 329 (defvar *cgb-packages*25,1045 318 (defun package-file 92,31 74319 (defun cgb-compile 95,32 44320 (defun cgb-load 102,34 35321 (defun cgb-load-lisp 112,37 30322 (defun cgb-compile-and-load 120,39 78323 (defun cgb-go 124,40 40324 (defun start-cgb-lisp 128,4 094325 (defun cgb-lisp-top-level-read-eval-print-loop 136,42 61326 (defun cgb-lisp-banner 141,44 10327 (defun cgb-save 148,45 63328 (defun cgb-save 161,49 16330 (defun package-file 92,3190 331 (defun cgb-compile 95,3260 332 (defun cgb-load 102,3451 333 (defun cgb-load-lisp 112,3746 334 (defun cgb-compile-and-load 120,3994 335 (defun cgb-go 124,4056 336 (defun start-cgb-lisp 128,4110 337 (defun cgb-lisp-top-level-read-eval-print-loop 136,4277 338 (defun cgb-lisp-banner 141,4426 339 (defun cgb-save 148,4579 340 (defun cgb-save 161,4932 329 341 330 342 331 343 makelist.lisp,398 332 (defpackage "MAKELIST"1 2,619333 (defmacro makelist-1 5 7,2296334 (defmacro makelist 6 4,2514335 (defmacro sum 7 3,2815336 (defmacro summation 7 6,2878337 (defmacro difference 7 9,2941338 (defmacro list-of 8 3,3060339 (defmacro list-of-1 9 1,3282340 (defmacro union-of 9 8,3485341 (defmacro union-of-1 10 6,3725342 (defmacro set-of 11 4,3944343 (defmacro set-of-1 12 2,4178344 (defun select 12 9,4392345 (defun standard-vector 13 4,4507344 (defpackage "MAKELIST"11,560 345 (defmacro makelist-1 56,2237 346 (defmacro makelist 63,2455 347 (defmacro sum 72,2756 348 (defmacro summation 75,2819 349 (defmacro difference 78,2882 350 (defmacro list-of 82,3001 351 (defmacro list-of-1 90,3223 352 (defmacro union-of 97,3426 353 (defmacro union-of-1 105,3666 354 (defmacro set-of 113,3885 355 (defmacro set-of-1 121,4119 356 (defun select 128,4333 357 (defun standard-vector 133,4448 346 358 347 359 … … 407 419 (defun sort-poly 219,8789 408 420 (defun poly-eval-1 232,9332 409 (defun poly-eval 2 56,10353410 (defun monom-basis 2 73,11252421 (defun poly-eval 280,10865 422 (defun monom-basis 297,11764 411 423 412 424 -
trunk/src/cgb-manuals.lisp
r31 r43 23 23 "INFIX" "CGB-LISP")) 24 24 25 (eval-when (:load-toplevel :compile-toplevel :execute)26 (asdf::operate 'asdf::load-op 'cgb))27 28 25 ;;---------------------------------------------------------------- 29 26 ;; Generate documentation … … 36 33 37 34 (eval-when (:load-toplevel :compile-toplevel :execute) 35 (asdf::operate 'asdf::load-op 'cgb) 38 36 (create-cgb-manuals '../doc/ 'text) 39 37 (create-cgb-manuals '../latex-doc/ 'latex)))
Note:
See TracChangeset
for help on using the changeset viewer.