adds tests

Author: RafaelDavidMohr

test/algorithms/other-algorithms.jl

@@ -0,0 +1,9 @@
+@testset "dimension" begin
+    R, (x,y) = polynomial_ring(QQ,["x","y"])
+    I =  Ideal([x^2,x*y])
+    @test isone(dimension(I))
+
+    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))
+end

test/runtests.jl

@@ -6,5 +6,6 @@ include("interfaces/nemo.jl")
 include("algorithms/groebner-bases.jl")
 include("algorithms/normal-forms.jl")
 include("algorithms/solvers.jl")
+include("algorithms/other-algorithms.jl")
 include("examples/katsura.jl")
 end