Hi, > I've posted patches which should fix this bug to ginac-devel (the combined > patch is attached for convenience). Could you please check if they work for > you? I updated the repository and it works now with that version. Best regards, Moritz