fix doctest following algebraicsolving 0.4.10

oscar-system · Feb 16, 2024 · acf375e · acf375e
1 parent 89bc4b9
commit acf375e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -27,7 +27,7 @@ cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"
 
 [compat]
 AbstractAlgebra = "0.37.5"
-AlgebraicSolving = "0.4.6"
+AlgebraicSolving = "0.4.10"
 Distributed = "1.6"
 DocStringExtensions = "0.8, 0.9"
 GAP = "0.10.2"

diff --git a/src/Rings/groebner.jl b/src/Rings/groebner.jl
@@ -1038,7 +1038,7 @@ julia> Oscar._normal_form_f4(A, J)
 3-element Vector{FqMPolyRingElem}:
  a^3
  2*a^3 + 2*a + 65519*c
- 65519*c^2 + 4*a + 65520*c + 5
+ 4*a + 65519*c^2 + 65520*c + 5
 ```
 """
 function _normal_form_f4(A::Vector{T}, J::MPolyIdeal) where { T <: MPolyRingElem }