5.2 Assign

for $k from 0 to 5 do Assign(%1,t,k), %1 od

%1 represents the first parameter of the macro (that is f(t)), the loop: for k from 0 to 5 executes the command [Assign(%1, t, k), %1], that is assigning the value k to the variable t in the expression %1, then evaluate %1. The execution of Bof(t^2) gives : [0,1,4,9,16,25]. The execution of Bof(x^2) gives Nil.