Segmentation fault factoring a multivariate polynomial over IntegerModRing

[Sebastian Oehms]

There have been several tickets on segmentation faults concerning the singular interface. Since they are all closed, I think this must be an unknown case:

sage: R.<x,y> = Integers(7)[]
sage: p = x**2-1
sage: p.factor()

Trying the same with GF works fine:

sage: R.<x,y> = GF(7)[]
sage: p = x**2-1
sage: p.factor()
(x - 1) * (x + 1)

[Markus Wageringel]

It looks like this problem is going to be fixed by the upgrade to Singular 4.1.3 (#25993).

    sage: R.<x,y> = 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 failure on the upgrade branch. See https://trac.sagemath.org/ticket/25993#comment:22 for details. Any help with this is appreciated.

[Sebastian Oehms]

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 https://trac.sagemath.org/ticket/25993#comment:22 for details. Any help with this is appreciated.

I fear I'm not familiar enought with that, but I will do an attempt.