mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-26 02:20:30 +01:00
show for FPSymbol
This commit is contained in:
parent
48a80760fd
commit
6d8f244ee8
@ -70,6 +70,14 @@ function show(io::IO, G::FPGroup)
|
|||||||
print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n")
|
print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n")
|
||||||
end
|
end
|
||||||
|
|
||||||
|
function show(io::IO, s::FPSymbol)
|
||||||
|
if isone(s)
|
||||||
|
print(io, "(id)")
|
||||||
|
elseif s.pow == 1
|
||||||
|
print(io, s.str)
|
||||||
|
else
|
||||||
|
print(io, (s.str)*"^$(s.pow)")
|
||||||
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
|
function add_rel!{T<:FPSymbol}(G::FPGroup, w::GWord{T})
|
||||||
|
Loading…
Reference in New Issue
Block a user