~/jendhub

def depth_limit

stelliferous@0.0.2.0 · kernel_pipeline.bend:187

import stelliferous@0.0.2.0/kernel_pipeline.bend as KernelPipeline
import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

187# The deepest split that leaves every leaf at least one eight-position block.
188def depth_limit(+padded: U32) -> U32:
189  (U32.from_nat(Tensors.significant_bits(32n,(padded / 8 : U32),0n,U32.is_zero((padded / 8 : U32)))) - 1 : U32)

Uses (6)

Used by (1)