Skip to content

Instantly share code, notes, and snippets.

@vbeffara
vbeffara / analytic_continuation_2.lean
Created September 30, 2022 08:01
Uniqueness theorem in higher dimension
import analysis.analytic.isolated_zeros
open set formal_multilinear_series
open_locale topological_space
variables {𝕜 E F : Type*} [nontrivially_normed_field 𝕜] [normed_add_comm_group E] [normed_space 𝕜 E]
[topological_add_group E] [has_continuous_const_smul 𝕜 E] [normed_add_comm_group F]
[normed_space 𝕜 F] [topological_add_group F] [has_continuous_const_smul 𝕜 F]
variables {f : E → F} {s : set E} {w : E} {p q q' : formal_multilinear_series 𝕜 E F} {r : ennreal}
@vbeffara
vbeffara / isolated_zeros.lean
Created May 19, 2022 23:15
Isolated Zeros theorem
import analysis.analytic.basic
import analysis.analytic.radius_liminf
import analysis.calculus.dslope
import analysis.calculus.fderiv_analytic
import analysis.complex.basic
import algebra.big_operators.fin
variables {f : ℂ → ℂ} {p : formal_multilinear_series ℂ ℂ ℂ}
open filter function
#include <cilk/cilk.h>
#include <cilk/cilk_api.h>
#include <future>
struct complex_double {
complex_double (double r, double i) {
__real__ _M_value = r;
__imag__ _M_value = i;
}
__complex__ double _M_value;
### Keybase proof
I hereby claim:
* I am vbeffara on github.
* I am vbeffara (https://keybase.io/vbeffara) on keybase.
* I have a public key whose fingerprint is 2E9C F085 1C27 4D8D C9D3 5DF6 12D4 D07D 29C0 9D06
To claim this, I am signing this object:
@vbeffara
vbeffara / -
Created November 11, 2014 15:08
commit 136a47372f59ac3d7fa51a1cf45c02abad865c3b
Author: Vincent Beffara <vbeffara@ens-lyon.fr>
Date: Tue Nov 11 16:05:48 2014 +0100
finite() is deprecated on OSX
diff --git a/src/dpe.h b/src/dpe.h
index 8ddcc50..27a4dd1 100644
--- a/src/dpe.h
+++ b/src/dpe.h
@vbeffara
vbeffara / -
Created November 7, 2014 16:10
commit 7c6c0fdf82a85e9b85e14e2383b028eb899dbe76
Author: Vincent Beffara <vbeffara@ens-lyon.fr>
Date: Fri Nov 7 17:06:18 2014 +0100
Make std::complex compatible with custom number classes
This means specifying which version of std::polar is used in pow and exp. Cf
discussion of the topic at:
https://gcc.gnu.org/ml/gcc-patches/2014-02/msg01377.html
Configuring hakyll-4.6.0.0...
Building hakyll-4.6.0.0...
Preprocessing library hakyll-4.6.0.0...
[35 of 46] Compiling Hakyll.Web.Html ( src/Hakyll/Web/Html.hs, dist/build/Hakyll/Web/Html.o )
src/Hakyll/Web/Html.hs:80:36:
No instance for (Text.StringLike.StringLike t0)
arising from a use of `TS.renderOptions'
The type variable `t0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
import System.Environment (getArgs)
import System.Random
import Control.Monad (liftM)
import Data.Array.Unboxed
import qualified Data.Vector as V
import qualified Data.Vector.Unboxed as VU
configs :: Int -> [[Char]] -- List of configurations
configs n = V.toList $ V.take (3^n) $ V.fromList $ iterate nextConfig $ replicate n '0'
where nextConfig ('0':xs) = '1':xs
diff --git a/ecrire/inc/cvt_autosave.php b/ecrire/inc/cvt_autosave.php
index 98571a5..77bc6ee 100644
--- a/ecrire/inc/cvt_autosave.php
+++ b/ecrire/inc/cvt_autosave.php
@@ -80,7 +80,8 @@ function cvtautosave_formulaire_traiter($flux){
if (!defined('_AUTOSAVE_GB_DELAY')) define('_AUTOSAVE_GB_DELAY',72*3600);
$time_too_old = time() - _AUTOSAVE_GB_DELAY;
// purger aussi toutes les vieilles autosave
- foreach($GLOBALS['visiteur_session'] as $k=>$v){
+ $tmp_globals = $GLOBALS['visiteur_session'];
Dec 20 11:33:19 192.33.214.166 (pid 24075) :Pub:info: ajoute session tmp/sessions/1_f0f245452e59a081b9327ef1840d9dbd.php cookie 864000
Dec 20 11:33:19 192.33.214.166 (pid 24075) :Pub:info: #0 ajouter_session(Array ([id_auteur] => 1,[nom] => Beffara, Vincent ,[bio] => Chargé de recherche au CNRS - ENS Lyon,[email] => vbeffara@ens-lyon.fr,[nom_site] => Page de Vincent Beffara,[url_site] => http://www.umpa.ens-lyon.fr/~vbeffara/,[login] => vbeffara,[statut] => 0minirezo,[maj] => 2011-12-18 14:36:00,[pgp] => ,[en_ligne] => 2011-12-18 14:36:00,[imessage] => non,[messagerie] => ,[prefs] => Array ([cnx] => perma,[couleur] => 6,[options] => avancees,[display] => 2,[display_navigation] => navigation_avec_icones),[cookie_oubli] => 1173445751492bb0cbc88014.01608822,[source] => spip,[lang] => fr,[affiliation] => ,[billettiste] => oui,[webmestre] => oui,[auth] => spip,[cookie] => oui,[hash_env] => 1f587dfc2d3b144bed8c505b8b316a28,[ip_change] => ,[date_session] => 1324288382,[tmp_forum_document] => tmp/documents_forum/53c