From 5e38fa6086920defb643748ababe2096910a1e9f Mon Sep 17 00:00:00 2001 From: leburgel Date: Wed, 10 Sep 2025 18:57:31 +0200 Subject: [PATCH 1/2] Make `truncspace` explanation more specific --- docs/src/man/tensors.md | 2 +- src/tensors/factorizations.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/src/man/tensors.md b/docs/src/man/tensors.md index cf3d468de..2dbac722f 100644 --- a/docs/src/man/tensors.md +++ b/docs/src/man/tensors.md @@ -947,7 +947,7 @@ the keyword argument `p`. The default value `notrunc()` implies no truncation, a dimension of the internal vector space is no larger than `χ`; * `truncspace(W)`: truncates such that the dimension of the internal vector space is - smaller than that of `W` in any sector, i.e. with + smaller than or equal to that of `W` in any sector, i.e. with `W₀ = min(fuse(codomain(t)), fuse(domain(t)))` this option will result in `domain(U) == domain(Σ) == codomain(Σ) == codomain(Vᵈ) == min(W, W₀)`; diff --git a/src/tensors/factorizations.jl b/src/tensors/factorizations.jl index 2292b6c17..0432e3696 100644 --- a/src/tensors/factorizations.jl +++ b/src/tensors/factorizations.jl @@ -33,7 +33,7 @@ case a truncated singular value decomposition will be computed. Choices are: * `truncdim(χ::Int)`: truncates such that the equivalent total dimension of the internal vector space is no larger than `χ`; * `truncspace(V)`: truncates such that the dimension of the internal vector space is - smaller than that of `V` in any sector. + smaller than or equal to that of `V` in any sector. * `truncbelow(η::Real)`: truncates such that every singular value is larger then `η` ; Truncation options can also be combined using `&`, i.e. `truncbelow(η) & truncdim(χ)` will From a957b653242574c661f1b01d8d5506711aa2c81d Mon Sep 17 00:00:00 2001 From: leburgel Date: Thu, 18 Sep 2025 10:23:59 +0200 Subject: [PATCH 2/2] Compromise --- docs/src/man/tensors.md | 4 ++-- src/tensors/factorizations.jl | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/src/man/tensors.md b/docs/src/man/tensors.md index 2dbac722f..5a8aaf45a 100644 --- a/docs/src/man/tensors.md +++ b/docs/src/man/tensors.md @@ -946,8 +946,8 @@ the keyword argument `p`. The default value `notrunc()` implies no truncation, a * `truncdim(χ::Integer)`: finds the optimal truncation such that the equivalent total dimension of the internal vector space is no larger than `χ`; -* `truncspace(W)`: truncates such that the dimension of the internal vector space is - smaller than or equal to that of `W` in any sector, i.e. with +* `truncspace(W)`: truncates such that the dimension of the internal vector space is no + greater than that of `W` in any sector, i.e. with `W₀ = min(fuse(codomain(t)), fuse(domain(t)))` this option will result in `domain(U) == domain(Σ) == codomain(Σ) == codomain(Vᵈ) == min(W, W₀)`; diff --git a/src/tensors/factorizations.jl b/src/tensors/factorizations.jl index 0432e3696..9a6bf5dd1 100644 --- a/src/tensors/factorizations.jl +++ b/src/tensors/factorizations.jl @@ -32,8 +32,8 @@ case a truncated singular value decomposition will be computed. Choices are: smaller than `η`; * `truncdim(χ::Int)`: truncates such that the equivalent total dimension of the internal vector space is no larger than `χ`; -* `truncspace(V)`: truncates such that the dimension of the internal vector space is - smaller than or equal to that of `V` in any sector. +* `truncspace(V)`: truncates such that the dimension of the internal vector space is no + greater than that of `V` in any sector. * `truncbelow(η::Real)`: truncates such that every singular value is larger then `η` ; Truncation options can also be combined using `&`, i.e. `truncbelow(η) & truncdim(χ)` will