Symbolic computation and abundant travelling wave solutions to KdV–mKdV equation