~/jendhub

law successful_dot_interpretation

bendtorch-core@0.1.0.0 · src/tensor/matmul_LAWS.bend:178

import bendtorch-core@0.1.0.0/src/tensor/matmul_LAWS.bend as MatmulLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix

178law successful_dot_interpretation:
179  for +fuel: Nat
180  for +left: Shape.Shape
181  for +right: Shape.Shape
182  for a: Core.Tensor<left>
183  for b: Core.Tensor<right>
184  for +row: U32
185  for +column: U32
186  for +cursor: Nat
187  for +accumulator: F32
188  SourceDot<fuel, left, right, a, b, row, column, cursor, accumulator,
189    Matrix.natural_dot(fuel, left, right, a, b, row, column, cursor, accumulator)>

Uses (15)

Used by (1)