Verisyntax — brugermanual (prototype 0.1)

HDI for kontinuerte samples

Den deterministiske HDI-primitiv kan bruges på en lokal, whitespace-separeret fil med endelige tal:

<compiler>/verisyntax hdi 0.8 <example-project>

Resultatet er et versionsmærket verisyntax.hdi-result med filhash, requested/included mass, sample count, interval, mean og metode. Algoritmen sorterer samples og vælger det korteste sammenhængende interval, der indeholder mindst den ønskede masse; antal samples rundes op. Ved samme bredde vælges deterministisk det laveste interval. Mass skal være større end 0 og højst 1. Filen er begrænset til 64 MiB og én million samples, og alle værdier skal være finite.

Et enkelt sammenhængende interval kan skjule multimodalitet. Resultatet siger derfor eksplicit, at en multimodal fordeling kan kræve et disjoint highest-density set. Denne kommando beregner kun HDI fra allerede producerede samples.