define spacetype for TruncationSpace

src/factorizations/truncation.jl

@@ -25,6 +25,8 @@ function truncspace(space::ElementarySpace; by = abs, rev::Bool = true)
     return TruncationSpace(space, by, rev)
 end
 
+TensorKit.spacetype(::Type{<:TruncationSpace{S}}) where {S} = S
+
 # truncate!
 # ---------
 _blocklength(d::Integer, ind) = _blocklength(Base.OneTo(d), ind)
@@ -257,10 +259,12 @@ MAK.findtruncated_svd(values::SectorVector, strategy::TruncationByError) =
     MAK.findtruncated(values, strategy)
 
 function MAK.findtruncated(values::SectorVector, strategy::TruncationSpace)
+    @assert spacetype(values) == spacetype(strategy)
     blockstrategy(c) = truncrank(dim(strategy.space, c); strategy.by, strategy.rev)
     return SectorDict(c => MAK.findtruncated(d, blockstrategy(c)) for (c, d) in pairs(values))
 end
 function MAK.findtruncated_svd(values::SectorVector, strategy::TruncationSpace)
+    @assert spacetype(values) == spacetype(strategy)
     blockstrategy(c) = truncrank(dim(strategy.space, c); strategy.by, strategy.rev)
     return SectorDict(c => MAK.findtruncated_svd(d, blockstrategy(c)) for (c, d) in pairs(values))
 end

test/factorizations/svd.jl

@@ -212,6 +212,8 @@ for V in spacelist
                 @test ϵ1 ≈ ϵ2
 
                 trunc = truncspace(space(S2, 1))
+                @test spacetype(typeof(trunc)) == spacetype(V)
+                @test sectortype(trunc) == sectortype(V)
                 U3, S3, Vᴴ3, ϵ3 = @constinferred svd_trunc(t; trunc)
                 @test t * Vᴴ3' ≈ U3 * S3
                 @test isisometric(U3)