Diff ginac-1.8.6 with a ginac-1.8.7

Thank you!