From 7841e6ab98f6b331c2f294e84275062e9194bfd8 Mon Sep 17 00:00:00 2001 From: ederc Date: Mon, 7 Aug 2023 14:06:52 +0200 Subject: [PATCH] better doc example --- src/Rings/groebner.jl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/Rings/groebner.jl b/src/Rings/groebner.jl index 07c0b8d3eaf1..e06b229ee911 100644 --- a/src/Rings/groebner.jl +++ b/src/Rings/groebner.jl @@ -1496,13 +1496,14 @@ multi-modular strategy. ```jldoctest julia> R, (x, y, z) = PolynomialRing(QQ, ["x","y","z"]); -julia> I = ideal(R, [x^2, x*y + 32779384769867982578344256261*y^2]); +julia> I = ideal(R, [x^2+1209, x*y + 3279*y^2]) +ideal(x^2 + 1209, x*y + 3279*y^2) julia> groebner_basis_modular(I) Gröbner basis with elements -1 -> y^3 -2 -> x^2 -3 -> x*y - 2093538//991963*y^2 +1 -> y^3 + 403//3583947*y +2 -> x^2 + 1209 +3 -> x*y + 3279*y^2 with respect to the ordering degrevlex([x, y, z]) ```