From 975fbbf580eff02d22423184282c3ee538432637 Mon Sep 17 00:00:00 2001
From: Lucas ONDEL YANG <lucas.ondel@cnrs.fr>
Date: Tue, 24 Jan 2023 13:35:48 +0100
Subject: [PATCH] added test reverse

---
 test/runtests.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test/runtests.jl b/test/runtests.jl
index cd1e711..03f17ec 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -96,6 +96,10 @@ end
         s1 = val(cumsum(B2).tval[2])
         s2 = Set((StringMonoid âˆ˜ reverse âˆ˜ val).((val âˆ˜ cumsum)(rB2)[2]))
         @test s1 == s2
+
+        # renorm
+        @test Base.isapprox(val(cumsum(A1 |> renorm; n = 100)), val(one(K)), atol=1e-6)
+        @test Base.isapprox(val(cumsum(A2 |> renorm; n = 100)), val(one(K)), atol=1e-6)
     end
 end
 
-- 
GitLab