computations involving pushforwards and higher direct images of toric maps