kalmar
/
Groups.jl
mirror of https://github.com/kalmarek/Groups.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

FPSymbol inversion

This commit is contained in:
kalmar 2017-05-11 18:23:01 +02:00
parent e2585b5733
commit 1c638e296c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/FPGroups.jl
View File

@ -94,6 +94,9 @@ end
(<=)(s::FPSymbol, t::FPSymbol) = s == t || s < t
inv(s::FPSymbol) = change_pow(s, -s.pow)
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
if !(w in G.rels)
push!(G.rels, w)