arguments: v:vector F:freemodule a:intarray >> vector
Yields a vector w in F: w = v_(a_0) F_0 + ... v_(a_r-1) F_(r-1), where r is the length of 'a', which should be less than or equal to the rank of 'F'.
