Extends splittable random number generation with GF(3) balanced ternary streams for parallel triadic systems.
SplitMixTernary is a specialized extension for the Julia SplittableRandoms.jl library, designed to bridge the gap between binary splitting and triadic system requirements. It provides a deterministic split3 function that generates three parallel, independent streams—labeled minus, ergodic, and plus—with rigorous GF(3) conservation guarantees. Verified using Dafny and Narya, this skill is essential for developers working on Monte Carlo simulations, triadic agent systems, and topological decompositions where mathematical balance across three states is required for statistical consistency in parallel environments.
Key Features
017 GitHub stars
02Seamless integration with existing Julia SplittableRandoms.jl workflows
03GF(3) conservation guarantees ensuring long-term balance between states
04Majority vote trit generation for high-quality random ternary output
05Ternary splitting (split3) for generating three independent parallel streams
06Formal verification of determinism and path invariance via Dafny
Use Cases
01Checkerboard decomposition for lattice-based simulations using ternary streams
02Monte Carlo simulations requiring GF(3) balance for additions and deletions
03Modeling triadic agent systems with Validator, Coordinator, and Generator roles
