This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#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; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
### 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: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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']; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 |
NewerOlder