Commits · 3fd1de0e93e176937a0df8aeb9802eda258ca2eb · luke naylor latex documents / research / Max Destabilizer Rank · GitLab

Snippets Groups Projects

Jun 13, 2023
- Reword references to characteristic curves in main lemma · 3fd1de0e
  Luke Naylor authored 1 year ago
  
  3fd1de0e
- Start rewording characteristic curves · 6f3c2804
  Luke Naylor authored 1 year ago
  
  6f3c2804
- Introduce new notation for characteristic curves · ca789abd
  Luke Naylor authored 1 year ago
  
  ca789abd
- Complete second direction in main lemma · 7ca856d1
  Luke Naylor authored 1 year ago
  
  7ca856d1
- Neaten up Sage code · bc1ed2aa
  Luke Naylor authored 1 year ago
  
  bc1ed2aa
Jun 12, 2023
- Minor wording corrections · 7e8de853
  Luke Naylor authored 1 year ago
  
  7e8de853
- Complete one direction for the main lemma proof · 1de93fec
  Luke Naylor authored 1 year ago
  
  1de93fec
Jun 11, 2023
- Add discussion around Bertram's nested walls and statement of numerical conditions for walls · e740deb2
  Luke Naylor authored 1 year ago
  
  e740deb2
- Continuation of last commit · d4d412bf
  Luke Naylor authored 1 year ago
  
  d4d412bf
- Comment on geometry of hyperbolae · 07372dde
  Luke Naylor authored 1 year ago
  
  07372dde
- Add explanation for characteristic curves · f3e74d65
  Luke Naylor authored 1 year ago
  
  f3e74d65
- Fix size issue of characteristic curves plots · 1de605fb
  Luke Naylor authored 1 year ago
  
  1de605fb
Jun 09, 2023
- Start plots for characteristic curves · d4b66856
  Luke Naylor authored 1 year ago
  
  d4b66856
Jun 01, 2023
- Improve sectioning · c9534b37
  Luke Naylor authored 1 year ago
  
  c9534b37
- Remove 's for: is · d3629091
  Luke Naylor authored 1 year ago
  
  d3629091
May 31, 2023
- Generate expression in bound on r #2 with SageMath · 6f84f36f
  Luke Naylor authored 1 year ago
  
  6f84f36f
May 30, 2023
- Relabel a_F to a_v to clarify non-dependence on particular object repr F · 89faaa47
  Luke Naylor authored 1 year ago
  
  89faaa47
- Add statement to corrolary of 'bound on r 1' (real alternative to Schmidt's bound) · fd5e8f3a
  Luke Naylor authored 1 year ago
  
  fd5e8f3a
- Remove use of word 'tautology' · 63048a3e
  Luke Naylor authored 1 year ago
  
  63048a3e
- Refine statement of theorem: bound on r #3 · c5bd4056
  Luke Naylor authored 1 year ago
  
  c5bd4056
- Change superscripts to subscripts on the k · d43302bc
  Luke Naylor authored 1 year ago
  
  d43302bc
- Simplify expression in theorem 6.2 · 7db877c5
  Luke Naylor authored 1 year ago
  
  7db877c5
- Fix compilation warning · 6cad8421
  Luke Naylor authored 1 year ago
  
  6cad8421
May 29, 2023
- Simplify expression in proof of theorem 6.1 · 79f9d3fa
  Luke Naylor authored 1 year ago
  
  79f9d3fa
- Simplify expression in theorem 6.1 · b5521d59
  Luke Naylor authored 1 year ago
  
  b5521d59
- Update formula for bgmlv3 to nicer alt form 1 · d7354a80
  Luke Naylor authored 1 year ago
  
  d7354a80
- Replace displayed formula for bgmlv3 to nicer alt form · 1f48d16c
  Luke Naylor authored 1 year ago
  
  1f48d16c
- Find good alt expression for hyp term of bgmlv3 · 13537135
  Luke Naylor authored 1 year ago
  
  13537135
- Plot for characteristic curves · 8f631ac0
  Luke Naylor authored 1 year ago
  
  8f631ac0
- Jupyter notebook plot tests · 376230d6
  Luke Naylor authored 1 year ago
  
  376230d6
May 26, 2023
- notebook work towards loose bounds graphic · a5ae08a8
  Luke Naylor authored 1 year ago
  
  a5ae08a8
- Reformat twisted chern and loose bound on r into theorem envs · ba9fdd97
  Luke Naylor authored 1 year ago
  
  ba9fdd97
- Correct beta vs beta_ mixups · 168a2185
  Luke Naylor authored 1 year ago
  
  168a2185
- Minor changes from supervision · 589c1a33
  Luke Naylor authored 1 year ago
  
  589c1a33
May 15, 2023
- Add theorem for final bound for rmax · 43c063de
  Luke Naylor authored 1 year ago
  
  43c063de
- Refine layout in epsilons lemma/dfn · ec3b6503
  Luke Naylor authored 1 year ago
  
  ec3b6503
May 14, 2023
- Refined the epsilon lemma/dfn · 25c3fc65
  Luke Naylor authored 1 year ago
  
  25c3fc65
- Complete epsilon lemma statement · 34f6f773
  Luke Naylor authored 1 year ago
  
  34f6f773
- Start formatting result about new eps into theorem/dfn · bf1d19cf
  Luke Naylor authored 1 year ago
  
  bf1d19cf
- Correct recent work related to modular arithmetic · d4910357
  Luke Naylor authored 1 year ago
  
  d4910357