~/jendhub

law reshape_valid_success

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

import bendtorch-core@0.1.0.0/src/tensor/transform_LAWS.bend as TransformLAWS
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

298law reshape_valid_success:
299  for +input: Shape.Shape
300  for +target: Shape.Shape
301  for source: Core.Tensor<input>
302  for -same: {Shape.logical_numel(Shape.dimensions(input)) == Shape.logical_numel(Shape.dimensions(target)) : Nat}
303  Transforms.ReshapeSuccessModel<input, target, source>

Uses (15)

Used by (2)