law axis_dimension_rank

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

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

56law axis_dimension_rank:
57  for +shape: Shape.Shape
58  for +axes: List<&2, U32>
59  for accepted: {True{} == Layout.bijective(shape, axes) : Bool}
60  {Shape.rank_dimensions(Axis.order(U32, Shape.dimensions(shape), Shape.naturals(axes))) == Shape.rank_dimensions(Shape.dimensions(shape)) : Nat}