Correction to FounderAddressAdjustedHeight.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2019-05-01 10:34:19 +01:00
parent 1a00b68e7e
commit 07334dad30
1 changed files with 1 additions and 1 deletions

View File

@ -9228,7 +9228,7 @@ Define:
\vspace{-0.5ex}
\item \tab $\begin{cases}
\BlockHeight, &\caseif \BlockHeight < \BlossomActivationHeight, \\
\BlossomActivationHeight + \hfrac{\BlockHeight - \BlossomActivationHeight}{\BlossomPoWTargetSpacingRatio}, &\caseotherwise
\BlossomActivationHeight + \floor{\hfrac{\BlockHeight - \BlossomActivationHeight}{\BlossomPoWTargetSpacingRatio}}, &\caseotherwise
\end{cases}$
}
\item $\FounderAddressIndex(\BlockHeight \typecolon \Nat) := 1 + \floor{\hfrac{\blossom{\FounderAddressAdjustedHeight(}\BlockHeight\blossom{)}}{\FounderAddressChangeInterval}}$