law transpose_axes_requested

bendtorch-core@0.1.0.0 · src/tensor/transpose_LAWS.bend:8

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend as Transpose

8law transpose_axes_requested:
9  for +shape: Shape.Shape
10  for +a: U32
11  for +b: U32
12  for +inside: {True{} == Transpose.valid(shape, a, b) : Bool}
13  {Layout.transpose_axes(Shape.dimensions(shape), a, b, 0) ==
14    Transpose.requested_axes(Shape.rank_dimensions(Shape.dimensions(shape)), U32.to_nat(a), U32.to_nat(b)) : List<&2, U32>}