arguments: map:matrix source:matrix >> matrix
Evaluate the source matrix under the map sending the i th variable to the i th entry of map, where both indices count starting at zero.
