adds tests

Author: ederc

test/algorithms/groebner-bases.jl

@@ -25,6 +25,10 @@
     L = eliminate(I,2)
     @test L == H
     @test I.gb[2] == H
+
+    I = Ideal([R(0)])
+    G = groebner_basis(I)
+    @test G == [R(0)]
 end
 
 @testset "Algorithms -> Sig Gröbner bases" begin

test/algorithms/normal-forms.jl

@@ -13,4 +13,6 @@
     I = Ideal([y*x+17-y, x+13*y])
     F = [x+13*y, x*y+16]
     @test normal_form(F, I) == [0, y + 65520]
+    I = Ideal([R(0)])
+    @test normal_form(F, I) == F
 end