From b4d7bda5959cbe1b8da70cf75e671186b20221b5 Mon Sep 17 00:00:00 2001
From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
Date: Fri, 28 Jun 2024 15:59:27 +0200
Subject: [PATCH] test with with_redTail

---
 test/ideal/freealg-test.jl | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/ideal/freealg-test.jl b/test/ideal/freealg-test.jl
index 8f0dbb6b3..2af5bd813 100644
--- 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