This interface models mathematical objects (like maps into some other
set or difference equations) that have as their domain of definition
the Cartesian product of the non-negative integers with the integer
plane and which are periodic in the last two arguments.