From e937182636ac3c17cf47d89ee3d0b06f2ea9faeb Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Mon, 4 Feb 2008 19:40:15 +0100 Subject: [PATCH] Fixed a bug. --- ram.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ram.tex b/ram.tex index 7dabe91..f576e83 100644 --- a/ram.tex +++ b/ram.tex @@ -627,7 +627,7 @@ relocate the bits we have overwritten.} We have used a~plenty of constants which depend on the format of the vectors. Either we can write non-uniform programs (see \ref{nonuniform}) and use native constants, or we can observe that all such constants can be easily manufactured. For example, -$(\0^b\1)^d = \1^{bd} / \1^{b+1} = (2^{bd}-1)/(2^{b+1}-1)$. The only exceptions +$(\0^b\1)^d = \1^{(b+1)d} / \1^{b+1} = (2^{(b+1)d}-1)/(2^{b+1}-1)$. The only exceptions are the~$w$ and~$b$ in the LSB algorithm \ref{lsb}, which we are unable to produce in constant time. -- 2.39.2