law axis_scatter_fit

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

147law axis_scatter_fit:
148  for +rank: Nat
149  for +axes: List<&2, Nat>
150  for +dimensions: List<&2, Nat>
151  for +coordinates: List<&2, Nat>
152  for +bound: Shape.LE(rank, 4n)
153  for +accepted: {True{} == Axis.valid(rank, axes) : Bool}
154  for +dimensions_length: {List.length(&2, Nat, dimensions) == rank : Nat}
155  for coordinates_length: {List.length(&2, Nat, coordinates) == rank : Nat}
156  for fits: {True{} == Shape.fit(Axis.order(Nat, dimensions, axes), coordinates) : Bool}
157  {True{} == Shape.fit(dimensions, Axis.order(Nat, coordinates, Axis.inverse_axes(rank, axes))) : Bool}