law signed_wrap_each_step

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:71

import Base
import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

71# Coordinates are wrapped one by one, each among its own axis's extent; a
72# coordinate past the rank among 0.
73law signed_wrap_each_step:
74  for +extent: U32
75  for +rest: List<&2, U32>
76  for +head: Signed.Position
77  for +tail: List<&2, Signed.Position>
78  {Signed.wrap_each(extent <> rest, head <> tail) == Signed.wrap(extent, head) <> Signed.wrap_each(rest, tail) : List<&2, U32>}