Commits · thesis · luke naylor latex documents / research / Max Destabilizer Rank

Jan 14, 2025
- Add pic(T)=Zl condition to all ppas · 7672ddc0
  Luke Naylor authored 2 months ago
  
  7672ddc0
Dec 09, 2024
- Complete corrections of part II · cb98c26a
  Luke Naylor authored 3 months ago
  
  cb98c26a
- ref -> eqref (missed in last commit) · fbbe61f2
  Luke Naylor authored 3 months ago
  
  fbbe61f2
- ref -> eqref · 42d153f1
  Luke Naylor authored 3 months ago
  
  42d153f1
Dec 03, 2024
- Complete first pass of corrections on chapter 3 · 7e02219e
  Luke Naylor authored 3 months ago
  
  7e02219e
Oct 11, 2024
- Add some texlab directives to ignore erroneous diagnostics · 1a27cd54
  Luke Naylor authored 5 months ago
  
  1a27cd54
Aug 14, 2024
- Annotate examples · 806b2648
  Luke Naylor authored 7 months ago
  
  examined
  
  806b2648
Aug 13, 2024
- Add ref to Bogomolov ineq · ade283c0
  Luke Naylor authored 7 months ago
  
  ade283c0
- Improve notation around choice of P in problems · cb4742a3
  Luke Naylor authored 7 months ago
  
  cb4742a3
- ize -> ise · c80c37bb
  Luke Naylor authored 7 months ago
  
  c80c37bb
- Correct label to ref · 836e1038
  Luke Naylor authored 7 months ago
  
  836e1038
- Capitalisation · 43751345
  Luke Naylor authored 7 months ago
  
  43751345
- Capitalisations · 5c26c2a2
  Luke Naylor authored 7 months ago
  
  5c26c2a2
- Capitalisations · 91448bd7
  Luke Naylor authored 7 months ago
  
  91448bd7
Aug 12, 2024
- Add urls to some bibs · 21203844
  Luke Naylor authored 7 months ago
  
  21203844
- Tweak wording to reduce text overflow into margin. · 98713f85
  Luke Naylor authored 7 months ago
  
  98713f85
Aug 11, 2024
- Tweak how to refer to appendix · 491f7f66
  Luke Naylor authored 7 months ago
  
  491f7f66
- Remove footnote in theorem · 30c02aae
  Luke Naylor authored 7 months ago
  
  30c02aae
- Fix build · 510495a3
  Luke Naylor authored 7 months ago
  
  510495a3
- Implement Jun28 feedback (minus big lemma) · e71d0cf7
  Luke Naylor authored 7 months ago
  
  e71d0cf7
Aug 10, 2024
- Implement Jul08 feedback (non-continued) · 0f9a603d
  Luke Naylor authored 7 months ago
  
  0f9a603d
- Implement Jul08 feedback · 0fdec9b5
  Luke Naylor authored 7 months ago
  
  0fdec9b5
Aug 09, 2024
- Fix build error · 4f11f23a
  Luke Naylor authored 7 months ago
  
  4f11f23a
- Complete missing minor proofs · f05416b6
  Luke Naylor authored 7 months ago
  
  f05416b6
- Update tilt.rs submod · e3c987c0
  Luke Naylor authored 7 months ago
  
  e3c987c0
- Complete one outstanding TODO · b642eedf
  Luke Naylor authored 7 months ago
  
  b642eedf
Aug 08, 2024
- revert last commit action on bibliography · 5bdbcba6
  Luke Naylor authored 7 months ago
  
  5bdbcba6
- Minor tweaks on capitalisations · eed5334c
  Luke Naylor authored 7 months ago
  
  eed5334c
Jul 18, 2024
- Minor tweak, and reference tilt.rs docs · 14d0cd4f
  Luke Naylor authored 7 months ago
  
  14d0cd4f
Jul 09, 2024
- Complete adding listing for chapter 5 · feb75711
  Luke Naylor authored 8 months ago
  
  feb75711
- Break lines in tilt.rs to keep them under 85 chars wide · ed5b9f24
  Luke Naylor authored 8 months ago
  
  ed5b9f24
- Add a snippet for reducing problem to fixed q, beta, and r · c68c9025
  Luke Naylor authored 8 months ago
  
  c68c9025
Jul 08, 2024
- Float listings and minor corrections · 6a482d4a
  Luke Naylor authored 8 months ago
  
  6a482d4a
- First pass over the final chapter of part 2 · d259e9bf
  Luke Naylor authored 8 months ago
  
  d259e9bf
- Tweak final parts of chapter and other mid intro · f9d01fc5
  Luke Naylor authored 8 months ago
  
  f9d01fc5
Jul 07, 2024
- Iron out final corollary specialising to p2 and ppas · e6ecabfb
  Luke Naylor authored 8 months ago
  
  e6ecabfb
- ize -> ise · bb7747cf
  Luke Naylor authored 8 months ago
  
  bb7747cf
- Iron out final theorem bound of chapter · bd0d95ec
  Luke Naylor authored 8 months ago
  
  bd0d95ec
- Add betaminus substitution in notebooks · 25202198
  Luke Naylor authored 8 months ago
  
  25202198
- Tweak e_{v,q} lemma/dfn · 2f6251d1
  Luke Naylor authored 8 months ago
  
  2f6251d1