Effectiveness of Walker's cancellation theorem