>
> It looks like this problem is going to be fixed by the upgrade to Singular
> 4.1.3 (#25993).
>
Indeed! Thanks for pointing this out!
> There is another segmentation fault related to the non-commutative
> subsystem Plural, though, causing a doctest failure on the upgrade branch.
> See
It looks like this problem is going to be fixed by the upgrade to Singular
4.1.3 (#25993).
sage: R. = Integers(7)[]
sage: p = x**2-1
sage: p.factor()
(x + 1) * (x + 6)
There is another segmentation fault related to the non-commutative
subsystem Plural, though, causing a doctest