⎕pw ← 195

∇ z ← NORMJ m
  z ← m × + m
∇

∇ z ← SUE v
  z ← ( ( v ⍳ v ) = ⍳ ⍴ v ) / v
∇

∇ z ← CRSOTST alpha; crsbi; crsbiu; ordbiu; nrm
  z ← 0
  → ( 0 = alpha ) / 0
  ordbiu ← ⍴ crsbiu ← SUE crsbi ← , alpha ∣ betav
  nrm ← NORMJ alpha
  → ( z ← ordbiu = nrm ) / 0
  ⍞ ← "modulo basis = "
  ⍞ ← alpha
  ⍞ ← " basis norm = "
  ⍞ ← nrm
  ⍞ ← " residue count = "
  ⍞ ← ordbiu
  ""
∇

bgn ← ¯16
rng ← 31
dmn ← bgn + ⍳ rng
betav ← , beta ← dmn ∘.+ 0J1 × dmn
" "

rng rng ⍴ CRSOTST ¨ betav