update precompilation docs

Author: lkdvos

docs/make.jl

@@ -33,6 +33,7 @@ pages = [
             "man/indexmanipulations.md",
             "man/factorizations.md",
             "man/contractions.md",
+            "man/precompilation.md",
         ],
     ],
     "Library" => [

docs/src/man/contractions.md

@@ -317,45 +317,3 @@ Since in this case `@tensor` and `@planar` yield different results, the `@planso
 
 
 [^Mortier]:      Mortier, Q., Devos, L., Burgelman, L., et al. (2025). Fermionic Tensor Network Methods. SciPost Physics 18, no. 1. [10.21468/SciPostPhys.18.1.012](https://doi.org/10.21468/SciPostPhys.18.1.012).
-
-## Precompilation
-
-The first tensor contraction in a Julia session incurs a significant compilation latency
-(time-to-first-execution, TTFX). To mitigate this, TensorKit ships a precompilation workload
-that is **enabled by default**: it runs a small set of representative contractions, traces and
-permutations for the `Trivial`, `Z2Irrep`, `SU2Irrep` and `FermionParity` symmetries over
-`Float64` and `ComplexF64`.
-
-Because the numerically-heavy kernels are *sector-agnostic* (they depend only on the element
-type, the arity, and `sectorscalartype`), this workload also speeds up the first contraction of
-symmetries that are *not* in the workload — including user-defined ones.
-
-The workload can be tuned or disabled through [Preferences](https://github.com/JuliaPackaging/Preferences.jl):
-
-```julia
-using TensorKit, Preferences
-# disable the workload entirely (fastest precompilation, no TTFX benefit)
-set_preferences!(TensorKit, "precompile_workload" => false; force=true)
-# restrict the element types
-set_preferences!(TensorKit, "precompile_eltypes" => ["Float64"]; force=true)
-# restrict / change the symmetries that are precompiled
-set_preferences!(TensorKit, "precompile_sectors" => ["Trivial", "Z2Irrep"]; force=true)
-# change the tensor arities (leg counts) that are precompiled, e.g. up to rank-6 for PEPS/PEPO
-set_preferences!(TensorKit, "precompile_ndims" => [2, 3, 4, 5, 6]; force=true)
-```
-
-Changing a preference triggers recompilation of TensorKit the next time it is loaded.
-
-Downstream packages that define their own symmetry can precompile TensorKit's contraction path
-for it by calling [`precompile_contract`](@ref) inside their own `PrecompileTools.@compile_workload`:
-
-```julia
-using TensorKit, PrecompileTools
-@compile_workload begin
-    TensorKit.precompile_contract(Vect[MyAnyon](s₀ => 1, s₁ => 1))
-end
-```
-
-```@docs; canonical=false
-precompile_contract
-```

docs/src/man/precompilation.md

@@ -0,0 +1,44 @@
+# Precompilation
+
+The first tensor operation in a Julia session — a contraction, an index manipulation, or a factorization — incurs a significant compilation latency (time-to-first-execution, TTFX).
+To mitigate this, TensorKit ships a precompilation workload that is **enabled by default**:
+it runs a small set of representative index manipulations, contractions and factorizations for the `Trivial`, `Z2Irrep`, `SU2Irrep` and `FermionParity` symmetries over `Float64` and `ComplexF64`.
+
+Because the numerically-heavy kernels are mostly *sector-agnostic* (they depend only on the element type, the arity, and `sectorscalartype`),
+this workload also speeds up the first operation on symmetries that are *not* in the workload — including user-defined ones.
+
+The workload can be tuned or disabled through [Preferences](https://github.com/JuliaPackaging/Preferences.jl):
+
+```julia
+using TensorKit, Preferences, PrecompileTools
+# disable the workload entirely (fastest precompilation, no TTFX benefit)
+PrecompileTools.set_preferences!(TensorKit, "precompile_workloads" => false; force=true)
+# disable individual suites (each defaults to `true`)
+set_preferences!(TensorKit, "precompile_contract" => false; force=true)
+set_preferences!(TensorKit, "precompile_indexmanipulations" => false; force=true)
+set_preferences!(TensorKit, "precompile_factorizations" => false; force=true)
+# restrict the element types
+set_preferences!(TensorKit, "precompile_eltypes" => ["Float64"]; force=true)
+# restrict / change the symmetries that are precompiled
+set_preferences!(TensorKit, "precompile_sectors" => ["Trivial", "Z2Irrep"]; force=true)
+# highest tensor arity (leg count) to precompile, i.e. arities `1:n`; e.g. rank-6 for PEPS/PEPO
+set_preferences!(TensorKit, "precompile_ndims" => 6; force=true)
+```
+
+Changing a preference triggers recompilation of TensorKit the next time it is loaded.
+
+Downstream packages or startup files that define or heavily use their own symmetry can precompile TensorKit's operations for it by
+calling the `precompile_*` helpers inside their own `PrecompileTools.@compile_workload`:
+
+```julia
+using TensorKit, PrecompileTools
+@compile_workload begin
+    TensorKit.precompile_contract(Vect[MyAnyon](s₀ => 1, s₁ => 1))
+end
+```
+
+```@docs; canonical=false
+TensorKit.precompile_contract
+TensorKit.precompile_indexmanipulations
+TensorKit.precompile_factorizations
+```