Description: Define the inner product function. Usually we will use .i directly
instead of .if , and they have the same behavior in most cases. The
main advantage of .if is that it is a guaranteed function
( ipffn ), while .i only has closure ( ipcl ). (Contributed by Mario Carneiro, 12-Aug-2015)