ReadRepeatingVector: Read entry from repeated vector.

Description Usage Arguments Value

Description

Read an entry of a vector, under the assumption that it repeats to the necessary length.

Usage

1

Arguments

v

the vector being read

idx

the index to read the value from.

Value

the idx-th entry of v, under the assumption that v repeats as necessary to reach length idx.


google/amss documentation built on May 20, 2019, 5:05 p.m.