cgb-lisp.lisp,140
(defpackage "CGB-LISP"22,1268
(defvar *examples*30,1582
(defun example 91,3934
(defun run-example 97,4159
(defun all-examples 109,4670

coefficient-ring.lisp,206
(defpackage "COEFFICIENT-RING"13,698
(defstruct ring40,1203
(defvar *ring-of-integers*59,1995
(defvar *field-of-rationals*74,2313
(defun field-modulo-prime 91,2748
(defvar *coefficient-ring* 110,3437

colored-poly.lisp,1755
(defpackage "COLORED-POLY"11,623
(defmacro debug-cgb 31,1387
(defun make-colored-poly 34,1484
(defun make-colored-poly-list 75,2972
(defun color-poly-list 81,3235
(defun color-poly 92,3845
(defun colored-poly-to-poly 108,4324
(defun colored-poly-print 117,4678
(defun colored-poly-print-list 151,6122
(defun determine 176,6987
(defun determine-1 202,8365
(defun determine-white-term 217,9039
(defun determine-white-term 267,11026
(defun cond-system-print 337,13993
(defun cond-print 361,15097
(defun add-pairs 370,15395
(defun cond-part 386,16050
(defun cond-hm 391,16206
(defun delete-green-polys 399,16461
(defun grobner-system 406,16738
(defun reorder-pairs 495,20156
(defun colored-Criterion-1 515,20953
(defun colored-Criterion-2 523,21221
(defun cond-normal-form 542,21810
(defun cond-spoly 602,24035
(defun cond-lm 631,25152
(defun cond-lc 637,25351
(defun colored-term-times-poly 643,25503
(defun colored-scalar-times-poly 648,25694
(defun colored-term* 656,25944
(defun color* 663,26192
(defun color+ 673,26460
(defun color- 684,26769
(defun colored-poly+ 688,26835
(defun colored-poly- 711,27645
(defun colored-term-uminus 734,28423
(defun colored-minus-poly 738,28582
(defun string-grobner-system 742,28728
(defun string-cond 768,29721
(defun string-cover 779,30276
(defun saturate-cover 787,30610
(defun saturate-cond 794,30970
(defun string-determine 801,31271
(defun tidy-grobner-system 819,31968
(defun tidy-pair 827,32225
(defun tidy-cond 848,32948
(defun colored-reduction 854,33203
(defun green-reduce-colored-poly 901,34882
(defun green-reduce-colored-list 914,35404
(defun cond-system-green-reduce 925,35756
(defun parse-to-colored-poly-list 936,36089
(defun red-reduction 949,36823

division.lisp,86
(defpackage "DIVISION"11,618
(defun divide 20,879
(defun poly-exact-divide 47,1882

dynamics.lisp,1057
(defpackage "DYNAMICS"13,690
(defun poly-scalar-composition 33,1365
(defun poly-composition 44,1831
(defun poly-dynamic-power 52,2235
(defun poly-scalar-evaluate 58,2504
(defun poly-evaluate 75,2944
(defun factorial 79,3142
(defun poly-scalar-diff 84,3295
(defun poly-diff 92,3616
(defun scalar-partial 98,3851
(defun partial 103,4055
(defun determinant 110,4313
(defun minor 125,4806
(defun drop-row 129,4985
(defun drop-column 133,5080
(defun drop-elt 137,5207
(defun matrix- 143,5350
(defun scalar-times-matrix 147,5512
(defun monom-times-matrix 151,5670
(defun term-times-matrix 155,5826
(defun poly-list- 161,6016
(defun scalar-times-poly-list 166,6208
(defun monom-times-poly-list 171,6379
(defun term-times-poly-list 176,6553
(defun characteristic-combination 184,6817
(defun characteristic-combination-poly-list 195,7401
(defun characteristic-matrix 206,7945
(defun characteristic-polynomial 219,8540
(defun identity-matrix 228,9020
(defun print-matrix 237,9403
(defun jacobi-matrix 242,9587
(defun jacobian 248,9836

example.lisp,137
(defpackage "CGB-LISP"12,618
(defun example 22,979
(defun run-example 28,1204
(defun all-examples 39,1672
(defvar *examples*47,1869

grobner.lisp,3523
(defpackage "GROBNER"12,688
(defvar *grobner-debug* 61,1702
(defvar *buchberger-merge-pairs* 64,1780
(defvar *gebauer-moeller-merge-pairs* 68,1983
(defvar *grobner-function* 72,2202
(defun select-grobner-algorithm 75,2304
(defun grobner 87,2752
(defmacro debug-cgb 109,3873
(defun spoly 117,4228
(defun grobner-primitive-part 136,4864
(defun grobner-content 154,5326
(defun normal-form 163,5686
(defun buchberger 206,7541
(defun grobner-op 255,9601
(defun buchberger-sort-pairs 319,11390
(defun mock-spoly 329,11801
(defun buchberger-merge-pairs-use-mock-spoly 350,12550
(defun buchberger-merge-pairs-smallest-lcm 374,13648
(defun buchberger-merge-pairs-use-smallest-degree 390,14422
(defun buchberger-merge-pairs-use-smallest-length 400,14893
(defun buchberger-merge-pairs-use-smallest-coefficient-length 410,15353
(defun buchberger-set-pair-heuristic423,15932
(defun Criterion-1 442,16800
(defun Criterion-2 450,17126
(defun normalize-poly 473,18102
(defun normalize-basis 484,18516
(defun reduction 489,18746
(defun reduced-grobner 513,19421
(defvar *vars* 523,19847
(defun monom-depends-p 526,19957
(defun term-depends-p 531,20107
(defun poly-depends-p 536,20279
(defun ring-intersection 540,20430
(defun elimination-ideal 550,20831
(defun ideal-intersection 577,21977
(defun poly-contract 604,22921
(defun poly-lcm 615,23530
(defun grobner-gcd 638,24382
(defun grobner-equal 648,24839
(defun grobner-subsetp 654,25130
(defun grobner-member 660,25459
(defun ideal-equal 665,25744
(defun ideal-subsetp 672,26030
(defun ideal-member 680,26353
(defun ideal-saturation-1 687,26654
(defun add-variables 706,27375
(defun extend-polynomials 717,27757
(defun saturation-extension 735,28646
(defun polysaturation-extension 753,29584
(defun saturation-extension-1 769,30480
(defun ideal-polysaturation-1 777,30848
(defun ideal-saturation 787,31374
(defun ideal-polysaturation 808,32255
(defun buchberger-criterion 817,32711
(defun grobner-test 828,33084
(defun minimization 845,33657
(defun add-minimized 863,34207
(defun colon-ideal 872,34569
(defun colon-ideal-1 894,35317
(defun pseudo-divide 901,35628
(defun gebauer-moeller 950,37701
(defun update 988,39076
(defun gebauer-moeller-merge-pairs-use-mock-spoly 1034,40708
(defun gebauer-moeller-merge-pairs-smallest-lcm 1048,41274
(defun gebauer-moeller-merge-pairs-use-smallest-degree 1059,41725
(defun gebauer-moeller-merge-pairs-use-smallest-length 1071,42183
(defun gebauer-moeller-merge-pairs-use-smallest-coefficient-length 1085,42674
(defun gebauer-moeller-set-pair-heuristic1097,43232
(defun spoly-sugar 1115,44072
(defun spoly-with-sugar 1141,45426
(defun normal-form-with-sugar 1158,46104
(defun buchberger-with-sugar 1206,48312
(defun buchberger-with-sugar-merge-pairs 1263,50670
(defun buchberger-with-sugar-sort-pairs 1297,51929
(defun Criterion-1-with-sugar 1301,52104
(defun Criterion-2-with-sugar 1307,52404
(defun gebauer-moeller-with-sugar 1329,53329
(defun update-with-sugar 1375,55085
(defun gebauer-moeller-with-sugar-merge-pairs 1426,57206
(defun grobner-primitive-part-with-sugar 1449,58069
(defun cached-normal-form 1457,58377
(defun cached-grobner-op 1496,59912
(defun cached-buchberger 1504,60285
(defun cached-spoly 1552,62246
(defun cached-monom-times-poly 1568,62832
(defun cached-normal-form-with-sugar 1581,63327
(defun cached-buchberger-with-sugar 1631,65617
(defun cached-poly-with-sugar-op 1694,68276
(defun cached-monom-times-poly-with-sugar 1697,68455

infix.lisp,3615
(defpackage "INFIX"265,12470
(defparameter *infix-readtable* 308,14181
(defparameter *normal-readtable* 309,14235
(defmacro infix-error 311,14291
(defun infix-reader 315,14422
(defun string->prefix 335,15181
(defun read-infix 344,15473
(defun read-regular 351,15745
(defun same-operator-p 360,15959
(defun same-token-p 363,16011
(defvar *peeked-token* 370,16159
(defun read-token 371,16187
(defun peek-token 375,16292
(defun fancy-number-format-p 383,16532
(defun valid-numberp 407,17354
(defun gather-superiors 421,17735
(defun get-first-token 442,18658
(defun apply-token-prefix-operator 450,18882
(defun get-next-token 456,19085
(defun apply-token-infix-operator 460,19212
(defun infix-read-delimited-list 469,19505
(defparameter *operator-ordering* 489,20255
(defun operator-lessp 512,20887
(defparameter *right-associative-operators* 519,21084
(defun operator-right-associative-p 520,21136
(defvar *token-operators* 528,21347
(defvar *token-prefix-operator-table* 529,21378
(defvar *token-infix-operator-table* 530,21435
(defun token-operator-p 531,21491
(defun get-token-prefix-operator 533,21557
(defun get-token-infix-operator 535,21647
(define-token-operator and575,22941
(define-token-operator or577,23026
(define-token-operator not579,23108
(define-token-operator if582,23188
(define-token-operator then604,23868
(define-token-operator else606,23952
(define-character-tokenization #\+609,24037
(define-token-operator +617,24249
(define-token-operator +=620,24368
(define-character-tokenization #\-623,24452
(define-token-operator -631,24664
(define-token-operator -=634,24789
(define-character-tokenization #\*637,24873
(define-token-operator *645,25085
(define-token-operator *=647,25163
(define-character-tokenization #\/654,25309
(define-token-operator /662,25521
(define-token-operator /=665,25646
(define-character-tokenization #\^672,25792
(define-token-operator ^680,26004
(define-token-operator ^^682,26085
(define-character-tokenization #\|685,26171
(define-token-operator \|693,26384
(define-character-tokenization #\&696,26470
(define-token-operator \&704,26684
(define-character-tokenization #\%707,26770
(define-token-operator \%711,26872
(define-character-tokenization #\~714,26955
(define-token-operator \~718,27057
(define-character-tokenization #\,721,27138
(define-token-operator \,725,27240
(define-character-tokenization #\=728,27325
(define-token-operator ===
736,27537
(define-token-operator ==
738,27617
(define-character-tokenization #\:	745,27750
(define-token-operator |:=753,28009
(define-character-tokenization #\<760,28191
(define-token-operator <771,28502
(define-token-operator <=773,28580
(define-token-operator <<775,28661
(define-character-tokenization #\>778,28744
(define-token-operator >789,29055
(define-token-operator >=791,29133
(define-token-operator >>793,29214
(define-character-tokenization #\!796,29301
(define-token-operator !=804,29513
(define-token-operator !806,29599
(define-character-tokenization #\[809,29660
(define-token-operator \[813,29762
(define-character-tokenization #\(821,30077
(define-token-operator \(825,30179
(define-character-tokenization #\]834,30506
(define-token-operator \]838,30608
(define-character-tokenization #\)841,30707
(define-token-operator \)845,30809
(define-character-tokenization #\$850,30979
(define-token-operator %infix-end-token%854,31096
(define-character-tokenization #\;859,31277
(defun post-process-expression 887,32148
(defparameter *test-cases*931,33513
(defun test-infix 1087,40204
(defun test-infix-case 1096,40476

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,3174
(defun cgb-compile 95,3244
(defun cgb-load 102,3435
(defun cgb-load-lisp 112,3730
(defun cgb-compile-and-load 120,3978
(defun cgb-go 124,4040
(defun start-cgb-lisp 128,4094
(defun cgb-lisp-top-level-read-eval-print-loop 136,4261
(defun cgb-lisp-banner 141,4410
(defun cgb-save 148,4563
(defun cgb-save 161,4916

makelist.lisp,398
(defpackage "MAKELIST"12,619
(defmacro makelist-1 57,2296
(defmacro makelist 64,2514
(defmacro sum 73,2815
(defmacro summation 76,2878
(defmacro difference 79,2941
(defmacro list-of 83,3060
(defmacro list-of-1 91,3282
(defmacro union-of 98,3485
(defmacro union-of-1 106,3725
(defmacro set-of 114,3944
(defmacro set-of-1 122,4178
(defun select 129,4392
(defun standard-vector 134,4507

modular.lisp,209
(defpackage "MODULAR"13,689
(defun modular-inverse 22,923
(defun modular-division 29,1114
(defvar *inverse-by-lookup-limit* 33,1220
(defun make-inverse-table 37,1422
(defun make-modular-division 43,1731

modular-poly.lisp,128
(defpackage "MODULAR-POLY"13,694
(defun modular-trace 22,939
(defun modular-trace-1 26,1103
(defun frobenius-kernel 32,1294

monom.lisp,278
(defpackage "MONOM"11,615
(defun monom/ 36,1447
(defun monom* 40,1531
(defun nmonom* 44,1617
(defun monom-divides-p 49,1805
(defun monom-divisible-by-p 53,1925
(defun monom-rel-prime 57,2058
(defun monom-equal 61,2216
(defun monom-lcm 65,2318
(defun monom-gcd 69,2426

order.lisp,246
(defpackage "ORDER"24,1190
(defun lex> 41,1496
(defun total-degree 53,1934
(defun grlex> 58,2131
(defun revlex> 70,2546
(defun grevlex> 85,3169
(defun invlex> 95,3563
(defun elimination-order 114,4281
(defun elimination-order-1 127,4828

parse.lisp,608
(defpackage "PARSE"12,688
(defun convert-number 52,2312
(defun $poly+ 60,2674
(defun $poly- 66,2974
(defun $minus-poly 72,3279
(defun $poly* 78,3533
(defun $poly/ 84,3838
(defun $poly-expt 91,4086
(defun parse 97,4350
(defun alist-form 133,5496
(defun alist-form-1 145,5921
(defun powers 156,6254
(defun parse-to-alist 170,6761
(defun parse-string-to-alist 181,7217
(defun parse-to-sorted-alist 194,7750
(defun parse-string-to-sorted-alist 208,8336
(defun sort-poly-1 214,8602
(defun sort-poly 220,8846
(defun poly-eval-1 233,9389
(defun poly-eval 257,10410
(defun monom-basis 274,11309

poly-gcd.lisp,281
(defpackage "POLY-GCD"11,618
(defun poly-gcd 29,1243
(defun poly-pseudo-divide 47,1758
(defun poly-pseudo-remainder 63,2193
(defun mdeg 67,2315
(defun lcoeff 70,2412
(defun lrest 73,2474
(defun lpart 76,2536
(defun poly-primitive-part 84,2755
(defun poly-content 92,2899

poly.lisp,509
(defpackage "POLY"11,614
(defun scalar-times-poly 45,2025
(defun term-times-poly 52,2312
(defun monom-times-poly 56,2510
(defun minus-poly 60,2674
(defun sort-poly 65,2916
(defun poly+ 77,3335
(defun poly- 101,4095
(defun poly* 127,4967
(defun poly-op 138,5487
(defun poly-expt 144,5714
(defun poly-mexpt 161,6432
(defun poly-constant-p 172,6902
(defun	poly-extend 178,7041
(defun	poly-extend-end 185,7371
(defun poly-zerop 189,7560
(defun lt 193,7636
(defun lm 198,7744
(defun lc 203,7864

poly-with-sugar.lisp,890
(defpackage "POLY-WITH-SUGAR"11,625
(defun poly-with-sugar-poly 48,1758
(defun poly-with-sugar-sugar 49,1799
(defun poly-with-sugar-tail 50,1841
(defsetf poly-with-sugar-poly 52,1899
(defsetf poly-with-sugar-sugar 55,1967
(defsetf poly-with-sugar-tail 58,2038
(defun monom-sugar 65,2301
(defun coefficient-sugar 68,2345
(defun term-sugar 71,2414
(defun poly-add-sugar 78,2686
(defun scalar-times-poly-with-sugar 83,2847
(defun term-times-poly-with-sugar 88,3028
(defun monom-times-poly-with-sugar 93,3241
(defun minus-poly-with-sugar 99,3442
(defun poly-with-sugar+ 105,3619
(defun poly-with-sugar- 111,3856
(defun poly-with-sugar-op 117,4061
(defun poly-with-sugar-nreverse 122,4256
(defun poly-with-sugar-append 128,4487
(defun poly-with-sugar-zerop 132,4652
(defun poly-with-sugar-lm 135,4727
(defun poly-with-sugar-lc 138,4791
(defun poly-with-sugar-lt 141,4855

printer.lisp,168
(defpackage "PRINTER"11,617
(defun poly-print 20,838
(defun poly-print-1 37,1575
(defun poly-print-2 71,2721
(defun print-term 79,3033
(defun print-monom 93,3574

prover.lisp,546
(defpackage "PROVER"12,687
(defvar *prover-order* 24,1117
(defun csym 31,1356
(defmacro real-identical-points 36,1558
(defmacro identical-points 52,2216
(defmacro perpendicular 69,2950
(defmacro parallel 85,3406
(defmacro collinear 102,3858
(defmacro equidistant 117,4303
(defmacro euclidean-distance 133,4814
(defmacro midpoint 145,5187
(defmacro translate-statements 159,5603
(defmacro translate-assumptions 163,5775
(defmacro translate-conclusions 169,5963
(defmacro translate-theorem 172,6059
(defmacro prove-theorem 187,6950

rat.lisp,411
(defpackage "RAT"22,1062
(defun num 33,1415
(defun denom 34,1452
(defun rat-simplify-2 36,1493
(defun rat-simplify 41,1638
(defun rat+ 44,1699
(defun rat- 51,1874
(defun rat* 59,2120
(defun rat/ 64,2217
(defun scalar-times-rat 69,2314
(defun scalar-div-rat 73,2428
(defun rat-zerop 76,2517
(defun rat-uminus 79,2557
(defun rat-expt 82,2619
(defun rat-constant 85,2696
(defun rat-to-poly 90,2898

ratpoly.lisp,974
(defpackage "RATPOLY"25,1219
(defun ratpoly+ 45,2011
(defun ratpoly- 61,2463
(defun ratpoly-uminus 77,2952
(defun ratpoly* 82,3084
(defun scalar-times-ratpoly 90,3420
(defun rat-times-ratpoly 97,3644
(defun ratpoly-divide 104,3861
(defun ratpoly-remainder 113,4199
(defun ratpoly-gcd 117,4344
(defun ratpoly-diff 123,4483
(defun ratpoly-square-free 130,4698
(defun ratpoly-normalize 134,4836
(defun ratpoly-resultant 139,5048
(defun deg 157,5548
(defun lead 164,5686
(defun ratpoly-discriminant 166,5713
(defun ratpoly-print 172,5929
(defun poly-to-ratpoly 188,6493
(defun poly-to-poly1 192,6621
(defun poly1-to-ratpoly 204,7023
(defun ratpoly-to-poly1 213,7230
(defun poly1-to-poly 221,7447
(defun ratpoly-to-poly 231,7755
(defun poly-resultant 235,7826
(defun poly-gcd 246,8241
(defun content1 259,8630
(defun content1-aux 268,8901
(defun content 274,9096
(defun primitive-part 278,9189
(defun divide-coeffs 283,9351
(defun euclid 299,9788

string-grobner.lisp,534
(defpackage "STRING-GROBNER"14,690
(defun string-normal-form 35,1252
(defun string-grobner 57,1850
(defun string-elimination-ideal 85,2688
(defun string-ideal-intersection 108,3327
(defun string-poly-lcm 123,3855
(defun string-ideal-saturation-1 137,4260
(defun string-ideal-polysaturation-1 152,4797
(defun string-ideal-saturation 172,5498
(defun string-ideal-polysaturation 187,6018
(defun string-colon-ideal 212,6793
(defun string-read-poly 234,7548
(defun poly-rational-to-integer 252,8124
(defun read-vars 256,8319

svpoly.lisp,652
(defpackage "SVPOLY"11,616
(defstruct (svpoly 19,775
(defun make-svpoly 25,984
(defun svpoly-sort 42,1539
(defun make-order 46,1700
(defun svpoly-add 62,2277
(defun add-terms 69,2526
(defun scalar-times-poly 107,3439
(defun term-times-poly 114,3690
(defun monom-times-poly 118,3888
(defun minus-poly 122,4052
(defun poly+ 128,4295
(defun poly- 152,5097
(defun poly* 178,5999
(defun poly-op 189,6519
(defun poly-expt 195,6746
(defun poly-mexpt 212,7464
(defun poly-constant-p 223,7934
(defun	poly-extend 229,8073
(defun	poly-extend-end 236,8403
(defun poly-zerop 240,8592
(defun lt 244,8668
(defun lm 249,8776
(defun lc 254,8896

term.lisp,264
(defpackage "TERM"12,615
(defun term* 35,1431
(defun term/ 41,1616
(defun monom-times-term 47,1807
(defun term-divides-p 51,1923
(defmacro term-monom 55,2027
(defmacro term-coefficient 56,2069
(defsetf term-monom 59,2134
(defsetf term-coefficient 62,2200

trivial.lisp,29
(defpackage "TRIVIAL"12,617

xgcd.lisp,46
(defpackage "XGCD"12,614
(defun xgcd 20,796