Code

Total variation#1118

Code

Merged

affeldt-aist merged 22 commits intomath-comp:mastermath-comp/analysis:masterfrom zstone1:total_variationzstone1/analysis:total_variationCopy head branch name to clipboardJan 19, 2024

+1,059-9

Commits

Commits on Jan 19, 2024

• total variation proofs underway

  

  zstone1

  authored and

  affeldt-aist

  committed
  accc2f5

• increasing implies BV

  

  zstone1

  authored and

  affeldt-aist

  committed
  f984c78

• splitting partitions

  

  zstone1

  authored and

  affeldt-aist

  committed
  ded0e6f

• halfway through right continuity proof

  

  zstone1

  authored and

  affeldt-aist

  committed
  840c364

• right continuity of TV

  

  zstone1

  authored and

  affeldt-aist

  committed
  b9921ea

• bv functions done

  

  zstone1

  authored and

  affeldt-aist

  committed
  b953832

• cantor subspace

  

  zstone1

  authored and

  affeldt-aist

  committed
  6f2cadf

• left continuity for BV

  

  zstone1

  authored and

  affeldt-aist

  committed
  f33b0e8

• continuity of TV with annoying admit

  

  zstone1

  authored and

  affeldt-aist

  committed
  580b07c

• resetting unused files

  

  zstone1

  authored and

  affeldt-aist

  committed
  528ea58

• define variation with path

  affeldt-aist

  committed
  3abeb36

• filling in admits

  

  zstone1

  authored and

  affeldt-aist

  committed
  18378ee

• moving lemmas around

  

  zstone1

  authored and

  affeldt-aist

  committed
  abb83f8

• removing duplicate lemmas

  

  zstone1

  authored and

  affeldt-aist

  committed
  0f8feba

• docs and changelog

  

  zstone1

  authored and

  affeldt-aist

  committed
  2bf383f

• minor checks (wip)

  affeldt-aist

  committed
  c2742fe

• adding monotone variation

  

  zstone1

  authored and

  affeldt-aist

  committed
  dabe6ef

• fixing names

  

  zstone1

  authored and

  affeldt-aist

  committed
  adf2461

• variation using prev and next

  affeldt-aist

  committed
  208c8e8

• renamings, mv path lemmas to extra

  affeldt-aist

  committed
  4e6aacd

• fix

  affeldt-aist

  committed
  48235eb

• fix

  affeldt-aist

  committed
  df8d6f0