GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 22:17:18 +03:00
Code Issues Projects Releases Wiki Activity

Fix description of lg2 in exercise answer in the book.

Browse Source 
This is one of the errors mentioned in issue #931.
This commit is contained in:
Brian Huffman 2020-10-13 11:06:52 -07:00
parent a23267fe3d
commit 33d6ae77b7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
View File

@ -1527,8 +1527,8 @@ operation?
In the last expression, the number \texttt{25} fits in 5 bits, so
the modulus is $2^5 = 32$. The unary minus yields \texttt{7}, hence
the result is \texttt{3}. Note that \texttt{lg2} is the \emph{floor
log base 2} function.\indLg\indEq\indNeq
the result is \texttt{3}. Note that \texttt{lg2} is the
\emph{ceiling log base 2} function.\indLg\indEq\indNeq
\end{Answer}
\begin{Exercise}\label{ex:arith:5:1}