build based on bf82ddc

Author: Documenter.jl

previews/PR409/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"documenter_version":"1.17.0","generation_timestamp":"2026-04-21T18:15:32","julia_version":"1.12.6"}}
+{"documenter":{"documenter_version":"1.17.0","generation_timestamp":"2026-04-22T22:18:02","julia_version":"1.12.6"}}

previews/PR409/Changelog/index.html

@@ -669,4 +669,4 @@
 
  * (FusionTree{FibonacciAnyon}((:τ, :τ), :τ, (false, false), ()), FusionTree{FibonacciAnyon}((:τ, :τ), :τ, (false, false), ())) => 1×1×1×1 StridedViews.StridedView{Float64, 4, Memory{Float64}, typeof(identity)}:
 [:, :, 1, 1] =
- 0.0</code></pre><div class="admonition is-info" id="Note-527fead9933cbe71"><header class="admonition-header">Note<a class="admonition-anchor" href="#Note-527fead9933cbe71" title="Permalink"></a></header><div class="admonition-body"><p>In the previous section we have stressed the role of Clebsch-Gordan coefficients in the structure of symmetric tensors, and how they can be used to map between the representation of an operator in the irrep basis and its symmetric tensor representation. However, for categorical symmetries such as the Fibonacci anyons, there are no Clebsch-Gordan coefficients. Therefore, the &#39;matrix elements of the operator in the irrep basis&#39; are not well-defined, meaning that a Fibonacci-symmetric tensor cannot actually be converted to a plain array in a straightforward way.</p></div></div></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../index/">« Index</a><a class="docs-footer-nextpage" href="../categories/">Optional introduction to category theory »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.17.0 on <span class="colophon-date" title="Tuesday 21 April 2026 18:15">Tuesday 21 April 2026</span>. Using Julia version 1.12.6.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+ 0.0</code></pre><div class="admonition is-info" id="Note-527fead9933cbe71"><header class="admonition-header">Note<a class="admonition-anchor" href="#Note-527fead9933cbe71" title="Permalink"></a></header><div class="admonition-body"><p>In the previous section we have stressed the role of Clebsch-Gordan coefficients in the structure of symmetric tensors, and how they can be used to map between the representation of an operator in the irrep basis and its symmetric tensor representation. However, for categorical symmetries such as the Fibonacci anyons, there are no Clebsch-Gordan coefficients. Therefore, the &#39;matrix elements of the operator in the irrep basis&#39; are not well-defined, meaning that a Fibonacci-symmetric tensor cannot actually be converted to a plain array in a straightforward way.</p></div></div></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../index/">« Index</a><a class="docs-footer-nextpage" href="../categories/">Optional introduction to category theory »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.17.0 on <span class="colophon-date" title="Wednesday 22 April 2026 22:18">Wednesday 22 April 2026</span>. Using Julia version 1.12.6.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>

previews/PR409/appendix/categories/index.html

@@ -49,4 +49,4 @@
 deligneproduct(s₁::Sector, s₂::Sector, ...)
 deligneproduct(; name₁::Sector=s₁, name₂::Sector=s₂, ...)</code></pre><p>Given two sectors <code>s₁</code> and <code>s₂</code>, which label an isomorphism class of simple objects in a fusion category <span>$C₁$</span> and <span>$C₂$</span>, <code>s1 ⊠ s2</code> (obtained as <code>\boxtimes+TAB</code>) labels the isomorphism class of simple objects in the Deligne tensor product category <span>$C₁ ⊠ C₂$</span>.</p><p>The Deligne tensor product also works in the type domain and for spaces and tensors. For group representations, we have <code>Irrep[G₁] ⊠ Irrep[G₂] == Irrep[G₁ × G₂]</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/sectors.jl#L737-L749">source</a></section></details></article><p>We have also the following methods that are specific to certain types of sectors and serve as accessors to their fields:</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.charge"><a class="docstring-binding" href="#TensorKitSectors.charge"><code>TensorKitSectors.charge</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">charge(c::ZNIrrep) -&gt; Int</code></pre><p>The charge label of the irrep <code>c</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/irreps/znirrep.jl#L69-L73">source</a></section><section><div><pre><code class="language-julia hljs">charge(c::U1Irrep) -&gt; HalfInt</code></pre><p>The charge label of the irrep <code>c</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/irreps/u1irrep.jl#L22-L26">source</a></section></details></article><article><details class="docstring" open="true"><summary id="TensorKitSectors.modulus"><a class="docstring-binding" href="#TensorKitSectors.modulus"><code>TensorKitSectors.modulus</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">modulus(c::ZNIrrep{N}) -&gt; N
 modulus(::Type{&lt;:ZNIrrep{N}}) -&gt; N</code></pre><p>The order of the cyclic group, or the modulus of the charge labels.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/irreps/znirrep.jl#L60-L65">source</a></section></details></article><p>Furthermore, we also have one specific method acting on groups, represented as types</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.:×"><a class="docstring-binding" href="#TensorKitSectors.:×"><code>TensorKitSectors.:×</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">×(G::Vararg{Type{&lt;:Group}}) -&gt; ProductGroup{Tuple{G...}}
