diff --git a/main.jl b/main.jl index edd43be..29e51d2 100644 --- a/main.jl +++ b/main.jl @@ -101,13 +101,7 @@ function main(::Type{Naive}, Gr::SymmetrizedGroup; dir="") solver = scs_solver(tol, iterations) - if G isa AbstractAlgebra.Ring - Id = one(G) - else - Id = G() - end - - return PropertyT.check_property_T(groupdir, S, Id, + return PropertyT.check_property_T(dir, S, solver, upper_bound, tol, radius, warm) end @@ -126,6 +120,6 @@ function main(::Type{Naive}, Gr::GAPGroup; dir="") solver = scs_solver(tol, iterations) - return PropertyT.check_property_T(groupdir, S, G(), + return PropertyT.check_property_T(dir, S, solver, upper_bound, tol, radius, warm) end