From 3e10a094e3817a7d903d50aa0d6fce71161abdc2 Mon Sep 17 00:00:00 2001
From: ederc <ederc@mathematik.uni-kl.de>
Date: Thu, 24 Oct 2024 20:11:46 +0200
Subject: [PATCH] fixes another boundary case

---
 src/Rings/mpoly-ideals.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Rings/mpoly-ideals.jl b/src/Rings/mpoly-ideals.jl
index 693ca1884e4..c9b185dd3bc 100644
--- a/src/Rings/mpoly-ideals.jl
+++ b/src/Rings/mpoly-ideals.jl
@@ -1884,6 +1884,7 @@ julia> dim(I)
   if I.dim > -1
     return I.dim
   end
+  is_one(I) && return -1 # Catch a boundary case
   is_zero(ngens(base_ring(I))) && return 0 # Catch a boundary case
   if is_f4_applicable(I, degrevlex(base_ring(I)))
     I.dim = AlgebraicSolving.dimension(AlgebraicSolving.Ideal(I.gens.O))