forked from rbeezer/fcla
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathchanges.txt
1313 lines (1135 loc) · 53.7 KB
/
changes.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
v3.11 2013/10/21
~~~~~~~~~~~~~~~~
Edit: Minor edits in Sections WILA, SSLE, RREF, TSS, HSE, NM
Edit: Minor edits in Section VO, LC, SS, LI, LDS, O
Edit: Minor edits in Section MO, MM, MISLE, MINM, CRS, FS
Edit: Extended slightly the conclusion of Theorem HSC
Edit: Sage CNIP, removed obsolete discussion (Michael DuBois)
Edit: Stronger finish to proof of Theorem TT (Anna Dovzhik)
Edit: Wording in Exercise MM.T52 (Dan Drake)
Edit: Section VS, added a semi-colon (Gavin Tranter)
Edit: Theorem HMIP, more Theorem EMMVP motivation (Anna Dovzhik)
Change: Theorem ISRN demoted to Exercise TSS.T11
Change: Prefer "pivot columns" over "leading 1", Chapter SLE, V, M
Change: Diagram DTSLS, use Theorem CSRN rather than FVCS (Chris Beaulaurier)
Typo: C^n in statement of Theorem SLSLC
Typo: Section LI, "scenees" (Jenna Fontaine)
Typo: Section LI, "in linearly independent" (Becky Hanscam)
Typo: Example LDRN, use Theorem LIVRN as justification (Anna Dovzhik)
Typo: Sage RLD, "nest" to "next" (Gavin Tranter)
Typo: Theorem OSLI, "nozero" to "nonzero" (Anna Dovzhik)
Typo: Solution LDS.T55, B should be C at very end (Chris Spalding)
Typo: LaTeX/XML formatting in Solution LDS.T40 (Vladimir Yelkhimov)
Typo: Property ZM of Theorem VSPM, matrix, not vector (Michael DuBois)
Typo: LaTeX/XML formatting in Exercise MO.C10 (Anna Dovzhik, Dan Drake)
Typo: LaTeX/XML formatting in Theorem HMIP (Anna Dovzhik)
Typo: LaTeX/XML formatting in Theorem TTMI (Gavin Tranter)
Typo: Sage MISLE, "fuill" to "full" (Gavin Tranter)
Typo: Sage MO, "conjugage" to "conjugate" (Anna Dovzhik)
Typo: Theorem TTMI, "has an inverse" (Jenna Fontaine)
Typo: Sage CSCS, "coeffiicent" to "coefficient" (Jenna Fontaine)
Typo: Example CSTW, "columns of a matrix" (Jenna Fontaine)
Typo: Sage CSOC, "linearly idependent" to "linearly independent" (Jenna Fontaine)
Typo: LaTeX/XML formatting in Theorem REMRS (Jenna Fontaine)
Typo: Theorem BRS, two extra plus signs in proof (Jenna Fontaine)
Typo: Archetype B as homogeneous system fixed, Example HUSAB (Mike Daven)
Typo: Solution MM.C20, "-2" should be "-3" (Anna Dovzhik)
Typo: Proof PEEF, second paragraph, insert "product" (Anna Dovzhik)
Typo: Solution MO.T13 "1<=i<=n" to "1<=j<=n" (Anna Dovzhik)
Typo: Solution MISLE.C27 space in "at" (Jenna Fontaine)
Typo: Sage MISLE, nonexistent "CINMN" acronym to "CINM" (Bruno Mello)
Typo: Subsection VS.VS, grammar, agreement in number (Chris Spalding)
Typo: Solution VS.M12, total garbage from LaTeX/XML conversion (Jenna Fontaine)
Typo: Example SM32 "show" to "shown" (Jenna Fontaine)
Typo: Sage VS "thse" to "these" (Jenna Fontaine)
Typo: Solutions VS.C15, VS.C16, VS.C17, "be linear" to "be a linear" (Jenna Fontaine)
Typo: Example LIM32, stray addition symbol (Jenna Fontaine)
Typo: Section LISS, introduction, "linear" to "linearly" (Chris Spalding)
v3.10 2013/08/20
~~~~~~~~~~~~~~~~
New: Exercise MM.T12, Theorem HMIP reprised
Change: Proof of Theorem OD uses normality of diagonal matrices (Hunter Wills)
Typo: Miscellaneous edits (David Farmer)
Typo: Solution ILT.C29, inner span should be a set (Aysha Orta)
Typo: Misspelling in Acknowlegements (Peter Wimberger)
v3.00 2012/12/05
~~~~~~~~~~~~~~~~
New: Diagrams NSLT, SLT (surjective linear transformations)
New: Diagrams KPI, IVLT (pre-images, invertible linear transformations)
New: Diagram KRI (kernel and range isomorphisms)
New: Exercise NM.T31 (with solution)
New: Exercises LT.T30 and LT.T31
New: Exercise LISS.T51, converse of Theorem VRRB
New: Exercise LISS.T20, subset of linearly independent set is linearly independent
New: Reading Questions, Section OD
New: Diagram AIVS, Section IVLT
New: Discussion following Theorem OBNM
New: Exercises MM.T35, OD.T10, OD.T20
New: Exercise VR.M20 (Tyler Ueltschi)
Edit: Explained min(m,n) in Exercise PD.T15
Edit: More on induction in Proof Technique I (Dan Messenger)
Edit: Added multiplicities to Solution EE.C19 (Duncan Bennett)
Edit: Subsection IVLT.SLELT, reference Definition MVP for T's definition (Kyle Whitcomb)
Edit: Completed Solution ILT.C27 (Duncan Bennett)
Edit: About 130 line-break adjustments, for 5 inch text width at 10pt
Edit: Edits, Subsection CB.CELT
Edit: Solution SLT.C29, added solution to surjective question (Dan Messenger)
Edit: Removed two forward references to Chapter MD (Aidam Meacham)
Edit: Proof of Theorem NME7 clarified (Kevin Halasz)
Edit: Rewrote discussion between Theorem EIM and Theorem ETM (Kevin Halasz)
Change: Replaced Definition RR by an informal discussion
Change: Definition TSVS renamed as Definition SSVS
Change: Proof Technique D: discussion about definitions as nouns, adjectives
Change: Subsection PD.DS (Direct Sums) removed, now in second volume
Change: Subsection MM.PMM, before Theorem MMIP, conjugate fixed to reflect theorem (Dave Perkins)
Change: Solution SLT.C25 no longer uses rank of a linear transformation (Becca Ebert)
Change: Proof of Theorem OD rewritten
Change: Theorem UTMR, proof changed to remove dependence on direct sums (Tyler Ueltschi)
Typo: Proof of Theorem SLSLC: Doubled text macro in source (Glenna Toomey)
Typo: Solution S.T30: Corrected bolding on 'Proof' (Glenna Toomey)
Typo: LaTeX/XML formatting in Solutions RREF.C11, RREF.C13, RREF.C16 (Caden Robinson)
Typo: LaTeX/XML formatting in Solutions SSLE.M10, LISS.C21, B.C11 (Caden Robinson)
Typo: Exercise TSS.T20, fixed link to notation (Caden Robinson)
Typo: Spelling and grammar, Annotated Acronyms VS (Nick Butterfield)
Typo: LaTeX/XML formatting, Proof of SLSLC, discussion after VSPCV
Typo: Several LS(A,b) without bold b vector (Sophie Bartolomeo)
Typo: Sign change deep in Example SSP (Dan Messenger)
Typo: LaTeX/XML formatting in Exercises MISLE.C41, MINM.C40 (Caden Robinson)
Typo: LaTeX/XML formatting in Exercise VS.M12 (Ameneh McCullough)
Typo: Removed bad forward reference in Exercise LISS.C21 (Tyler Ueltschi)
Typo: LaTeX/XML formatting in Exercises LISS.T50, D.M20 (Becca Ebert)
Typo: Grammar in proof of Theorem TSS (Frankie de Lavis)
Typo: Spelling in Preface "eigenvvectors"
Typo: LaTeX/XML formatting in Exercise PD.C40 (Becca Ebert)
Typo: Stray percent sign in Example D33M (Glenna Toomey)
Typo: Incorrect initial matrix in Solution DM.C30 (Julie Nelson)
Typo: Spelling in introduction to Section EE "ethe" (Liz Meuci)
Typo: Spelling in Section VS "be we" to "but we" (Caden Robinson)
Typo: Reference in Example VSM is to a definition, not example (Caden Robinson)
Typo: LaTeX/XML formatting in Reading Question LISS.2 (Caden Robinson)
Typo: LaTeX/XML formatting in Solutions EE.C23, EE.C24, EE.C25 (Caden Robinson)
Typo: LaTeX/XML formatting in Example DAB (Ben Boe)
Typo: Exercise PEE.T22 "had" to "has" (Dan Messenger)
Typo: Example SAV, misleading misalignment in matrix (Mitch Benning, Davis Schubert)
Typo: LaTeX/XML formatting in Exercise, Solution RREF.M40 (Aidan Meacham)
Typo: LaTeX/XML formatting in Solution ILT.C40 (Julie Nelson)
Typo: Section LT, after Example MFLT, "not an accident" (Kyle Whitcomb)
Typo: Section SLT, before Diagram SLT, domain/codomain confusion (Kyle Whitcomb)
Typo: Section IVLT, after Definition IVS, "given", "a" reversed (Kyle Whitcomb)
Typo: LaTeX rules for fill-in-the-blank exercises (Julie Nelson)
Typo: LaTeX/XML formatting in Solution IVLT.C20 (Julie Nelson)
Typo: LaTeX/XML formatting in Solution LT.C43 (Duncan Bennett)
Typo: Example SEEF, mis-aligned "M = " (Dave Perkins)
Typo: Example SPIAS, scalar in C^3 (Nick Butterfield)
Typo: LaTeX/XML formatting, \matrixrep in Theorem OBUTR proof
Typo: LaTeX/XML formatting, \lt in Theorem VRI proof (Stephen Gower)
Typo: Implication arrow in wrong direction, Theorem IMR (Dan Messenger)
Typo: Example LIC, second sentence, in/dependence (Aidan Meacham)
Typo: Solution B.T50, missing implication arrows
Typo: Sage CELT, needed symbolic variables (Tyler Ueltschi)
Typo: Solution CB.C40, uses B in solution; problem now asks for C (Tyler Ueltschi)
Typo: Missing reference to Exercise OD.T20 (Tyler Ueltschi)
Typo: Exercise MR.C25, added "is" (Caden Robinson)
Typo: Exercise VR.C20, final matrix has entry 40, not 30 (Melissa Pellman)
Typo: Example RVMR, variable change in linear transformation definition (Glenna Toomey)
Typo: Proof of Theorem SMZE, now cites Definition NM, not NSM (Kevin Halasz)
MAJOR SOURCE FORMAT CHANGE
~~~~~~~~~~~~~~~~~~~~~~~~~~
Version 2.99 is the last version that is guaranteed to compile from the
LaTeX sources initiated in December 2003. Content has all migrated
to an XML format, using a one-off conversion process, custom XML tags
and LaTeX syntax for in-line and displayed mathematics.
Changes to the LaTeX sources subsequent to Version 2.99 are
designed to support the automated conversion to XML and some
new environments (e.g. "introduction", "para", "graphics") are
not implemented in the corresponding style files. Additional
content has been integrated, such as Tikz graphics and the Sage
vignettes.
v2.99 source (as published, or with additions) may be recreated
in two ways:
(a) rolling back to the version "2.99" Mercurial tag (published version)
(b) in the new "latex" subdirectory (source with additions).
v2.99 2012/10/13
~~~~~~~~~~~~~
Omission: Corrected discussion of inner product definition (Diego Barreiro)
Typo: Set S is really T, discussion following Theorem BCS (Diego Barreiro)
Typo: Miscellaneous small corrections, Sections MM, MISLE, VS, S (Diego Barreiro)
Typo: Solution SSLE.M70, spelling (Becca Ebert)
Typo: Small fix to new version of VO.T05 (Nick Butterfield)
Typo: Solution LI.M50, "we that" becomes "we find that" (Dan Messenger)
Typo: Several "the the" (Jack Gilbert)
Edit: Theorem SLSLC statement: clarified that the vector x has n entries (Jack Gilbert)
Change: Alignment of several exercises in Section RREF (Ameneh McCullough)
Change: Solutions EE.C23, EE.C24 reformatted
Change: Exercises VO.T05, VO.T06, VO.T07: proofs re-written
v2.90 2012/06/17
~~~~~~~~~~~~~
MAJOR CHANGE:
The inner product is now "reversed" from what it was formerly.
Specifically, the entries of the *first* vector are conjugated now.
Rationale:
This will make properties for numerous matrix decompositions and other
aspects of orthogonality simpler and more natural. This is already
evident as several proofs have been shortened and simplified.
Changes:
Definition IP - root cause
Theorem IPSM - now scalar multiples of first vector
"come out" conjugated
Theorem MMIP - conjugate and transpose both now affect first vector
Theorem GSP - order in inner products reversed. Necessary for the proof
but also preserves any existing computations
Theorem COB - order in inner products reversed. Necessary for the proof
but also preserves any existing computations
Proofs - Many proofs depend on the five items above and have been
rewritten. Generally they are equivalent or simpler. These
changes are not documented here. See the revision history, which
is organized by section, or search on uses of the theorems above.
Limitations - Changes only go through Section CB. Remaining sections will
be adjusted as edited.
New: Exercise HSE.T11, equivalent systems, both homogeneous, or both not (Robert Beezer)
New: Exercise SSLE.M14, 'time flies like...' (Gary Gordon)
Typo: Extra "a" in Section VO (Aaron Taylor)
Typo: a/the Example LINSB (Zeke Rosenberg)
Typo: "see" missing from Solution LDS.C50 (Aaron Taylor)
Typo: "of" missing from Subsection MISLE.MI (Zeke Rosenberg)
Typo: Exercise and Solution SS.M12 needs set brackets in spans (Cliff Berger)
Typo: Proof of Theorem NI has bad reference to Theorem NMRRI (Troy Cornelius)
Typo: Adjusted subsection acronym to FS.CCS (Troy Cornelius)
Typo: Solution MO.C13, alpha = 2 (Preston Van Buren)
Typo: Exercises MO.C12, MO.C13 are matrix equations (Preston Van Buren)
Typo: Subsection LISS.LI, bad reference to column vector linear independence (Troy Cornelius)
Typo: Solution MINM.M15, nonsingular should be singular (Preston Van Buren)
Typo: Exercise MINM.M10, missing comma (Sophie Scheller)
Typo: Theorem DNLT, missing "if" (Shepherd Engle)
Typo: Solution LISS.C26, five matrices span, not four (Alden Horowitz)
Typo: Two minor ones, LISS reading questions (Sophie Scheller, Preston Van Buren)
Typo: Subsection EE.EEE, bad reference to determinant definition (David Farmer)
Typo: Example KVMR, linear transformation definition fixed (Ryan Walch)
Typo: Example CIVLT, kernel should be trivial (Ryan Walch, Cliff Berger)
Typo: Solution LISS.C22, dro is for (Cliff Berger)
Typo: Section MINM, The is This (Aaron Taylor)
Typo: Section MINM, calls is call (Troy Cornelius)
Typo: Example VRP2, second basis is C (Preston Van Buren)
Typo: Subsection NLT.CFNLT, dangling reference deleted (Shepherd Engle)
Typo: Exercise VS.M21, vector multiplication is scalar multiplication (Davis Shurbert)
Typo: Subsection MR.NRFO, reference to Theorem ME is Theorem EMP (Cliff Berger)
Typo: Solution S.C17, matrix needs augmenting (Alden Horowitz)
Typo: Solution SSLE.C51, removed asterisk as multiplication
Typo: Solution PD.C40, vector space is P_4, not P_5 (Cliff Berger)
Typo: Exercise ILT.T15, kernels, not null spaces
Typo: Solution CB.C41, S_{22} is domain (Preston Van Buren)
Typo: Archetypes, inverse linear transformation check reordered (Preston Van Buren)
Addition: Solution IVLT.T15 cites Definition ROLT (Alex King)
Change: Reworded Exercise TSS.M45 (Davis Shurbert)
Change: Subsection HP.DMHP, converted citation request (Troy Cornelius)
Change: Theorem SSS, clarified span is a subset, fixed missing brackets (Luran Li)
Change: Exercise NM.T10, Solution NM.T10 slightly reworked
Change: Exercises VO, reformatted 3 problem numbers
Change: Exercise VS.M12, Exercise VS.M13, changed addition symbol
Change: Reading Question MISLE.1, totally new matrix, with fraction-free inverse
v2.30 2011/12/23
~~~~~~~~~~~~~
Typo: Bad subscript in proof of Theorem RREFU (Antti Tuppurainen)
Typo: Misspellings in Solution LISS.C26 (Robert Tunney)
Typo: Misspellings in Annotated Acronyms VS (Robert Tunney)
v2.23 2011/11/30
~~~~~~~~~~~~~
Typo: Solution DM.M16, one root is -4 (Tuo "Thomas" Huang)
Typo: Solution LI.M21, alpha_3 subscripts fixed (Robert Tunney)
Typo: Exercise MO.C10, sign change on beta (Jessica Norworth, Robert Tunney)
Typo: Exercise SLT.C24, removed non-existent coefficient e (Audrey Tiew)
Typo: Example SSP4, two instances of 24 alpha_2 changed to 24 alpha_4
Typo: Section LC: "will be appear again" fixed (David Randolph)
New: Exercise VS.T30, Property O is just for 1 (James Gallagher)
New: Exercise EE.T15, two definitions of characteristic polynomial
New: Exercises M60 in LT, ILT, SLT, IVLT, MR about the zero linear transformation
New: Exercise IVLT.T40, composition invertible, then so are parts
New: Exercises MR.M80,M81,M82,M83: old matrix results in linear transformation terms
Change: Reading Question LDS.1
Change: Exercise SSLE.M70 fixed to work over complexes for one and zero solutions (Don Kreher)
Change: Improve discussion following Theorem EMMVP (Robert Tunney)
Change: Improve Solution SSLE.M10 (Robert Tunney)
Change: Exercise LI.C22, totally replaced to make linear combination simpler computationally (Robert Tunney)
Change: Improve wording of Definition EEF (Zoltan Toth)
Change: Careful reductions to echelon form in RREF run on index j (Ben Zeilstra)
v2.22 2010/04/21
~~~~~~~~~~~~~
Typo: Section LT intro, "He" -> "Here" (Sigrun Bodine)
Typo: Section LT, "how how" (Jinshil Yi)
Typo: Section EE, "take the each" (Jinshil Yi)
Typo: Theorem DEM, third part of proof, confused subscripts (Jinshil Yi)
Typo: Subsection ILT.ILTLI, "if" -> "in" (Shepherd Engle)
New: Expanded intro to Section MISLE
New: Expanded Solution MISLE.T10
New: Added Theorem NPNT to Annotated Acronyms in Chapter M
New: Added proper citations in first half of proof of Theorem TSS
New: Added m <= n to hypotheses of Theorem DSFB (Jinshil Yi)
Change: Exercise LISS.T40, removed references to a basis, reworded (Jinshil Yi)
Change: First half of proof of Theorem NI shortened
Removed: Exercises MM.M30, MM.M31. Duplicated in MM.T41.
v2.21 2010/03/10
~~~~~~~~~~~~~
Typo: Solution ILT.T20, null spaces of linear transformations should be kernels (Scott Macha, Lisa Kant)
Typo: Technique DC, "anitderivative" (Jinshil Yi)
Typo: "taht", "scalked" (Jinshil Yi)
Typo: Section VO, last paragraph, Property ACC corrected to AAC (David Eva)
Edit: Part 1 of Definition RREF slightly reworded.
Edit: Row operation examples and solutions reformatted
Edit: Improved \setparts macro
Edit: Various clean-up in Chapters SLE, V
New: Exercise HSE.T12 (Ivan Kessler)
New: Exercise NM.T12
v2.20 2009/08/17
~~~~~~~~~~~~~
Typo: Theorem GESD, missing power of m three times in kernels at very end. (Zoltan Toth)
Typo: Section JCF, Subsection JCF, introductory paragraph, two words missing. (Zoltan Toth)
Typo: Example DSM22, Coefficient of d, second equation, changed to -2. (Joe Gain)
Typo: Theorem DERC, "rows r and s" changed to "rows s and t." (Charles Ganiear)
Typo: Exercise SLT.C23, x^4 changed to x^3. (Tanya Leise)
Typo: Solution MR.C40, stray S changed to R. (Tanya Leise)
Typo: Exercise IVLT.C25, codomain to C^3 in part 5. (Tanya Leise)
Notation: Linear transformation definitions now use \rightarrow, not \mapsto. (Tanya Leise)
Change: Solutions RREF.C10-C19 rewritten to not reference next section (Manley Perkel)
Add: Example RREF.RREF has additional illustration of sets D and F. (Manley Perkel)
Add: Solution RREF.T10 has some extra explanation. (Robert Beezer)
New: Definitions SSLE and SSSLE in Section SSLE making "solution" a precise term
New: Exercises TSS.M46, TSS.M70, TSS.T20 (r, D, F notation) (Manley Perkel)
New: Exercise LI.M51 (Manley Perkel, Rob Beezer)
New: Exercises LI.M20, LI.M21 (Rob Beezer)
New: Edition formatted for Kindle DX
v2.12 2009/04/08
~~~~~~~~~~~~~
Typo: Proof Technique I, fixed algebra in proof for sum of integers (William Haynes)
Typo: Example CFV, for Archetype E, leading 1 is now row 3, column 5 (William Haynes)
Typo: Theorem CFNLT, table at end and following. Subscripts d corrected to p. (Zoltan Toth)
Typo: Theorem GESD, 2 typos, and a missing identity matrix at end. (Zoltan Toth)
Typo: Theorem GESD, T:V->V in hypothesis.
Typo: Solution EE.C24, wandering minus sign in eigenvector for eigenvalue 3. (Hung An Kim)
Typo: Removed ten stray instances of exam "points." (Tanya Leise)
Change: Theorem HMIP, second half of proof streamlined (Manley Perkel)
Change: Example VSF generalized slightly (Manley Perkel)
New: Enhancements to Definition VS and associated commentary (Manley Perkel)
New: Exercise O.M60 (Manley Perkel)
New: Exercises MO.T30--MO.T37, sequence of proofs about skew-symmetric matrices (Manley Perkel)
v2.11 2009/02/18
~~~~~~~~~~~~~
New: Links in problem statements to solutions vanish if solutions are omitted (Nancy Neudauer)
New: Edition file for Pacific University course (Nancy Neudauer)
New: Warning after Definition RREF abut the use of sets D and F for any matrix (Nancy Neudauer)
New: Exercises LI.C20-25 now ask for relation of linear dependence for linearly dependent sets (Manley Perkel)
New: Exercises VO.T30,T31,T32 about vector subtraction
New: Comments at the end of Section VO about subtraction, parentheses (Manley Perkel)
New: Partial fraction example added to Proof Technique DC as an example (Manley Perkel)
Change: Solution VS.M21 duplicates VS.M20, replaced with accurate solution (Tanya Leise)
Change: Definition A (adjoint) shouldn't require the matrix to be square (Manley Perkel)
Change: Example SCAB no longer mentions V, it was not used (Manley Perkel)
Change: Complex numbers in Subsection CNO.CCN written as Greek letters (Manley Perkel)
Change: Various grammar, spelling and other edits (Manley Perkel)
Typo: Definition F, four V's corrected to be F's (Tomas da Silva Martins de Godoi)
Typo: Theorem SLSLC, four 1 <= i <= n replaced with 1 <= i <= m (Valeron JC)
Typo: Solution RREF.M50 now mentions the number of trucks in the solution (Manley Perkel)
v2.10 2009/01/11
~~~~~~~~~~~~~
Typo: Archetype R, inverse linear transformation, 221/4 corrected to 221/2 (David Braithwaite)
Typo: Theorem CFNLT, third paragraph. Two s_i corrected to s_p (Zoltan Toth)
Typo: Theorem GESD, "scalarlistpn" macro fixed (Zoltan Toth)
Typo: Theorem GESD, missing "+" inserted deep into proof (Zoltan Toth)
Change: Theorem SS, reordered conclusions (Zoltan Toth)
Change: Theorem GESIS, new argument for invariance (Zoltan Toth)
New: Exercises from Chris Black, 123 in total, almost all with solutions:
SSLE: C30,C31,C32,C33,C34
RREF: M45
TSS: C21,C22,C23,C24,C25,C26,C27,C28
HSE: C21,C22,C23,C25,C26,C27
VO: C11,C12,C13,C14,C15,T5,T6,T7
SS: M10,M11,M12
MO: C10,C11,C12,C13,C14
MM: C21,C22,C23,C24,C25,C26,C30,C31,C32,C33,M30,M31
MISLE: C16,C17,C18,C19
MINM: C20,M10,M11,M15
CRS: C20
VS: M11,M12,M13,M14,M15,M20,M21
S: C15,C16,C17,T30,T31
LISS: C24,C25,C26
B: C10,C11,C12,C13,C14
D: C21,C22,C23,C35,C36,C37
DM: C21,C22,C23,C27,C28,C29,C30,M10,N11,M15,M16
EE: C10,C11,C12,C23,C24,C25,C26,C27
LT: C16,C40,C41,C42,C43
ILT: C26,C27,C28,C29,C30,C31,C32,C33
SLT: C23,C24,C26,C27,C28,C29,C30
IVLT: C25
v2.02 2008/11/19
~~~~~~~~~~~~~
Typo: Proof of Theorem RREFU, fixed [R]_{k,d_l} subscript (Niall Davidson)
Typo: Example CNS2 (Section HSE), augmented matrix needs column of zeros (Cicero Vargas)
Typo: Subsection FS.EEF, very end, augmented matrix [A|x] corrected to [A|y] (David Braithwaite)
Typo: Proof of Theorem UMCOB, inner product equals 0 (not 1) in beginning (Bryan Smith)
Typos: 117 typos and minor edits (Minh Van Nguyen)
Edits: Various edits and typos (Bryan Smith)
Edit: Theorem ETM, removed unnecessary eigenvector (David Braithwaite)
Edit: Theorem DEC, i/j subscript fixed in proof
Change: Solution MM.T41 rewritten, no longer depends on Theorem NI (David Braithwaite)
Change: Theorem DT, induction step made explicit (David Braithwaite)
v2.01 2008/09/10
~~~~~~~~~~~~~
New: Another solution for Exercise SSLE.C52(David Braithwaite)
New: Computation Notes for SAGE: RR (Row Reduce), LS (Linear Solve), VLC (Vector Linear Combinations)
Change: Theorem VFSLS, bad subscripts in paragraph "Rearranging.." (David Braithwaite)
Change: Theorem VFSLS, proof totally rewritten, includes correction above
Change: Exercise SSLE.C51 clarified, new solution (Arnim Littek)
Edits: Minor clean-up on SAGE Computation Notes
Typo: Solution NM.C50, B renamed properly to E (George Garrett)
Typo: Example NSDS (Section SS), -2 at top of z_1 at end (George Garrett)
Typo: Solution SSLE.C52 had an extra 8 (David Braithwaite)
Typo: Exercise TSS.T40, added "consistent" in hypothesis (David Braithwaite)
Typo: Theorem MMCC, first justification in proof, reference corrected (Thomas Junier)
Typo: SAGE output delimiters confusing XML translation (Harald Schilly)
Typo: Exercise.SS.C44, Exercise.SS.C45, vector names fixed (George Garrett)
Typo: Example RSSC4 renamed properly to Example RSC4 (Section LDS) (George Garrett)
Typo: Variety of grammatical, spelling errors (George Garrett)
Typo: Variety of grammatical, spelling errors (Arnim Littek)
v2.00 2008/07/16
~~~~~~~~~~~~~
New: Waldron Edition as print-on-demand
New: jsMath electronic version
New: Exercise MINM.M80
New: Solution SD.T16 (Steve Canfield)
New: Notation AME and Notation GME (eigenvalue multiplicities)
Change: Theorem IMR upgraded to iff (Sam Antoine)
Change: Theorem IMILT, simplified proof using Theorem IMR
Change: Figures are now Diagrams - avoids clash with TeX figure macros
Change: Preface is no longer an Invariant Text, to conform with strict open standards
Typo: Definition LSMR, Notation LSMR renamed correctly as MRLS
Typo: Theorem NOILT, removed duplicate "injective" (Steve Canfield)
Typo: Replace "gratis" by "gratuit" in Preface (Hubert Dupont)
Typo: Section NLT, first paragraph, geometric/algebraic multiplicty (Mariana Montiel)
Edit: Minor edits throughout Reading Questions, based on Spring 2008 course
Edit: Updated Preface
v1.35 2008/04/16
~~~~~~~~~~~~~
New: Computation Notes for SAGE, initiated by Steve Canfield
New: Exercises B.T51, PD.T33, MR.T20
New: Exercise B.T50 (which may become a Theorem)
Typo: Solution EE.C20, replaced 2 by -2 in eigenvalue 3 computation (Taylor Firman)
Typo: Solution EE.C22, replaced four 3i's by \sqrt{3}i (Matt Salter)
Bug: Source for v1.34 wouldn't TeX easily. Recalled. (Chris Black)
v1.34 2008/03/17
~~~~~~~~~~~~~
New: Expanded Theorem NPNT to include converse
New: Table at end of Subsection CRS.CSSE summarizing related theorems
New: Figure CSRST
Typo: Removed stray "=" from statement of Theorem EMP (Greg Palmer)
Typo: Removed "rank" and "nullity", Annotated Acronyms, Chapter M (Steve Canfield)
Edit: Minor edits in Chapter M, based on Spring 2008 course
v1.33 2008/03/06
~~~~~~~~~~~~~
Maintenance release for figures
XML now contains figures
Figures included in source tarball, XML tarball
"List of Figures" still missing
Edit: Final revision of Fibonacci sequence, now Example FSCF (Section SD)
v1.32 2008/02/27
~~~~~~~~~~~~~
Figures now open-source via Python programs using PyX routines
This infrastructure may change, experimental right now
XML graphics import is not working
Needs a "List of Figures"
Not yet into source package, only in PDFs
New: Figures DTSLS, DLTA, DLTM, FTMR, FTMRA, MRCLT, GLT, ILT, NILT
Fixed excessive spacing following Proof Technique references
New: Use of Annotated Acronyms to Preface
New: Practicality and availability of hyperlinks to Preface
New: Exercises RREF.C33, NM.C50, NM.T30, LI.C32, LI.C33, LDS.C52, LISS.T50, O.T20, O.T30
New: Subsection SD.FS on Fibonacci sequences, needs some revision
Typo: Achetype C, second solution, x_2=7 (Betsy Kersey)
Typo: Example NSDS, portions of z_1 and z_3 reversed (Christina Roy)
Typo: Theorem TTMI, removed cruft from first half of proof (Christina Roy)
Typo: Example CSIP, carry -3+i through correctly (Matt Salter)
Edit: Example NRREF, named matrix E (from D) to avoid confusion with D, F as sets
Edit: Minor edits in Chapter R, concludes Fall 2007 course edits
Edit: Minor edits in Chapter SLE, Chapter V, based on Spring 2008 course
Edit: Streamlined proof of Theorem VRI
Edit: Definition of an Archetype is now from an open-source lexical database (WordNet)
v1.31 2008/02/02
~~~~~~~~~~~~~
Typo: Example VSP, b_1 corrected to a_1 (almost at the end)
Change: Rewrote proof of Theorem RREFU
Removed Subsection URREF from Section LC
Moved Theorem RREFU to Section RREF
Moved Techniques CD and U to precede
Change: Alternate proof of Theorem NMUS is now Exercise/Solution NM.T90
Edit: Clarified that Exercises C10-C19 in Section RREF are not designed to be worked by hand
Edit: Minor edits in Chapters VS, D, E, LT
Edit: Multiple edits in Section TSS
Edit: Removed unnecessary "m variables" from theorem hypotheses in Section TSS
Edit: Streamlined second half of proof for Theorem RCLS
Edit: Streamlined proof for Theorem SMZD
Edit: Streamlined proof for Theorem DRMM
New: Exercise SSLE.C51, SSLE.C52, RREF.T40
v1.30 2008/01/21
~~~~~~~~~~~~~
Production version for Spring 2008 UPS course
New: Annotated Acronyms: infrastructure is workable, but needs tuning
New: Annotated Acronyms for each of the 8 chapters in the core (Justin Platts)
New: Example CIVLT in Section IVLT, computing an inverse of a linear transformation
New: Exercise IVLT.M50
Change: Resolved acronym conflict for fields (commutativity, closure)
Property ACCN renamed to CACN, Property MCCN renamed to CMCN
Change: Solution vector is now Definition SOLV, conflicted with Singular Values
Edit: Technique L, clarified comments on object-oriented programming (Clive Spriggs)
Edit: Theorem ISRN, removed "m equations" from hypothesis
Edit: Theorem EMMVP, made proof more reliant on standard unit vectors
Edit: Reworked statement of Theorem LTDB to be clearer, edited later applications
Edit: Significantly shortened proof of Theorem VRLT with new version of Theorem LTDB
Edit: Minor edits in Chapters SLE, V, M
Edit: Minor edits to Reading Questions
Edit: Fixed a few dangling cross-references
New: Standard Unit Vectors (Definition SUV) formalized as notation, e_i
Obsolete: Theorem CBOB (Justin Platts)
As stated Theorem CBOB was likely false, proof was flawed
Correct version melded into UMCOB, which is now an equivalence
Some resulting adjustments in proof of Theorem PDM
v1.21 2007/11/21
~~~~~~~~~~~~~
New: Exercise RREF.C19, TSS.T41, PEE.T50
Maintenance release to fix XML on-line version
v1.20 2007/08/29
~~~~~~~~~~~~~
Production version for Fall 2007 UPS course
New: Exercises LI.T12, LI.T13, LT.T20, IVLT.T30
Typo: Solution MR.C42, employed inverse of representation (Will Swannack)
Concluded corrections from Spring 07 intro course (through CB)
v1.10
~~~~~~~~~~~~~
This version number skipped purposely
v1.09 2007/08/11
~~~~~~~~~~~~~
Obsolete: Exercise LC.T30 (duplicates Theorem PSHS)
New: Section HP, Hadamard product (by Elizabeth Million)
New: Exercises MO.T14, LISS.T40, PD.T40
Typo: Theorem PSMSR, forward implication, missing parentheses (Alex Paauwe)
Typo: Example SS6W, made S really 10 digits long by adding a leading zero (Elizabeth Million)
Typo: Section SAS, 4th paragraph, "choose m-1 coefficients" (Elizabeth Million)
Typo: Theorem DRCMA, second line of proof, remove row t of B (Tim Zitzer)
Typo: Solution LT.C30, switched roles of X_2, x_3 (Celia Ozereko)
Typo: Theorem ENLT, added "nilpotent" to hypothesis (Andrew Tapay)
Typo: Theorem PSHS, now zero vector, not zero scalar
Typo: Example COV, matrices I, A, B confused (Dylan Poulsen)
Typo: Theorem DEC, inserted sign changes (-1)^{i+j}
Change: Moved Definition SUV from Section MISLE to Section O
Change: Theorem SVD, fixed end of proof, reordered U and D (Tim Zitzer)
Change: Theorem DLDS, proof reworked in a more consistent style
Change: Theorem OSLI, proof reworked in a more consistent style
Change: Theorem EMMVP, proof reworked in a more consistent style
Change: Rewrote Solution PEE.T20
Change: Solution LISS.T40 now appropriate to location
Change: Example CROB4, basis justification changed (Will Swannack)
v1.08 2007/03/29
~~~~~~~~~~~~~
New: Section VM, Vandermonde Matrix
New: Section SAS, Sharing a Secret
New: Section CF, Curve Fitting (in-progress)
Change: Moved Section PSM out of Matrix Decompositions chapter
Typo: Corrected typo in Solution T.T30 (Andy Zimmer)
Typo: LISS.SS, color mixing analogy, changed "yellow" to "green" (Tate Urio)
Typo: Theorem COB, set T relabeled correctly to B (proof improved also)
v1.07 2007/03/14
~~~~~~~~~~~~~
New: Section SR, Square Root
New: Section POD, Polar Decomposition
New: Section SVD, Singular Value Decomposition
New: Added discussion of unitary matrices as isometries (Section OD)
New: Exercise PEE.T22
Change: Renamed Theorem GSP as Theorem GSPCV (Gram-Schmidt Procedure)
Change: Relabeled unitary matrices (from Q to U) in Section MINM
Section T, Trace (nee Section TM) in draft form
Chapter MD, Matrix Decompositions, outline is complete, all sections in draft form
v1.06 2007/03/08
~~~~~~~~~~~~~
New: Section PSM, Positive Semi-Definite Matrices
New: Section TM, Trace of a Matrix (by Andy Zimmer)
New: Theorem UMCOB in Section B, Theorem CBOB in Section CB
(Unitary matrices and orthonormal bases)
Typo: Example JCF10, removed extraneous identity linear transformations in matrix representations
Typo: Definition JCF, corrected last two portions (Kali Joseph)
Obsolete: Theorem VAC, Theorem CSSM, Theorem CVSM of Section VS never referenced
Removed and converted to Exercise VS.T21, VS.T22, VS.T23
Correction: Removed duplicate version of Theorem UTMR (Section JCF)
v1.05 2007/02/27
~~~~~~~~~~~~~
Change: Definition A (adjoint) moved into Section MO in new Subsection A
Change: Definition HM (Hermitian) moved into Section MM
New: Theorem CCM, Theorem AMA, Theorem AMSM, Theorem AA in Section MO
Basic results about adjoints and Hermitian matrices
New: Theorem MMAD, Theorem AIP, Theorem MMIP in Section MM
Basic results relating matrix multiplication, adjoints, inner products
New: Theorem OBNM (Section OD), orthonormal basis of eigenvectors for a normal matrix
Upgrade: Streamlined proof of Theorem HMRE (Section PEE)
Upgrade: Streamlined proof of Theorem HMOE (Section PEE)
Obsolete: \adj macro expunged in favor of \adjoint
Typo: Reading question #3 in MINM, "orthogonal" corrected to "unitary"
Typo: Proof of Theorem RREFU, last paragraph,
two subscripts corrected to read "except that b_k has a one in location d_k" (Bryan Smith)
v1.04 2007/02/15
~~~~~~~~~~~~~
New: Section OD, Orthonormal Diagonalization
Logical structure is complete, needs examples and editing
New: Example LTRGE in Section IS
New: More detailed proofs of Theorem CVRA and Theorem CRSM (Section O)
Typo: Theorem IPVA, added comma to vector list in statement (Celia Ozereko)
v1.03 2007/02/01
~~~~~~~~~~~~~
New: Section TD in draft form
New: Exercises RREF.C17,C18,C32; TSS.M56,M57,T40; HSE.C31; NM.M30
Typo: SSLE.SOL.C50 changed c>2 to c>1 (Celia Ozereko)
Addition: Reworded Definitions CVE, CVA, CVSM in Section VO to include C^m explicitly (Kyle Morril)
Change: Adjoint of a matrix notation is now a superscript star, changes only one occurence
Change: Subsection SD.OD (Orthonormal Diagonalization) downgraded to a comment
Edit: Minor editing in Section MINM (mostly source-level changes)
v1.02 2007/01/25
~~~~~~~~~~~~~
New: Section JCF essentially complete, now a draft
New: Section ROD in draft form
New: Solution to MR.T80
New: Example JCF10 in Section JCF
Typo: Reference in Exercise MR.T80 fixed to read "Theorem EMP"
Typo: Commutative diagram after Example MR.MPMR
basis on final matrix representation now D (not C) (Tim Zitzer)
Typo: HSE.SOL.T10, implications reversed (Tim Zitzer)
v1.01 2007/01/18
~~~~~~~~~~~~~
Completed: Section NLT, Nilpotent Linear Transformations (now a draft)
New: Section IS, Invariant Subspaces (now a draft)
New: Section JCF, Jordan Canonical Form (nearly complete)
New: Section F, Fields (first Topics section)
New: Subsection DS in Section PD
especially to support theorems in Section NLT
six or so new theorems in this section
New: Minor updates to reading questions, clarifying questions' intent
New: Exercise PD.M50
New: Four new math macros in fcla-math.sty
\geneigenspace for generalized eigenspaces
\restrict for restrictions of linear transformations
\indx for the index of an eigenvalue
\Z for blackboard bold Z, the integers
Typo: EE.SOL.C19 - Fixed sign on constant term of char poly (Jessica Olsen)
Change: Example IS (Section SSLE), replaced beta_3, beta_4 by a, b
Obsolete: Theorem EB (Section PD), effectively replaced by Theorem DSFOS
v1.00 2006/12/11
~~~~~~~~~~~~~
Version 1.00 release ;-)
Section NLT in-progress, not included in major release (see 0.94/1.01)
Change Log entries now more comprehensive
v0.94 2006/12/09
~~~~~~~~~~~~~
New exercises: IVLT.T05, MR.C10
Many changes in formatting and work on production script
Refined sections in Chapter SLE with additional subsection headings
First XML production version
Version 1.0 release candidate
v0.93 2006/11/22
~~~~~~~~~~~~~
Commented out commutative diagrams in XML version
XML version ready for regular production
Got "linear system" notation right
New Theorem EB, Definition DS in Section PD
Expanded to two screen formats
v0.92 2006/11/16
~~~~~~~~~~~~~
XML characters working without PNG images
Customization switches rationalized, expanded
Eigenspaces now written with calligraphic E
New exercises: PD.T05
New Theorem PSSD in Section PD
More new material in Section NLT
v0.91 2006/11/09
~~~~~~~~~~~~~
Edits in Chapters D, E
Retitled Theorem DMLE to DMFE (at Paul Wicks' suggestion)
Restyled the proof of Theorem EDELI
Began work on Jordan canonical form with Section NLT
v0.90
~~~~~~~~~~~~~
This version number skipped purposely
v0.89 2006/11/02
~~~~~~~~~~~~~
Lots of macro work to make XML version possible
Brought revised fcla.tex, fcla-developer.sty into main tree
Renamed all *.tex files with acronym basenames to upper-case versions
New Exercise D.C40, PD.T10
Edits in Chapter VS
Orthogonal matrices properly renamed as unitary matrices
Subsection OM to UM, Definition OM to UM, Theorem COMOS to CUMOS
Example OM3 to UM3, Example OPM to UPM
Renamed \adjoint convenience macro as \adj
Created new \adjoint for notation purposes only
Finished Section SET
Added Theorem PCNA to Section CNO for subsequent references
All major content holes plugged in preparation for version 1.0 ;-)
Acronyms adjusted for Equality/Entry conflicts for vectors and matrices
v0.88 2006/10/19
~~~~~~~~~~~~~
Example PSNS renamed (correctly) as PSHS
New Exercises MM.T52, MISLE.C42, CRS.C34,C35, FS.C26
Moved matrix and vector notation for systems from Section HSE to Section RREF
Subsumed Definitions ZR, LO, PC and Notation RREFA into Definition RREF
Eliminated notation environment, since none remain
NonSingular acronym cleanup
Replaced occurences of NS=NonSingular, generally with NM=Nonsingular Matrix
Section NSM to NM, Section MINSM to MINM
Subsections BNSM, CSNSM, LINSM, NSM, NSMI, RNNSM
Theorem CINSM, CNSMB, NSI, NSLIC, NSRRI, NSTNS,
RNNSM, SNSCM, CSNSM, NSMUS, NSMEx
Example NS, NSNS, NSRR
\frontsection macro obsolete
GFDL to an Appendix
Contributor list handled by tocloft package
Computation notes infrastructure reworked
Inline as environments
Appendix with subsections
User-controllable: appendix/inline, choice of devices
Proof Techniques
Now in appendix, or inline throughout text, switchable
\includesection macro now obsolete
v0.87 2006/10/12
~~~~~~~~~~~~~
Chapter M edits
Macro cleanup before XML/MathML additions
v0.86 2006/10/05
~~~~~~~~~~~~~
Archetype work
New Archetypes: linear transformations W and X
Provided full details on Archetypes S through X
New Exercise IVLT.C10
Refactored some archetype macros
Formatted archetypes at the section level, fixed PDF bookmarks
Reserved archetypes Y and Z for canonical form examples to come
Created archetype summary supplement, added to distributions
Archetypes now reasonably complete
v0.85 2006/09/28
~~~~~~~~~~~~~
New Section SET on sets
New Exercises SS.C50, LI.T15, LI.T50, LDS.C55
Definition ES relabeled as Definition ESYS
Proof Technique SE subsumed by Definition SE (set equality)
Proof Technique SN absorbed into Section SET
Upgraded \chap macro to allow for appendices at same level
Renamed Chapter A (Archetypes) as an Appendix
Removed Chapter P (Preliminaries) from Topics part
New Appendix P (complex, numbers and sets)
Moved Proof Techniques out of running text, into Appendix PT
Started exporting Computation Notes to their own appendix
Lots of refactoring in sectioning macros
Stopped posting (nearly useless) bugs.txt file on website
v0.84 2006/09/21
~~~~~~~~~~~~~
Abandoned ntheorem package for environments and lists
Incorporated LaTeX \newenvironment to replace ntheorem
Incorporated tocloft package to replace ntheorem
Began using TeX4ht to produce XML/MathML output
New Example: LIBNS in Section LI
New Example: DRO in Section PDM
New Exercises: PDM.T15, T20, T25
Polished the proof of Theorem BNS
Corrected RREF pseudo-code (after Theorem REMEF)
Three new reading questions in Chapter D
Expansion/Revision of Chapter D complete
New Mathematica Computation Notes:
NS (Null Space) in Section SS
VFSS (Vector Form of Solution Set) in Section SS
Brought flashcard production in line with new environments
Broke out chapter introductions into own files
Added \allowdisplaybreaks to preamble, 30 page reduction
v0.83 2006/09/14
~~~~~~~~~~~~~
Added Exercises SSLE.C50, NSM.T10
"Chapter" string into chapter headings
Corrected acronym: Theorem ESMHE is now Theorem EMHE
New Proof Techniques, placeholder references replaced
Induction (I)
Contradiction (CD)
Lemmas and Corollaries (LC)
Negations (N)
v0.82 2006/09/07
~~~~~~~~~~~~~
Polished Section RREF, reformatted row operations examples
New Example FDV in Section TSS
Wrote new Section PDM for Chapter D
Many new theorems, a few examples, etc
Relocated following from Section DM to Section PDM
Theorem SMZD, Example ZNDAB, Theorem NSME7, Theorem DRMM
Subsection PD of Section D is obsolete
v0.81 2006/08/31
~~~~~~~~~~~~~
Examples MIAK, CMIAK renamed as MI and CMI
(now use a matrix different from Archetype K)
Reworking Chapter D, Determinants
Added new Subsection on elementary matrices
Changed notation for submatrices
Removed definitions of minors and cofactors (MIM, CIM), and Example MC
Obsolete: \minor, \cofactor
Several big proofs about determinants finally provided
Theorem DERC decomposed to Theorem DER and Theorem DEC
Planning new section with properties of determinants
Adjusted the end of Example IS (Section SSLE)
Typos, etc fixed in Sections WILA, SSLE
v0.80 2006/08/22
~~~~~~~~~~~~~
Renamed Subsection B.BRS as B.BSCV
Edits in Section B, D, PD
New Subsection PD.DFS
New Theorem DFS in Section PD
New reading question in Section PD
New Exercises B.C40
New Solution B.M20
v0.75 2006/04/06
~~~~~~~~~~~~~
Typo fixups in Chapters V, M, D, E
New Exercise PEE.T30
v0.74 2006/02/23
~~~~~~~~~~~~~
Rewrote Theorem PWSMS as the contrapositive, renamed as NPNT
New Exercises DM.T10, CRS.T45
v0.73 2006/02/16
~~~~~~~~~~~~~
Typo fixups in Chapters SLE and V
Changed acronym for Theorem ICRN to ISRN (Section TSS)
Overhauled proof of Theorem REMEF
v0.72 2006/01/26
~~~~~~~~~~~~~
Reviewed Section S, updated reading questions
New Examples LIC, SSC (Section LISS); BC (Section B); DC (Section B)
New Exercises LISS.C23, C42, B.C80
Example SSM22 reworked (Section LISS), changes reflected in Example BSM22 (Section B)
Completed reading questions for Section LISS
v0.71 2006/01/19
~~~~~~~~~~~~~
Began major reorganization of portions of Chapter VS
New Section LISS, built from Subsections B.LI, B.SS, B.VR
Subsection PD.OBC moved to Section B
Improvements to Sections B, D, PD planned
New exercises: SSLE.M11, M12, M13
v0.70 2006/01/05
~~~~~~~~~~~~~
Production version for Spring 2006 UPS course
Revised Preface
Fixed busted cross-references
Renamed Theorem RSS as Theorem SS (Section LDS)
Fixed Example MRCM
EXPERIMENTAL: Span notation converted to angle brackets (nee Sp( ))
New exercise: SSLE.M10
v0.65 2005/12/15
~~~~~~~~~~~~~
New exercises: MR.C22, C25, C42, C52; CB.41
Improvements to Theorem KNSI and Theorem RCSI (Section MR)
Chapter R: Typos and polishing
v0.64 2005/12/01
~~~~~~~~~~~~~
New proof: Theorem LTTZZ (from Mark Shoemaker)
New exercises: ILT.C20; SLT.C22; IVLT.C20, C21, M31
Typos, etc in Chapter LT
v0.63 2005/11/17
~~~~~~~~~~~~~
New examples: ELTT, CELT (Section CB)
Renamed Theorem BCSOC as Theorem BCS
New exercises: DM.C24; EE.C19, T20; PEE.T10; SD.C22
v0.62 2005/11/10
~~~~~~~~~~~~~
Fixed up Theorem EDELI (Section PEE)
Fixed up Exercises ILT.T20, SLT.T20
Typos, etc in Chapters D & E
New example: MRBE (Section MR)
New theorems: IMILT, NSME9 (Section MR)
New exercises: MR.T60
v0.61 2005/11/03
~~~~~~~~~~~~~
Significantly simplified proof of Theorem RMRT
New exercises: B.C22, C41; D.C30, C31; CB.C20, C21, T15
New examples in Section CB: ELTBM, ELTBP, CBP, CBCV, MRCM
v0.60
~~~~~~~~~~~~~
This version number skipped purposely
v0.59 2005/10/27
~~~~~~~~~~~~~
Typos in Chapter VS fixed
Theorem LNSMS (Section S)
Reformatted proof of Theorem REMRS
New exercises: MR.C21, C41, C50, C51, M20; CB.C40;
v0.58 2005/10/20
~~~~~~~~~~~~~
Polished Section VS, de-emphasized "axioms"
Improved proof of Theorem CSNSM (Section MINSM)
Improved proof of Theorem TSS (Section S)
Section FS: New Example LNS, warning on row-reducing to a column space
Section FS: full-rank discussion for minimal L
New exercises: RREF.T21; CRS.M21; FS.C21, M50, M51
New exercises: MISLE.C41; CRS.C31; FS.C25
New exercises: LT.C26, C31; ILT.C40, T20; SLT.C40, T15; IVLT.M30
v0.57 2005/10/13
~~~~~~~~~~~~~
Proof for Theorem FS (Section FS)
Minor typos fixed in Section FS
v0.56 2005/10/06
~~~~~~~~~~~~~
Polished proof of Theorem OSIS (Section MINSM)
Retitled Definition TSS as Definition TSVS
Rewrote Theorem PSPHS, allows section move below
Moved Subsection PSHS from Section MM to Section LC
Internal commands obsolete: \fileinfo, \titlingdotted
New exercises: SS.T21, T22; MM.T31, T32, T51; MINSM.T12;
New exercises: S.C21, T20; B.C21, C40; D.M21