`singular_poly_ring(::MPolyQuo)` potentially ignores the given ordering

[joschmitt]

singular_poly_ring for MPolyQuo returns the cached ring, if one exists. This means that a monomial ordering supplied by the user gets ignored:

julia> R, x = PolynomialRing(QQ, "x" => 1:3);

julia> Q, _ = quo(R, ideal(R, [x[1]]));

julia> singular_poly_ring(Q)
Singular Polynomial Quotient Ring (QQ),(x_1,x_2,x_3),(dp(3),C)

julia> singular_poly_ring(Q, lex(gens(R)))
Singular Polynomial Quotient Ring (QQ),(x_1,x_2,x_3),(dp(3),C)

The second time I asked for lp, but I got dp. Relatedly, it would be great, if there were a singular_assure(::MPolyQuoIdeal, ::MonomialOrdering) as for MPolyIdeal.