kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

pass the right Id element for rings

Browse Source
This commit is contained in:
kalmarek 2018-08-15 17:20:02 +02:00
parent 45d8d85189
commit 1e54e25672
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
main.jl
View File

@ -96,7 +96,13 @@ function main(::Type{Standard}, Gr::SymmetrizedGroup)
solver = scs_solver(tol, iterations) 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) solver, upper_bound, tol, radius, warm)
end end