The following snippet
using AlgebraicSolving
R, (x,y,z) = polynomial_ring(QQ, ["x","y","z"], internal_ordering=:degrevlex)
I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
groebner_basis(I, complete_reduction=false)
segfaults on both Linux and macOS. The error does not occur when QQ is replaced by GF(101).
The following snippet
segfaults on both Linux and macOS. The error does not occur when
QQis replaced byGF(101).