31 May
2019
31 May
'19
10:09 p.m.
Dear all, attached are two patches related to https://www.ginac.de/pipermail/ginac-list/2019-May/002265.html https://www.ginac.de/pipermail/ginac-list/2019-May/002266.html The first patch fixes the segmentation fault, the second patch improves the performance. Best wishes, Stefan