flip
flip(F,G)
-- yields the matrix representing the map F ** G --> G ** F.
