X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/16dcc.git/blobdiff_plain/8dfce25f59a57787b53e1ba55971a5c4f8d5993f..dc38289efffc51c12872f9b0be76aefc25b32a05:/presPRNG.tex?ds=inline

diff --git a/presPRNG.tex b/presPRNG.tex
index fd0ce17..a7c4a55 100644
--- 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}
 }