Commits · 6f84f36f9870c22a2b57bf29ee38412fd3d35300 · luke naylor latex documents / research / Max Destabilizer Rank · GitLab

Snippets Groups Projects

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
May 13, 2023
- Calculate epsilon_q · 49a9eedb
  Luke Naylor authored 1 year ago
  
  49a9eedb
May 12, 2023
- Start leading onto part with tighter bounds · a579508c
  Luke Naylor authored 1 year ago
  
  a579508c
- Fix errors (interlacing environment and scope) · 0284ecd0
  Luke Naylor authored 1 year ago
  
  0284ecd0
- Reformat result into a theorem · d22fec8d
  Luke Naylor authored 1 year ago
  
  d22fec8d
- Get first bound on r in terms of q · 7b1eb085
  Luke Naylor authored 1 year ago
  
  7b1eb085
- Add subscripts to a and b to denote what they depend on · 01681317
  Luke Naylor authored 1 year ago
  
  01681317
- Rearrange and correct work from last 4 commits · ff1b012b
  Luke Naylor authored 1 year ago
  
  ff1b012b
- Revert "Modular arithmetic work actually irrelevant" · b8e7b6c2
  Luke Naylor authored 1 year ago
  
  Realised I was wrong This reverts commit 23826ea2.
  b8e7b6c2
- Start the 'min' expressions · c0b192f0
  Luke Naylor authored 1 year ago
  
  c0b192f0
- Modular arithmetic work actually irrelevant · 23826ea2
  Luke Naylor authored 1 year ago
  
  23826ea2
- Minor indent change · 752d82b1
  Luke Naylor authored 1 year ago
  
  752d82b1
- Add some modular arithmetic relating to numerator of rad cond bound · eedb5635
  Luke Naylor authored 1 year ago
  
  eedb5635
- Minor sentence correction · 10ffba1b
  Luke Naylor authored 1 year ago
  
  10ffba1b
- Add restriction on r for c to be integral · 48907aab
  Luke Naylor authored 1 year ago
  
  48907aab
- Comment on general q case and split beta_min into (ir)rational cases · ce984275
  Luke Naylor authored 1 year ago
  
  ce984275