def bijective

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:34

import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout

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

34def bijective(+shape: Shape.Shape, +axes: List<&2, U32>) -> Bool:
35  Bool.and(Nat.is_eq(Shape.rank_dimensions(axes), Shape.rank_dimensions(Shape.dimensions(shape))),
36    Bool.and(bounded(axes, Shape.rank(shape)), unique(axes)))

Uses (11)

Used by (59)