-times(G::Vararg{Type{&lt;:Group}}) -&gt; ProductGroup{Tuple{G...}}</code></pre><p>Construct the direct product of a (list of) groups.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/groups.jl#L107-L112">source</a></section></details></article><p>Mapping between sectors and linear indices is only used for sectors <code>I</code> for which <code>Base.IteratorSize(values(I)) == HasLength()</code>. In that case, we map an index <code>i</code> to a sector <code>c</code> via <code>c = getindex(values(I), i)</code>, and provide an inverse mapping</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.findindex"><a class="docstring-binding" href="#TensorKitSectors.findindex"><code>TensorKitSectors.findindex</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">findindex(v::SectorValues{I}, c::I)</code></pre><p>Reverse mapping between a value <code>c::I</code> and an index <code>i::Integer ∈ 1:length(values(I))</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/sectors.jl#L93-L97">source</a></section></details></article><p>Because we sometimes want to customize the string representation of our sector types, we also have the following method:</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.type_repr"><a class="docstring-binding" href="#TensorKitSectors.type_repr"><code>TensorKitSectors.type_repr</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">type_repr(T::Type)</code></pre><p>Return a string representation of the type <code>T</code>, which is used to modify the default way in which <code>Sector</code> subtypes are displayed in other objects that depend on them.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/sectors.jl#L43-L48">source</a></section></details></article><p>Finally, we provide functionality to compile all revelant methods for a sector:</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.precompile_sector"><a class="docstring-binding" href="#TensorKitSectors.precompile_sector"><code>TensorKitSectors.precompile_sector</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">precompile_sector(I::Type{&lt;:Sector})</code></pre><p>Precompile common methods for the given sector type.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/precompile.jl#L1-L5">source</a></section></details></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../man/tensormanipulations/">« Manipulating tensors</a><a class="docs-footer-nextpage" href="../fusiontrees/">Fusion trees »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.17.0 on <span class="colophon-date" title="Tuesday 21 April 2026 18:15">Tuesday 21 April 2026</span>. Using Julia version 1.12.6.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+times(G::Vararg{Type{&lt;:Group}}) -&gt; ProductGroup{Tuple{G...}}</code></pre><p>Construct the direct product of a (list of) groups.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/groups.jl#L107-L112">source</a></section></details></article><p>Mapping between sectors and linear indices is only used for sectors <code>I</code> for which <code>Base.IteratorSize(values(I)) == HasLength()</code>. In that case, we map an index <code>i</code> to a sector <code>c</code> via <code>c = getindex(values(I), i)</code>, and provide an inverse mapping</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.findindex"><a class="docstring-binding" href="#TensorKitSectors.findindex"><code>TensorKitSectors.findindex</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">findindex(v::SectorValues{I}, c::I)</code></pre><p>Reverse mapping between a value <code>c::I</code> and an index <code>i::Integer ∈ 1:length(values(I))</code>.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/sectors.jl#L93-L97">source</a></section></details></article><p>Because we sometimes want to customize the string representation of our sector types, we also have the following method:</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.type_repr"><a class="docstring-binding" href="#TensorKitSectors.type_repr"><code>TensorKitSectors.type_repr</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">type_repr(T::Type)</code></pre><p>Return a string representation of the type <code>T</code>, which is used to modify the default way in which <code>Sector</code> subtypes are displayed in other objects that depend on them.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/sectors.jl#L43-L48">source</a></section></details></article><p>Finally, we provide functionality to compile all revelant methods for a sector:</p><article><details class="docstring" open="true"><summary id="TensorKitSectors.precompile_sector"><a class="docstring-binding" href="#TensorKitSectors.precompile_sector"><code>TensorKitSectors.precompile_sector</code></a> — <span class="docstring-category">Function</span></summary><section><div><pre><code class="language-julia hljs">precompile_sector(I::Type{&lt;:Sector})</code></pre><p>Precompile common methods for the given sector type.</p></div><a class="docs-sourcelink" target="_blank" href="https://github.com/QuantumKitHub/TensorKitSectors.jl/blob/v0.3.8/src/precompile.jl#L1-L5">source</a></section></details></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../../man/tensormanipulations/">« Manipulating tensors</a><a class="docs-footer-nextpage" href="../fusiontrees/">Fusion trees »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.17.0 on <span class="colophon-date" title="Wednesday 22 April 2026 22:18">Wednesday 22 April 2026</span>. Using Julia version 1.12.6.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>