src/tensor/permute_values_contract_PROOF.bend

bendtorch-core@0.1.0.0 · 15 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/permute_values_contract_LAWS.bend as Laws
3import bendtorch-core@0.1.0.0/src/tensor/permute_values.bend as PermuteValues
4
5def Laws.permute_contract(input, values, counted, axes, valid):
6  PermuteValues.permute_contract(input, values, counted, axes, valid)
7
8def Laws.transpose_contract(input, values, counted, a, b, inside):
9  PermuteValues.transpose_contract(input, values, counted, a, b, inside)
10
11def Laws.permute_replayed(input, fill, ops, fits, axes, plan, laid, P, h):
12  PermuteValues.permute_replayed(input, fill, ops, fits, axes, plan, laid, P, h)
13
14def Laws.transpose_replayed(input, fill, ops, fits, a, b, inside, plan, laid, P, h):
15  PermuteValues.transpose_replayed(input, fill, ops, fits, a, b, inside, plan, laid, P, h)