def MatT.add2c

bend-tensors@0.0.0.2 · bend_tensors.bend:824

import Base

824def MatT.add2c(+q: Nat, a0: MatT(0n, q), b0: MatT(0n, q), a1: MatT(0n, q), b1: MatT(0n, q)) -> MatT(0n, 1n+q):
825  x y = MatT.add(0n, q, a0, b0) MatT.add(0n, q, a1, b1)
826  MatC{x, y}