def small_matrix

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:117

import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction

import Base

117# Bound the complete small matrix, including its boundary cells. A one-row
118# problem is also a base case, with linear storage in the column width.
119def small_matrix(query_length: Nat, +target_length: Nat) -> Bool:
120  Nat.is_le(1n+query_length, Nat.div(4096n, 1n+target_length))

Uses (4)

Used by (2)