### changeset 33:d2c52d02b030

Updated the name of random-bit to random\_bit
author Sigurd Meldgaard Mon, 25 May 2009 13:25:07 +0200 785e5686fad3 95c5e9e0c5f8 semantics/semantics.tex 1 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/semantics/semantics.tex	Mon May 25 13:27:35 2009 +0200
+++ b/semantics/semantics.tex	Mon May 25 13:25:07 2009 +0200
@@ -43,9 +43,9 @@
&$\mid$& $\nt{e}\circ (\nt{e}_2)$ &\mbox{\rm binary operation, $\circ \in \{+,-,*,<,\leq,=\}$}\\
&$\mid$& \nt{e}$_1$.get(\nt{e}$_2$) &\mbox{\rm retrieve secret value from party \nt{e}$_1$}\\
&$\mid$& \KWD{open}(\nt{e}$_1$) &\mbox{\rm result of \nt{e} is revealed}\\
-            &$\mid$& \KWD{random-element}() &\mbox{\rm a random secret number}\\
-            &$\mid$& \KWD{random-multiplicative}() &\mbox{\rm a random secret number different from zero}\\
-            &$\mid$& \KWD{random-bit}() &\mbox{\rm a random secret bit (0 or 1)}\\
+            &$\mid$& \KWD{random}() &\mbox{\rm a random secret number}\\
+            &$\mid$& \KWD{random\_multiplicative}() &\mbox{\rm a random secret number different from zero}\\
+            &$\mid$& \KWD{random\_bit}() &\mbox{\rm a random secret bit (0 or 1)}\\
\end{tabular}\vspace{1cm}
%    \end{boxeddisp}
\end{center}
@@ -145,8 +145,8 @@
&range(e_1==e_2)=(0;1)\\
&range(e_1\leq e_2)=(0;1)\\
&range(n)=(n;n)\\
-&range(random())=(0;p-1)\\
-&range(random-bit())=(0;1)\\
+&range(\KWD{random}())=(0;p-1)\\
+&range(\KWD{random\_bit}())=(0;1)\\
\end{align*}

The range becomes $\bot$ when the endpoints of a range exceeds 0 or