~/jendhub

def MatT.add2r

bend-tensors@0.0.0.2 · bend_tensors.bend:820

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

820def MatT.add2r(+p: Nat, a0: MatT(p, 0n), b0: MatT(p, 0n), a1: MatT(p, 0n), b1: MatT(p, 0n)) -> MatT(1n+p, 0n):
821  x y = MatT.add(p, 0n, a0, b0) MatT.add(p, 0n, a1, b1)
822  MatR{x, y}

Uses (4)

Used by (1)