~/jendhub

def viewed_axis

bendtorch-core@0.1.0.0 · src/tensor/slice_PROOF.bend:328

import bendtorch-core@0.1.0.0/src/tensor/slice_PROOF.bend as SlicePROOF
import Base
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Slice
import bendtorch-core@0.1.0.0/src/tensor/slice_LAWS.bend as Laws

328def viewed_axis(+given: Slice.View, +s: Nat, +t: Nat, +p: Nat) ->
329  {Laws.axis_part(Slice.viewed(given, s, t, p)) == Laws.axis_spec(view_extent(given), s, t, p) : Nat & Nat & Nat & Nat}:
330  match given:
331    case Slice.View{+o, +n, +i}:
332      clamp_axis(n, s, t, p)

Uses (8)

Used by (1)