From 1e54e256720a5c1d80cff532618639ba7ff0d5ef Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 15 Aug 2018 17:20:02 +0200
Subject: [PATCH] pass the right Id element for rings

---
 main.jl | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/main.jl b/main.jl
index 5881735..9afa685 100644
--- a/main.jl
+++ b/main.jl
@@ -96,7 +96,13 @@ function main(::Type{Standard}, Gr::SymmetrizedGroup)
 
     solver = scs_solver(tol, iterations)
 
-    return PropertyT.check_property_T(groupdir, S, G(),
+    if G isa AbstractAlgebra.Ring
+        Id = one(G)
+    else
+        Id = G()
+    end
+
+    return PropertyT.check_property_T(groupdir, S, Id,
         solver, upper_bound, tol, radius, warm)
 
 end