mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-11-27 01:10:28 +01:00
Nemo is already in scope
This commit is contained in:
parent
b7d9731f8b
commit
709f030cb5
@ -105,7 +105,7 @@ function matrix_repr(g::GroupElem, E, E_dict)
|
||||
return rep_matrix
|
||||
end
|
||||
|
||||
function matrix_reps{T<:GroupElem}(G::Nemo.Group, S::Vector{T}, AutS::Nemo.Group, radius::Int)
|
||||
function matrix_reps{T<:GroupElem}(G::Group, S::Vector{T}, AutS::Group, radius::Int)
|
||||
Id = (isa(G, Nemo.Ring) ? one(G) : G())
|
||||
E2, _ = Groups.generate_balls(S, Id, radius=radius)
|
||||
Edict = GroupRings.reverse_dict(E2)
|
||||
|
Loading…
Reference in New Issue
Block a user