Hi Jerome, any chance we could get an update of singular to 4.2.1.p0 in experimental? I tried to do it myself once but the package has many patches and it was difficult to get everything right. Best, Tobias