retry gradedspace printing

Author: lkdvos

Project.toml

@@ -9,6 +9,7 @@ LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MatrixAlgebraKit = "6c742aac-3347-4629-af66-fc926824e5e4"
 OhMyThreads = "67456a42-1dca-4109-a031-0a68de7e3ad5"
 PackageExtensionCompat = "65ce6f38-6b18-4e1d-a461-8949797d7930"
+Printf = "de0858da-6303-5e67-8744-51eddeeeb8d7"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 ScopedValues = "7e506255-f358-4e82-b7e4-beb19740aa63"
 Strided = "5e0ebb24-38b0-5f93-81fe-25c709ecae67"
@@ -36,6 +37,7 @@ LinearAlgebra = "1"
 MatrixAlgebraKit = "0.5.0"
 OhMyThreads = "0.8.0"
 PackageExtensionCompat = "1"
+Printf = "1"
 Random = "1"
 ScopedValues = "1.3.0"
 Strided = "2"

src/TensorKit.jl

@@ -127,6 +127,7 @@ using Base: @boundscheck, @propagate_inbounds, @constprop,
     tuple_type_head, tuple_type_tail, tuple_type_cons,
     SizeUnknown, HasLength, HasShape, IsInfinite, EltypeUnknown, HasEltype
 using Base.Iterators: product, filter
+using Printf: @sprintf
 
 using LinearAlgebra: LinearAlgebra, BlasFloat
 using LinearAlgebra: norm, dot, normalize, normalize!, tr,

src/spaces/gradedspace.jl

@@ -198,7 +198,9 @@ function supremum(V₁::GradedSpace{I}, V₂::GradedSpace{I}) where {I <: Sector
 end
 
 function Base.summary(io::IO, V::GradedSpace)
-    print(io, dim(V), "-dimensional ")
+    d = dim(V)
+    dstr = d isa Int ? string(d) : @sprintf "%.2f" d
+    print(io, dstr, "-dimensional ")
     isdual(V) && print(io, "dual ")
     print(io, type_repr(typeof(V)))
     return nothing
@@ -250,6 +252,17 @@ function Base.show(io::IO, V::GradedSpace)
     return nothing
 end
 
+function Base.show(io::IO, ::MIME"text/plain", V::GradedSpace)
+    summary(io, V)
+    iszero(dim(V)) && return nothing
+    println(io, ":")
+    print(io, " ")
+    ioc = IOContext(io, :typeinfo => typeof(V))
+    show(ioc, V)
+    return nothing
+end
+
+
 struct SpaceTable end
 """
     const Vect