law axis_validity_refines

bendtorch-core@0.1.0.0 · src/tensor/axis_LAWS.bend:31

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/axis_spec.bend as Axis

31law axis_validity_refines:
32  for +shape: Shape.Shape
33  for +axes: List<&2, U32>
34  for accepted: {True{} == Layout.bijective(shape, axes) : Bool}
35  {True{} == Axis.valid(Shape.rank_dimensions(Shape.dimensions(shape)), Shape.naturals(axes)) : Bool}