coleman2.mws
Maple computations