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

Group <-> Ring dispatch problem is solved when generating Laplacian

Browse Source
This commit is contained in:
kalmarek 2018-08-20 03:27:25 +02:00
parent 6abb2c4186
commit 01405cb3cc
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
main.jl
View File

@ -101,13 +101,7 @@ function main(::Type{Naive}, Gr::SymmetrizedGroup; dir="")
solver = scs_solver(tol, iterations) solver = scs_solver(tol, iterations)
if G isa AbstractAlgebra.Ring return PropertyT.check_property_T(dir, S,
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
@ -126,6 +120,6 @@ function main(::Type{Naive}, Gr::GAPGroup; dir="")
solver = scs_solver(tol, iterations) 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) solver, upper_bound, tol, radius, warm)
end end