From adda6845b5fdef5f54db388d82cb7dac2e80bcea Mon Sep 17 00:00:00 2001 From: Marek Kaluba Date: Tue, 18 Jan 2022 02:17:19 +0100 Subject: [PATCH] add type to TriangleGrp --- data/smallhyperbolicgrp.jl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/data/smallhyperbolicgrp.jl b/data/smallhyperbolicgrp.jl index e47f9dc..faafad4 100644 --- a/data/smallhyperbolicgrp.jl +++ b/data/smallhyperbolicgrp.jl @@ -1,4 +1,5 @@ struct TriangleGrp + type::NTuple{3,Int} generators::Vector{String} relations::Vector{String} order1::Int @@ -21,9 +22,9 @@ _name(G) = "G_$(G.order1)_$(G.order2)_$(G.order3)_$(G.index)" name(G::TriangleGrp) = _name(G) grp_name(nt::NamedTuple) = _name(nt) -latex_name(G::TriangleGrp) ="\$G^{$(G.order1),$(G.order2),$(G.order3)}_$(G.index)" +latex_name(G::TriangleGrp) = "\$G^{$(G.order1),$(G.order2),$(G.order3)}_$(G.index)" -function TriangleGrp(generators, relations, nt::NamedTuple) +function TriangleGrp(type::NTuple{3,Int}, generators, relations, nt::NamedTuple) # @assert fieldnames(SmallHyperbolicGrp) == propertynames(nt) hyperbolic, witness = if hasproperty(nt, :hyperbolic) h = _tf_missing(nt.hyperbolic) @@ -37,6 +38,7 @@ function TriangleGrp(generators, relations, nt::NamedTuple) end TriangleGrp( + type, convert(Vector{String}, generators), convert(Vector{String}, relations), convert(Int, nt.order1),