cgb-lisp.lisp,140
(defpackage "CGB-LISP"22,1268
(defvar *examples*30,1598
(defun example 91,3950
(defun run-example 97,4175
(defun all-examples 109,4686

cgb-manuals.lisp,98
(defpackage "CGB-MANUALS"13,659
(defvar *cgb-packages*18,751
(defun create-cgb-manuals 28,1204

coefficient-ring.lisp,206
(defpackage "COEFFICIENT-RING"13,698
(defstruct ring39,1146
(defvar *ring-of-integers*58,1938
(defvar *field-of-rationals*73,2256
(defun field-modulo-prime 90,2691
(defvar *coefficient-ring* 109,3380

colored-poly.lisp,1755
(defpackage "COLORED-POLY"11,623
(defmacro debug-cgb 30,1330
(defun make-colored-poly 33,1427
(defun make-colored-poly-list 74,2915
(defun color-poly-list 80,3178
(defun color-poly 91,3788
(defun colored-poly-to-poly 107,4267
(defun colored-poly-print 116,4621
(defun colored-poly-print-list 150,6065
(defun determine 175,6930
(defun determine-1 201,8308
(defun determine-white-term 216,8982
(defun determine-white-term 266,10969
(defun cond-system-print 336,13936
(defun cond-print 360,15040
(defun add-pairs 369,15338
(defun cond-part 385,15993
(defun cond-hm 390,16149
(defun delete-green-polys 398,16404
(defun grobner-system 405,16681
(defun reorder-pairs 494,20099
(defun colored-Criterion-1 514,20896
(defun colored-Criterion-2 522,21164
(defun cond-normal-form 541,21753
(defun cond-spoly 601,23979
(defun cond-lm 630,25096
(defun cond-lc 636,25295
(defun colored-term-times-poly 642,25447
(defun colored-scalar-times-poly 647,25638
(defun colored-term* 655,25888
(defun color* 662,26136
(defun color+ 672,26404
(defun color- 683,26713
(defun colored-poly+ 687,26779
(defun colored-poly- 710,27589
(defun colored-term-uminus 733,28367
(defun colored-minus-poly 737,28526
(defun string-grobner-system 741,28672
(defun string-cond 767,29665
(defun string-cover 778,30220
(defun saturate-cover 786,30554
(defun saturate-cond 793,30914
(defun string-determine 800,31215
(defun tidy-grobner-system 818,31912
(defun tidy-pair 826,32169
(defun tidy-cond 847,32892
(defun colored-reduction 853,33147
(defun green-reduce-colored-poly 900,34826
(defun green-reduce-colored-list 913,35348
(defun cond-system-green-reduce 924,35700
(defun parse-to-colored-poly-list 935,36033
(defun red-reduction 948,36767

division.lisp,86
(defpackage "DIVISION"11,618
(defun divide 19,822
(defun poly-exact-divide 46,1825

dynamics.lisp,1057
(defpackage "DYNAMICS"13,690
(defun poly-scalar-composition 32,1308
(defun poly-composition 43,1774
(defun poly-dynamic-power 51,2178
(defun poly-scalar-evaluate 57,2447
(defun poly-evaluate 74,2887
(defun factorial 78,3085
(defun poly-scalar-diff 83,3238
(defun poly-diff 91,3559
(defun scalar-partial 97,3794
(defun partial 102,3998
(defun determinant 109,4256
(defun minor 124,4749
(defun drop-row 128,4928
(defun drop-column 132,5023
(defun drop-elt 136,5150
(defun matrix- 142,5293
(defun scalar-times-matrix 146,5455
(defun monom-times-matrix 150,5613
(defun term-times-matrix 154,5769
(defun poly-list- 160,5959
(defun scalar-times-poly-list 165,6151
(defun monom-times-poly-list 170,6322
(defun term-times-poly-list 175,6496
(defun characteristic-combination 183,6760
(defun characteristic-combination-poly-list 194,7344
(defun characteristic-matrix 205,7888
(defun characteristic-polynomial 218,8483
(defun identity-matrix 227,8963
(defun print-matrix 236,9346
(defun jacobi-matrix 241,9530
(defun jacobian 247,9779

example.lisp,137
(defpackage "CGB-LISP"12,618
(defun example 21,922
(defun run-example 27,1147
(defun all-examples 38,1615
(defvar *examples*46,1812

grobner.lisp,3523
(defpackage "GROBNER"12,688
(defvar *grobner-debug* 60,1645
(defvar *buchberger-merge-pairs* 63,1723
(defvar *gebauer-moeller-merge-pairs* 67,1926
(defvar *grobner-function* 71,2145
(defun select-grobner-algorithm 74,2247
(defun grobner 86,2695
(defmacro debug-cgb 108,3816
(defun spoly 116,4171
(defun grobner-primitive-part 135,4807
(defun grobner-content 153,5269
(defun normal-form 162,5629
(defun buchberger 205,7484
(defun grobner-op 254,9544
(defun buchberger-sort-pairs 318,11333
(defun mock-spoly 328,11744
(defun buchberger-merge-pairs-use-mock-spoly 349,12493
(defun buchberger-merge-pairs-smallest-lcm 373,13591
(defun buchberger-merge-pairs-use-smallest-degree 389,14365
(defun buchberger-merge-pairs-use-smallest-length 399,14836
(defun buchberger-merge-pairs-use-smallest-coefficient-length 409,15296
(defun buchberger-set-pair-heuristic422,15875
(defun Criterion-1 441,16743
(defun Criterion-2 449,17069
(defun normalize-poly 472,18045
(defun normalize-basis 483,18459
(defun reduction 488,18689
(defun reduced-grobner 512,19364
(defvar *vars* 522,19790
(defun monom-depends-p 525,19900
(defun term-depends-p 530,20050
(defun poly-depends-p 535,20222
(defun ring-intersection 539,20373
(defun elimination-ideal 549,20774
(defun ideal-intersection 576,21920
(defun poly-contract 603,22864
(defun poly-lcm 614,23473
(defun grobner-gcd 637,24325
(defun grobner-equal 647,24782
(defun grobner-subsetp 653,25073
(defun grobner-member 659,25402
(defun ideal-equal 664,25687
(defun ideal-subsetp 671,25973
(defun ideal-member 679,26296
(defun ideal-saturation-1 686,26597
(defun add-variables 705,27318
(defun extend-polynomials 716,27700
(defun saturation-extension 734,28589
(defun polysaturation-extension 752,29527
(defun saturation-extension-1 768,30423
(defun ideal-polysaturation-1 776,30791
(defun ideal-saturation 786,31317
(defun ideal-polysaturation 807,32198
(defun buchberger-criterion 816,32654
(defun grobner-test 827,33027
(defun minimization 844,33600
(defun add-minimized 862,34150
(defun colon-ideal 871,34512
(defun colon-ideal-1 893,35260
(defun pseudo-divide 900,35571
(defun gebauer-moeller 949,37644
(defun update 987,39019
(defun gebauer-moeller-merge-pairs-use-mock-spoly 1033,40651
(defun gebauer-moeller-merge-pairs-smallest-lcm 1047,41217
(defun gebauer-moeller-merge-pairs-use-smallest-degree 1058,41668
(defun gebauer-moeller-merge-pairs-use-smallest-length 1070,42126
(defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 1084,42617
(defun gebauer-moeller-set-pair-heuristic1096,43175
(defun spoly-sugar 1114,44015
(defun spoly-with-sugar 1140,45369
(defun normal-form-with-sugar 1157,46047
(defun buchberger-with-sugar 1205,48255
(defun buchberger-with-sugar-merge-pairs 1262,50613
(defun buchberger-with-sugar-sort-pairs 1296,51872
(defun Criterion-1-with-sugar 1300,52047
(defun Criterion-2-with-sugar 1306,52347
(defun gebauer-moeller-with-sugar 1328,53272
(defun update-with-sugar 1374,55028
(defun gebauer-moeller-with-sugar-merge-pairs 1425,57149
(defun grobner-primitive-part-with-sugar 1448,58012
(defun cached-normal-form 1456,58320
(defun cached-grobner-op 1495,59855
(defun cached-buchberger 1503,60228
(defun cached-spoly 1551,62189
(defun cached-monom-times-poly 1567,62775
(defun cached-normal-form-with-sugar 1580,63270
(defun cached-buchberger-with-sugar 1630,65560
(defun cached-poly-with-sugar-op 1693,68219
(defun cached-monom-times-poly-with-sugar 1696,68398

infix.lisp,3615
(defpackage "INFIX"265,12470
(defparameter *infix-readtable* 307,14163
(defparameter *normal-readtable* 308,14217
(defmacro infix-error 310,14273
(defun infix-reader 314,14404
(defun string->prefix 334,15163
(defun read-infix 343,15455
(defun read-regular 350,15727
(defun same-operator-p 359,15941
(defun same-token-p 362,15993
(defvar *peeked-token* 369,16141
(defun read-token 370,16169
(defun peek-token 374,16274
(defun fancy-number-format-p 382,16514
(defun valid-numberp 406,17336
(defun gather-superiors 420,17717
(defun get-first-token 441,18640
(defun apply-token-prefix-operator 449,18864
(defun get-next-token 455,19067
(defun apply-token-infix-operator 459,19194
(defun infix-read-delimited-list 468,19487
(defparameter *operator-ordering* 488,20237
(defun operator-lessp 511,20869
(defparameter *right-associative-operators* 518,21066
(defun operator-right-associative-p 519,21118
(defvar *token-operators* 527,21329
(defvar *token-prefix-operator-table* 528,21360
(defvar *token-infix-operator-table* 529,21417
(defun token-operator-p 530,21473
(defun get-token-prefix-operator 532,21539
(defun get-token-infix-operator 534,21629
(define-token-operator and574,22971
(define-token-operator or576,23056
(define-token-operator not578,23138
(define-token-operator if581,23218
(define-token-operator then603,23898
(define-token-operator else605,23982
(define-character-tokenization #\+608,24067
(define-token-operator +616,24279
(define-token-operator +=619,24398
(define-character-tokenization #\-622,24482
(define-token-operator -630,24694
(define-token-operator -=633,24819
(define-character-tokenization #\*636,24903
(define-token-operator *644,25115
(define-token-operator *=646,25193
(define-character-tokenization #\/653,25339
(define-token-operator /661,25551
(define-token-operator /=664,25676
(define-character-tokenization #\^671,25822
(define-token-operator ^679,26034
(define-token-operator ^^681,26115
(define-character-tokenization #\|684,26201
(define-token-operator \|692,26414
(define-character-tokenization #\&695,26500
(define-token-operator \&703,26714
(define-character-tokenization #\%706,26800
(define-token-operator \%710,26902
(define-character-tokenization #\~713,26985
(define-token-operator \~717,27087
(define-character-tokenization #\,720,27168
(define-token-operator \,724,27270
(define-character-tokenization #\=727,27355
(define-token-operator ===
735,27567
(define-token-operator ==
737,27647
(define-character-tokenization #\:	744,27780
(define-token-operator |:=752,28039
(define-character-tokenization #\<759,28221
(define-token-operator <770,28532
(define-token-operator <=772,28610
(define-token-operator <<774,28691
(define-character-tokenization #\>777,28774
(define-token-operator >788,29085
(define-token-operator >=790,29163
(define-token-operator >>792,29244
(define-character-tokenization #\!795,29331
(define-token-operator !=803,29543
(define-token-operator !805,29629
(define-character-tokenization #\[808,29690
(define-token-operator \[812,29792
(define-character-tokenization #\(820,30107
(define-token-operator \(824,30209
(define-character-tokenization #\]833,30536
(define-token-operator \]837,30638
(define-character-tokenization #\)840,30737
(define-token-operator \)844,30839
(define-character-tokenization #\$849,31009
(define-token-operator %infix-end-token%853,31126
(define-character-tokenization #\;858,31307
(defun post-process-expression 886,32178
(defparameter *test-cases*930,33543
(defun test-infix 1086,40234
(defun test-infix-case 1095,40506

infix-printer.lisp,142
(defpackage "INFIX-PRINTER"12,624
(defun infix-print-separated-list 22,809
(defun infix-print-arg-list 59,1670
(defun infix-print 63,1821

make-cgb.lisp,506
(defpackage "MAKE-CGB"14,714
(defvar *save-path* 19,787
(defvar *cgb-version-string* 21,819
(defvar *lisp-suffix* 24,972
(defvar *cgb-packages*25,1045
(defun package-file 92,3190
(defun cgb-compile 95,3260
(defun cgb-load 102,3451
(defun cgb-load-lisp 112,3746
(defun cgb-compile-and-load 120,3994
(defun cgb-go 124,4056
(defun start-cgb-lisp 128,4110
(defun cgb-lisp-top-level-read-eval-print-loop 136,4277
(defun cgb-lisp-banner 141,4426
(defun cgb-save 148,4579
(defun cgb-save 161,4932

makelist.lisp,398
(defpackage "MAKELIST"11,560
(defmacro makelist-1 56,2237
(defmacro makelist 63,2455
(defmacro sum 72,2756
(defmacro summation 75,2819
(defmacro difference 78,2882
(defmacro list-of 82,3001
(defmacro list-of-1 90,3223
(defmacro union-of 97,3426
(defmacro union-of-1 105,3666
(defmacro set-of 113,3885
(defmacro set-of-1 121,4119
(defun select 128,4333
(defun standard-vector 133,4448

modular.lisp,209
(defpackage "MODULAR"13,689
(defun modular-inverse 21,866
(defun modular-division 28,1057
(defvar *inverse-by-lookup-limit* 32,1163
(defun make-inverse-table 36,1365
(defun make-modular-division 42,1674

modular-poly.lisp,128
(defpackage "MODULAR-POLY"13,694
(defun modular-trace 21,882
(defun modular-trace-1 25,1046
(defun frobenius-kernel 31,1237

monom.lisp,278
(defpackage "MONOM"11,615
(defun monom/ 35,1390
(defun monom* 39,1474
(defun nmonom* 43,1560
(defun monom-divides-p 48,1748
(defun monom-divisible-by-p 52,1868
(defun monom-rel-prime 56,2001
(defun monom-equal 60,2159
(defun monom-lcm 64,2261
(defun monom-gcd 68,2369

order.lisp,246
(defpackage "ORDER"24,1190
(defun lex> 40,1439
(defun total-degree 52,1877
(defun grlex> 57,2074
(defun revlex> 69,2489
(defun grevlex> 84,3112
(defun invlex> 94,3506
(defun elimination-order 113,4224
(defun elimination-order-1 126,4771

parse.lisp,608
(defpackage "PARSE"12,688
(defun convert-number 51,2255
(defun $poly+ 59,2617
(defun $poly- 65,2917
(defun $minus-poly 71,3222
(defun $poly* 77,3476
(defun $poly/ 83,3781
(defun $poly-expt 90,4029
(defun parse 96,4293
(defun alist-form 132,5439
(defun alist-form-1 144,5864
(defun powers 155,6197
(defun parse-to-alist 169,6704
(defun parse-string-to-alist 180,7160
(defun parse-to-sorted-alist 193,7693
(defun parse-string-to-sorted-alist 207,8279
(defun sort-poly-1 213,8545
(defun sort-poly 219,8789
(defun poly-eval-1 232,9332
(defun poly-eval 280,10865
(defun monom-basis 297,11764

poly-gcd.lisp,281
(defpackage "POLY-GCD"11,618
(defun poly-gcd 28,1186
(defun poly-pseudo-divide 46,1701
(defun poly-pseudo-remainder 62,2136
(defun mdeg 66,2258
(defun lcoeff 69,2355
(defun lrest 72,2417
(defun lpart 75,2479
(defun poly-primitive-part 83,2698
(defun poly-content 91,2842

poly.lisp,509
(defpackage "POLY"11,614
(defun scalar-times-poly 44,1968
(defun term-times-poly 51,2255
(defun monom-times-poly 55,2453
(defun minus-poly 59,2617
(defun sort-poly 64,2859
(defun poly+ 76,3278
(defun poly- 100,4038
(defun poly* 126,4910
(defun poly-op 137,5430
(defun poly-expt 143,5657
(defun poly-mexpt 160,6375
(defun poly-constant-p 171,6845
(defun	poly-extend 177,6984
(defun	poly-extend-end 184,7314
(defun poly-zerop 188,7503
(defun lt 192,7579
(defun lm 197,7687
(defun lc 202,7807

poly-with-sugar.lisp,890
(defpackage "POLY-WITH-SUGAR"11,625
(defun poly-with-sugar-poly 47,1701
(defun poly-with-sugar-sugar 48,1742
(defun poly-with-sugar-tail 49,1784
(defsetf poly-with-sugar-poly 51,1842
(defsetf poly-with-sugar-sugar 54,1910
(defsetf poly-with-sugar-tail 57,1981
(defun monom-sugar 64,2244
(defun coefficient-sugar 67,2288
(defun term-sugar 70,2357
(defun poly-add-sugar 77,2629
(defun scalar-times-poly-with-sugar 82,2790
(defun term-times-poly-with-sugar 87,2971
(defun monom-times-poly-with-sugar 92,3184
(defun minus-poly-with-sugar 98,3385
(defun poly-with-sugar+ 104,3562
(defun poly-with-sugar- 110,3799
(defun poly-with-sugar-op 116,4004
(defun poly-with-sugar-nreverse 121,4199
(defun poly-with-sugar-append 127,4430
(defun poly-with-sugar-zerop 131,4595
(defun poly-with-sugar-lm 134,4670
(defun poly-with-sugar-lc 137,4734
(defun poly-with-sugar-lt 140,4798

printer.lisp,168
(defpackage "PRINTER"11,617
(defun poly-print 19,780
(defun poly-print-1 36,1517
(defun poly-print-2 70,2663
(defun print-term 78,2975
(defun print-monom 92,3516

prover.lisp,546
(defpackage "PROVER"12,687
(defvar *prover-order* 23,1059
(defun csym 30,1298
(defmacro real-identical-points 35,1500
(defmacro identical-points 51,2158
(defmacro perpendicular 68,2892
(defmacro parallel 84,3348
(defmacro collinear 101,3800
(defmacro equidistant 116,4245
(defmacro euclidean-distance 132,4756
(defmacro midpoint 144,5129
(defmacro translate-statements 158,5545
(defmacro translate-assumptions 162,5717
(defmacro translate-conclusions 168,5905
(defmacro translate-theorem 171,6001
(defmacro prove-theorem 186,6892

rat.lisp,411
(defpackage "RAT"22,1062
(defun num 32,1357
(defun denom 33,1394
(defun rat-simplify-2 35,1435
(defun rat-simplify 40,1580
(defun rat+ 43,1641
(defun rat- 50,1816
(defun rat* 58,2062
(defun rat/ 63,2159
(defun scalar-times-rat 68,2256
(defun scalar-div-rat 72,2370
(defun rat-zerop 75,2459
(defun rat-uminus 78,2499
(defun rat-expt 81,2561
(defun rat-constant 84,2638
(defun rat-to-poly 89,2840

ratpoly.lisp,974
(defpackage "RATPOLY"25,1219
(defun ratpoly+ 44,1953
(defun ratpoly- 60,2405
(defun ratpoly-uminus 76,2894
(defun ratpoly* 81,3026
(defun scalar-times-ratpoly 89,3362
(defun rat-times-ratpoly 96,3586
(defun ratpoly-divide 103,3803
(defun ratpoly-remainder 112,4141
(defun ratpoly-gcd 116,4286
(defun ratpoly-diff 122,4425
(defun ratpoly-square-free 129,4640
(defun ratpoly-normalize 133,4778
(defun ratpoly-resultant 138,4990
(defun deg 156,5490
(defun lead 163,5628
(defun ratpoly-discriminant 165,5655
(defun ratpoly-print 171,5871
(defun poly-to-ratpoly 187,6424
(defun poly-to-poly1 191,6552
(defun poly1-to-ratpoly 203,6954
(defun ratpoly-to-poly1 212,7161
(defun poly1-to-poly 220,7378
(defun ratpoly-to-poly 230,7686
(defun poly-resultant 234,7757
(defun poly-gcd 245,8172
(defun content1 258,8561
(defun content1-aux 267,8832
(defun content 273,9027
(defun primitive-part 277,9120
(defun divide-coeffs 282,9282
(defun euclid 298,9719

string-grobner.lisp,534
(defpackage "STRING-GROBNER"14,690
(defun string-normal-form 34,1195
(defun string-grobner 56,1793
(defun string-elimination-ideal 84,2631
(defun string-ideal-intersection 107,3270
(defun string-poly-lcm 122,3798
(defun string-ideal-saturation-1 136,4203
(defun string-ideal-polysaturation-1 151,4740
(defun string-ideal-saturation 171,5441
(defun string-ideal-polysaturation 186,5961
(defun string-colon-ideal 211,6736
(defun string-read-poly 233,7491
(defun poly-rational-to-integer 251,8067
(defun read-vars 255,8262

svpoly.lisp,652
(defpackage "SVPOLY"11,616
(defstruct (svpoly 18,718
(defun make-svpoly 24,927
(defun svpoly-sort 41,1482
(defun make-order 45,1643
(defun svpoly-add 61,2220
(defun add-terms 68,2469
(defun scalar-times-poly 106,3382
(defun term-times-poly 113,3633
(defun monom-times-poly 117,3831
(defun minus-poly 121,3995
(defun poly+ 127,4238
(defun poly- 151,5040
(defun poly* 177,5942
(defun poly-op 188,6462
(defun poly-expt 194,6689
(defun poly-mexpt 211,7407
(defun poly-constant-p 222,7877
(defun	poly-extend 228,8016
(defun	poly-extend-end 235,8346
(defun poly-zerop 239,8535
(defun lt 243,8611
(defun lm 248,8719
(defun lc 253,8839

term.lisp,264
(defpackage "TERM"12,615
(defun term* 34,1374
(defun term/ 40,1559
(defun monom-times-term 46,1750
(defun term-divides-p 50,1866
(defmacro term-monom 54,1970
(defmacro term-coefficient 55,2012
(defsetf term-monom 58,2077
(defsetf term-coefficient 61,2143

trivial.lisp,29
(defpackage "TRIVIAL"12,617

xgcd.lisp,46
(defpackage "XGCD"12,614
(defun xgcd 19,739