adds tests for second saturation variant for modules

oscar-system · Sep 18, 2024 · 14e8c69 · 14e8c69
1 parent 4358b0a
commit 14e8c69
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/module/smodule-test.jl b/test/module/smodule-test.jl
@@ -365,4 +365,10 @@ end
  @test A[1] == B[1]
  @test A[2] == B[2]
  @test k == 2
+
+ A,k = saturation2(I, J)
+
+ @test A[1] == B[1]
+ @test A[2] == B[2]
+ @test k == 2
 end