Add dedicated printing for empty combinatorial objects (#4236)

oscar-system · Oct 24, 2024 · ab11326 · ab11326
1 parent 31ca31b
commit ab11326
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 3 deletions.
diff --git a/src/Combinatorics/EnumerativeCombinatorics/compositions.jl b/src/Combinatorics/EnumerativeCombinatorics/compositions.jl
@@ -40,7 +40,12 @@ function composition(parts::Vector{T}; check::Bool = true) where {T <: IntegerUn
 end
 
 function Base.show(io::IO, ::MIME"text/plain", C::Composition)
-  print(io, data(C))
+  c = data(C)
+  if isempty(c)
+    print(io, "Empty composition")
+    return
+  end
+  print(io, c)
 end
 
 ################################################################################

diff --git a/src/Combinatorics/EnumerativeCombinatorics/partitions.jl b/src/Combinatorics/EnumerativeCombinatorics/partitions.jl
@@ -72,7 +72,12 @@ end
 data(P::Partition) = P.p
 
 function Base.show(io::IO, ::MIME"text/plain", P::Partition)
-  print(io, data(P))
+  p = data(P)
+  if isempty(p)
+    print(io, "Empty partition")
+    return
+  end
+  print(io, p)
 end
 
 ################################################################################

diff --git a/src/Combinatorics/EnumerativeCombinatorics/weak_compositions.jl b/src/Combinatorics/EnumerativeCombinatorics/weak_compositions.jl
@@ -32,7 +32,12 @@ function weak_composition(parts::Vector{T}; check::Bool = true) where {T <: Inte
 end
 
 function Base.show(io::IO, ::MIME"text/plain", C::WeakComposition)
-  print(io, data(C))
+  c = data(C)
+  if isempty(c)
+    print(io, "Empty weak composition")
+    return
+  end
+  print(io, c)
 end
 
 ################################################################################