instantiate Scytale diameter

Fixes #349
GaloisInc · Jul 5, 2016 · 054a3e2 · 054a3e2
1 parent 117dc0a
commit 054a3e2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/docs/ProgrammingCryptol.pdf b/docs/ProgrammingCryptol.pdf
diff --git a/docs/ProgrammingCryptol/classic/Classic.tex b/docs/ProgrammingCryptol/classic/Classic.tex
@@ -701,10 +701,11 @@ \chapter{Classic ciphers}
 string that has {\tt diameter * row} characters in it, and chopping it
 up so that it has {\tt row} elements, each of which is a string that
 has {\tt diameter} characters in it.  Here is Cryptol in action,
-encrypting the message {\tt ATTACKATDAWN}:
+encrypting the message {\tt ATTACKATDAWN}, with {\tt diameter} set to
+{\tt 3}:
 \begin{Verbatim}
   Cryptol> :set ascii=on
-  Cryptol> scytale "ATTACKATDAWN"
+  Cryptol> scytale `{diameter=3} "ATTACKATDAWN"
   "ACDTKATAWATN"
 \end{Verbatim}
 Decryption is essentially the same process, except we have to {\tt
@@ -724,7 +725,7 @@ \chapter{Classic ciphers}
 viewed as a matrix, the types precisely tell which transposition we
 want at each step.  We have:
 \begin{Verbatim}
-  Cryptol> dScytale "ACDTKATAWATN"
+  Cryptol> dScytale `{diameter=3} "ACDTKATAWATN"
   "ATTACKATDAWN"
 \end{Verbatim}