mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-26 10:25:30 +01:00
remove convert: its done in Groups.jl
This commit is contained in:
parent
2c35d8427e
commit
5aa68207df
@ -128,7 +128,6 @@ function (F::AutGroupElem)(v)
|
|||||||
return v
|
return v
|
||||||
end
|
end
|
||||||
|
|
||||||
convert(::Type{AutWord}, s::AutSymbol) = GWord(s)
|
|
||||||
|
|
||||||
function simplify_perms!(W::AutWord)
|
function simplify_perms!(W::AutWord)
|
||||||
reduced = true
|
reduced = true
|
||||||
|
Loading…
Reference in New Issue
Block a user