Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 19, 2024

• Real Fourier transform as LM (not CLM)

  Show description for 7f47e2d
  jvlmdr

  committed
  7f47e2d

  Copy full SHA for 7f47e2d

Commits on Feb 4, 2024

• Tweaks

  jvlmdr

  committed
  08e2584

  Copy full SHA for 08e2584

• iteratedFDeriv_integral_vectorFourierIntegrand_apply

  jvlmdr

  committed
  d0782cc

  Copy full SHA for d0782cc

• Add continuous_compContinuousLinearMapL

  jvlmdr

  committed
  b226f26

  Copy full SHA for b226f26

Commits on Jan 26, 2024

• Fix broken bits

  jvlmdr

  committed
  43b1e90

  Copy full SHA for 43b1e90

• Remove Multinomial

  jvlmdr

  committed
  a55e9e9

  Copy full SHA for a55e9e9

• Update FDerivProd according to PR

  jvlmdr

  committed
  9e9b912

  Copy full SHA for 9e9b912

Commits on Jan 13, 2024

• Tweak Prod.mk embeddings

  jvlmdr

  committed
  a1e265f

  Copy full SHA for a1e265f

• Comments; renaming

  jvlmdr

  committed
  870246d

  Copy full SHA for 870246d

• Add multichoose_eq_biUnion; cleanup

  jvlmdr

  committed
  c1fd18f

  Copy full SHA for c1fd18f

• Remove unused attribute

  jvlmdr

  committed
  b3bad3c

  Copy full SHA for b3bad3c

• Add image; use LeftInverse; refactor

  jvlmdr

  committed
  ed50c42

  Copy full SHA for ed50c42

• Add multinomial theorem

  jvlmdr

  committed
  d88b10a

  Copy full SHA for d88b10a

Commits on Jan 10, 2024

• Move powerset code down; rename Emb to Embedding

  jvlmdr

  committed
  c5bcc9d

  Copy full SHA for c5bcc9d

Commits on Jan 8, 2024

• Add embeddings for multiset

  jvlmdr

  committed
  579a44c

  Copy full SHA for 579a44c

• Add lemmas eq_toFinset..; add multichoose_one

  jvlmdr

  committed
  af19163

  Copy full SHA for af19163

Commits on Jan 7, 2024

• multichoose: Docs, minor tweaks

  jvlmdr

  committed
  faabddd

  Copy full SHA for faabddd

• Fix multichoose_le_powersetCard_nsmul

  jvlmdr

  committed
  c514d41

  Copy full SHA for c514d41

• Add count for powerset, powersetCard; clean up

  jvlmdr

  committed
  b024560

  Copy full SHA for b024560

• Add multichoose for List, Multiset, Finset

  jvlmdr

  committed
  be4ec44

  Copy full SHA for be4ec44

Commits on Jan 1, 2024

• Add fderiv for Finset.prod

  jvlmdr

  committed
  09f1d0e

  Copy full SHA for 09f1d0e

Commits on Dec 30, 2023

• Add integral_apply for multilinear maps

  Show description for f9af903
  jvlmdr

  committed
  f9af903

  Copy full SHA for f9af903

Commits on Dec 29, 2023

• Fourier transform of partial deriv of Schwartz map

  jvlmdr

  committed
  2954ff9

  Copy full SHA for 2954ff9

Commits on Dec 18, 2023

• Use recursion on the left for iteratedFDeriv

  jvlmdr

  committed
  4cffc98

  Copy full SHA for 4cffc98

Commits on Dec 11, 2023

• Add SchwartzMap.compEquiv as equivalence

  jvlmdr

  committed
  4abf8a1

  Copy full SHA for 4abf8a1

• Move MeasurableEquiv.piSplitAt to PiEquiv

  jvlmdr

  committed
  007b949

  Copy full SHA for 007b949

• Add {ContinuousLinear,LinearIsometry}Equivs

  jvlmdr

  committed
  dce991a

  Copy full SHA for dce991a

Commits on Dec 9, 2023

• fderiv of CMM, iteratedFDeriv of CLM

  jvlmdr

  committed
  60b896b

  Copy full SHA for 60b896b

Commits on Dec 4, 2023

• Start: integral and deriv in canonical coordinate

  jvlmdr

  committed
  0f9ae56

  Copy full SHA for 0f9ae56

Commits on Nov 26, 2023

• Fourier transform of derivative of Schwartz on R

  Show description for b1988ee
  jvlmdr

  committed
  b1988ee

  Copy full SHA for b1988ee

Commits on Nov 21, 2023

• Fourier integral of Schwartz function is ContDiff

  jvlmdr

  committed
  0defdb6

  Copy full SHA for 0defdb6

Commits on Nov 18, 2023

• HasTemperateGrowth clm_apply, bilin, smul, mul

  jvlmdr

  committed
  9b2a766

  Copy full SHA for 9b2a766

• Update use of const

  jvlmdr

  committed
  e01ebee

  Copy full SHA for e01ebee

• Re-structure with HasTemperateGrowth.comp

  jvlmdr

  committed
  cfaaef8

  Copy full SHA for cfaaef8

Commits on Nov 16, 2023

• Clean up differentiable exp_real_smul_I

  jvlmdr

  committed
  909222d

  Copy full SHA for 909222d

Pagination

Previous

Next