def permutation
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layoutimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
163def permutation(+input: Shape.Shape, +axes: List<&2, U32>) -> Result<&2, &2, Error, Plan<input, axes>>:
164 plan_ranked(input, axes,
165 Shape.bool_case(Nat.is_eq(Shape.rank_dimensions(axes), Shape.rank_dimensions(Shape.dimensions(input)))))
Uses (11)
Used by (20)
- bendtorch-core@0.1.0.0/src/tensor/transforms:permute_copy
- bendtorch-core@0.1.0.0/src/tensor/permute_values:permute_lift
- bendtorch-core@0.1.0.0/src/tensor/permute_contract:planned_failure
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:permute_failure
- bendtorch-core@0.1.0.0/src/tensor/transform_totality:PlanSuccess
- …