coleman2.mws Maple computations