add test for unique for arrays of spolys

oscar-system · Jun 27, 2019 · bde44c7 · bde44c7
1 parent ea87fc5
commit bde44c7
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/test/poly/spoly-test.jl b/test/poly/spoly-test.jl
@@ -454,6 +454,16 @@ function test_spoly_differential()
  @test jf == x^3
 end
 
+function test_spoly_unique()
+ print("spoly.unique...")
+
+ R, (x, y) = PolynomialRing(QQ, ["x", "y"])
+
+ @test unique([x, x+y-y]) == [x]
+
+ println("PASS")
+end
+
 function test_spoly()
  test_spoly_constructors()
  test_spoly_printing()
@@ -475,6 +485,7 @@ function test_spoly()
  test_spoly_Polynomials()
  # test_convert_between_MPoly_and_SingularPoly()
  test_spoly_differential()
+ test_spoly_unique()
 
  println("")
 end