law reshape_target_dimensions

bendtorch-core@0.1.0.0 · src/tensor/transform_LAWS.bend:83

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms

83law reshape_target_dimensions:
84  for +input: Shape.Shape
85  for +target: Shape.Shape
86  for tensor: Core.Tensor<input>
87  for -same: {Shape.logical_numel(Shape.dimensions(input)) == Shape.logical_numel(Shape.dimensions(target)) : Nat}
88  {Transforms.dynamic_dimensions(Transforms.reshape_equal(input, target, tensor, same)) == Shape.dimensions(target) : List<&2, U32>}