ajout de F_f

diff --git a/main.pdf b/main.pdf
index c78b73f4d747e0fe19da5b75caf11c42a98e62c0..1b07a24857c06ee1462c2e2c70dc0534598002af 100644 (file)
Binary files a/main.pdf and b/main.pdf differ

diff --git a/presPRNG.tex b/presPRNG.tex
index fd0ce179a86378644551d7ecf6b7676c13fdd675..a7c4a55f491b7e315aacacf695987ec2a14ce377 100644 (file)
--- a/presPRNG.tex
+++ b/presPRNG.tex
@@ -18,6 +18,7 @@
 \usepackage[francais]{babel}
 \usepackage{rotating}
 \usepackage{algorithm2e}
+\usepackage{stmaryrd}
 
 \graphicspath{{Figures/}}
 
@@ -144,6 +145,10 @@ return $x$\;
 %\end{scriptsize}
 \end{algorithm}
 \end{block}
+$$
+F_f:  \Bool^{{\mathsf{N}}} \times \llbracket1;{\mathsf{N}} \rrbracket \to \Bool^{\mathsf{N}}, 
+F_f(x,i)=(x_1,\dots,x_{i-1},f_i(x),x_{i+1},\dots,x_{\mathsf{N}}).
+$$
   \end{frame}
 }