add function test_spoly_hash()

oscar-system · Jun 28, 2019 · 1bb108f · 1bb108f
1 parent 754f514
commit 1bb108f
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/poly/spoly-test.jl b/test/poly/spoly-test.jl
@@ -464,6 +464,18 @@ function test_spoly_unique()
  println("PASS")
 end
 
+function test_spoly_hash()
+ print("spoly.hash...")
+
+ R, (x, y) = PolynomialRing(QQ, ["x", "y"])
+
+ @test hash(x) == hash(x+y-y)
+ @test hash(x,zero(UInt)) == hash(x+y-y,zero(UInt))
+ @test hash(x,one(UInt)) == hash(x+y-y,one(UInt))
+
+ println("PASS")
+end
+
 function test_spoly()
  test_spoly_constructors()
  test_spoly_printing()
@@ -486,6 +498,7 @@ function test_spoly()
  # test_convert_between_MPoly_and_SingularPoly()
  test_spoly_differential()
  test_spoly_unique()
+ test_spoly_hash()
 
  println("")
 end