kalmar/Groups.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-26 02:20:30 +01:00
Code Issues Releases Wiki Activity

indentation

Browse Source
This commit is contained in:
kalmar 2017-05-11 18:28:29 +02:00
parent f256f60ca3
commit 2a3baab61a
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/FPGroups.jl
View File

@ -32,6 +32,7 @@ export FPSymbol, FPGroupElem, FPGroup, generators
# Type and parent object methods # Type and parent object methods
# #
############################################################################### ###############################################################################
parent_type(::Type{FPGroupElem}) = FPGroup parent_type(::Type{FPGroupElem}) = FPGroup
elem_type(::FPGroup) = FPGroupElem elem_type(::FPGroup) = FPGroupElem
@ -96,9 +97,9 @@ generators(G::FPGroup) = [G(FPGroupElem(g)) for g in G.gens]
############################################################################### ###############################################################################
function show(io::IO, G::FPGroup) function show(io::IO, G::FPGroup)
print(io, "Finitely presented group on $(length(G.gens)) gens and $(length(G.rels)) relations:\n") print(io, "Finitely presented group on $(length(G.gens)) generators and $(length(G.rels)) relations:\n")
print(io, "gens:\t", join([g.gen for g in G.gens], ","),"\n") print(io, "gens:\t", join([g.str for g in G.gens], ", "),"\n")
print(io, "rels:\t", join([rel for rel in G.rels], ","),"\n") print(io, "rels:\t", join([rel for rel in G.rels], ", "))
end end
function show(io::IO, s::FPSymbol) function show(io::IO, s::FPSymbol)