From e4cd37e54f0be0c260b16189b5a19d825d2d6ca4 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Fri, 19 Jul 2024 10:30:19 +0200 Subject: [PATCH] another conversion --- src/convert.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/convert.jl b/src/convert.jl index ed96fb57..eafcf5f1 100644 --- a/src/convert.jl +++ b/src/convert.jl @@ -107,6 +107,7 @@ convert_to_pm_type(::Type{<:Pair{A,B}}) where {A,B} = StdPair{convert_to_pm_type convert_to_pm_type(::Type{<:Tuple{A,B}}) where {A,B} = StdPair{convert_to_pm_type(A),convert_to_pm_type(B)} convert_to_pm_type(::Type{<:Polynomial{<:Rational, <:Union{Int64, CxxWrap.CxxLong}}}) = Polynomial{Rational, CxxWrap.CxxLong} convert_to_pm_type(::Type{<:AbstractVector{T}}) where T<:Tuple = Polymake.Array{convert_to_pm_type(T)} +convert_to_pm_type(::Type{<:BasicDecoration}) = BasicDecoration # Graph, EdgeMap, NodeMap const DirType = Union{Directed, Undirected}