src/tensor/transform_contract_PROOF.bend

bendtorch-core@0.1.0.0 · 25 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/transform_contract_LAWS.bend as Laws
3import bendtorch-core@0.1.0.0/src/tensor/reshape_contract.bend as Reshapes
4import bendtorch-core@0.1.0.0/src/tensor/permute_contract.bend as Permutes
5
6def Laws.reshape_contract(input, fill, target, same):
7  Reshapes.reshape_contract(input, fill, target, same)
8
9def Laws.reshape_write(input, fill, target, index, value, inside, same):
10  Reshapes.reshape_write(input, fill, target, index, value, inside, same)
11
12def Laws.reshape_count_mismatch(input, fill, target, different):
13  Reshapes.reshape_count_mismatch(input, fill, target, different)
14
15def Laws.permute_rank_mismatch(input, fill, axes, wrong):
16  Permutes.permute_rank_mismatch(input, fill, axes, wrong)
17
18def Laws.permute_axis_out_of_bounds(input, fill, axes, ranked, outside):
19  Permutes.permute_axis_out_of_bounds(input, fill, axes, ranked, outside)
20
21def Laws.permute_duplicate_axis(input, fill, axes, ranked, bounded, duplicate):
22  Permutes.permute_duplicate_axis(input, fill, axes, ranked, bounded, duplicate)
23
24def Laws.transpose_out_of_bounds(input, fill, a, b, outside):
25  Permutes.transpose_out_of_bounds(input, fill, a, b, outside)