mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-26 18:30:29 +01:00
make simplify_perms delete all (id)s
This commit is contained in:
parent
7b208584a2
commit
7f810ca65e
@ -100,5 +100,6 @@ function simplify_perms!(W::AutWord)
|
|||||||
end
|
end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
deleteat!(W.symbols, find(x -> x.pow == 0, W.symbols))
|
||||||
return reduced
|
return reduced
|
||||||
end
|
end
|
||||||
|
Loading…
Reference in New Issue
Block a user