From: Martin Mares Date: Mon, 4 Feb 2008 18:40:15 +0000 (+0100) Subject: Fixed a bug. X-Git-Tag: printed~243^2~2 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=e937182636ac3c17cf47d89ee3d0b06f2ea9faeb;p=saga.git Fixed a bug. --- 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.