BendMlTensorArray.t8_comb: def of bend-ml-tensor-array@0.1.19.0
Import: import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
Lines 950-960 of bend-ml-tensor-array@0.1.19.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-tensor-array@0.1.19.0/main.bend&start_line=950&end_line=960

import Base

# dotr's final sum after k products: the sums sit rotated by k mod 4 when its loop ends
def t8_comb(+rot: Nat, +s0: F32, +s1: F32, +s2: F32, +s3: F32) -> F32:
  match rot:
    case 0n:
      ((s0 + s1 : F32) + (s2 + s3 : F32) : F32)
    case 1n:
      ((s1 + s2 : F32) + (s3 + s0 : F32) : F32)
    case 2n:
      ((s2 + s3 : F32) + (s0 + s1 : F32) : F32)
    case _:
      ((s3 + s0 : F32) + (s1 + s2 : F32) : F32)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat