~/jendhub

def reverse_involution

bendtorch-core@0.1.0.0 · src/tensor/permutation_mapping.bend:42

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

42def reverse_involution(+values: List<&2, U32>) -> {Layout.reverse_words(Layout.reverse_words(values)) == values : List<&2, U32>}:
43  reverse_go_cancel(values, Nil{})

Uses (4)

Used by (1)