Merge pull request #90 from ederc/fix-dim

Fix for dimension

Author: ederc

src/algorithms/dimension.jl

@@ -44,6 +44,7 @@ function dimension(I::Ideal{T}) where T <: MPolyRingElem
         unique!(res)
     end
 
+    length(res) == 0 && return -1
     max_length = maximum(mis -> length(findall(mis)), res)
     return max_length
 end

test/algorithms/dimension.jl

@@ -6,4 +6,7 @@
     R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"])
     I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
     @test iszero(dimension(I))
+
+    I = Ideal([R(1)])
+    @test dimension(I) == -1
 end