test with with_redTail

oscar-system · Jun 28, 2024 · b4d7bda · b4d7bda
1 parent 0ca7158
commit b4d7bda
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/ideal/freealg-test.jl b/test/ideal/freealg-test.jl
@@ -22,4 +22,9 @@
 
   @test J1[7] == u11 + u21 + u31 + u41 - 1
 
+  J1 = Ideal(R,[rs2,rs3,rs4,cs1,cs2,cs3,cs4])
+  J2=with_redTail(false,R) do
+    return std(J1)
+  end
+  @test J2[7] == u11 + u21 + u31 + u41 - 1
 end