def Vec4.dot
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
90def Vec4.dot(a: Vec4, b: Vec4) -> F32:
91 Vec4{x0, x1, x2, x3} = a
92 Vec4{y0, y1, y2, y3} = b
93 ((x0 * y0 + x1 * y1) + (x2 * y2 + x3 * y3) : F32)
import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensorsimport Base
90def Vec4.dot(a: Vec4, b: Vec4) -> F32:
91 Vec4{x0, x1, x2, x3} = a
92 Vec4{y0, y1, y2, y3} = b
93 ((x0 * y0 + x1 * y1) + (x2 * y2 + x3 * y3) : F32)