Code

Lspace#1230

Code

Open

hoheinzollern wants to merge 33 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:lspacehoheinzollern/analysis:lspaceCopy head branch name to clipboard

+750-84

Commits

Commits on Jan 27, 2025

• tentative definition of Lp-spaces

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  79da61a

  Copy full SHA for 79da61a

• fixed compilation errors

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  cb8b9f6

  Copy full SHA for cb8b9f6

• attempt to fix CI

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  0616933

  Copy full SHA for 0616933

• fix

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  43888e3

  Copy full SHA for 43888e3

• extended reals

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  cfad0d0

  Copy full SHA for cfad0d0

• wip

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  e324bc3

  Copy full SHA for e324bc3

• up

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  184c68e

  Copy full SHA for 184c68e

• wip

  

  hoheinzollern

  authored and

  CohenCyril

  committed
  d91bea5

  Copy full SHA for d91bea5

• Setup nix to follow the seminorm branch of mathcomp

  CohenCyril

  committed
  addd307

  Copy full SHA for addd307

• WIP

  CohenCyril

  committed
  a181b67

  Copy full SHA for a181b67

Commits on Jan 28, 2025

• normedtype.v compiles

  hoheinzollern

  committed
  8fe12a6

  Copy full SHA for 8fe12a6

• lspace.v headers

  hoheinzollern

  committed
  a0a6c9c

  Copy full SHA for a0a6c9c

• norms

  hoheinzollern

  committed
  bc4eec8

  Copy full SHA for bc4eec8

• making ae work as a filter

  CohenCyril

  committed
  9c8b52c

  Copy full SHA for 9c8b52c

• Adding notations for ae

  CohenCyril

  committed
  23d8625

  Copy full SHA for 23d8625

• generalizing ae_eq

  CohenCyril

  committed
  69ff8b9

  Copy full SHA for 69ff8b9

• more generalizations of ae_eq

  hoheinzollern

  committed
  f084584

  Copy full SHA for f084584

Commits on Jan 29, 2025

• wip

  hoheinzollern

  committed
  4ca52c4

  Copy full SHA for 4ca52c4

• wip

  hoheinzollern

  committed
  6e3ad8d

  Copy full SHA for 6e3ad8d

Commits on Feb 4, 2025

• wip

  hoheinzollern

  committed
  39f0538

  Copy full SHA for 39f0538

• wip

  hoheinzollern

  committed
  a6aad22

  Copy full SHA for a6aad22

• wip

  hoheinzollern

  committed
  c2e2658

  Copy full SHA for c2e2658

Commits on Feb 5, 2025

• - hoelder.v doc

  Show description for a2527b7
  hoheinzollern

  committed
  a2527b7

  Copy full SHA for a2527b7

• wip

  hoheinzollern

  committed
  11b66a9

  Copy full SHA for 11b66a9

Commits on Feb 6, 2025

• wip

  hoheinzollern

  committed
  40e631f

  Copy full SHA for 40e631f

Commits on Feb 7, 2025

• wip

  hoheinzollern

  committed
  9cb80f3

  Copy full SHA for 9cb80f3

• compressions

  CohenCyril

  committed
  4fa4057

  Copy full SHA for 4fa4057

• wip refactoring

  hoheinzollern

  committed
  9dbf281

  Copy full SHA for 9dbf281

Commits on Feb 8, 2025

• inclusion of lp spaces

  hoheinzollern

  committed
  d975e87

  Copy full SHA for d975e87

• extension to Loo

  hoheinzollern

  committed
  1ead981

  Copy full SHA for 1ead981

• wip

  hoheinzollern

  committed
  75d27c6

  Copy full SHA for 75d27c6

• wip

  hoheinzollern

  committed
  8e6602a

  Copy full SHA for 8e6602a

• measure 0

  hoheinzollern

  committed
  905866b

  Copy full SHA for 905866b