kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00
Code Issues Releases Wiki Activity

(==), (<) and (<=) for FPSymbols

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:22:37 +02:00
parent 6d8f244ee8
commit e2585b5733
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/FPGroups.jl
View File

@ -80,6 +80,20 @@ function show(io::IO, s::FPSymbol)
end
end
function (==)(s::FPSymbol, t::FPSymbol)
isone(s) && isone(t) && return true
s.str == t.str || return false
s.pow == t.pow || return false
return true
end
function (<)(s::FPSymbol, t::FPSymbol)
isone(s) && return true
return s.str == t.str && s.pow < t.pow
end
(<=)(s::FPSymbol, t::FPSymbol) = s == t || s < t
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
if !(w in G.rels)
push!(G.rels, w)