From 47ce41de228398967d924c237fe4ed684f99bb2d Mon Sep 17 00:00:00 2001 From: leburgel Date: Mon, 18 Mar 2024 09:39:51 +0100 Subject: [PATCH] Address more review comments --- docs/src/man/tensors.md | 4 ++-- src/fusiontrees/fusiontrees.jl | 5 +++-- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/docs/src/man/tensors.md b/docs/src/man/tensors.md index c3ef9047..4d3e3d4f 100644 --- a/docs/src/man/tensors.md +++ b/docs/src/man/tensors.md @@ -313,8 +313,8 @@ e.g. for `CartesianSpace` or `ComplexSpace`. Then the `data` array is just resha matrix form and referred to as such in the resulting `TensorMap` instance. When `spacetype` is `GradedSpace`, the `TensorMap` constructor will try to reconstruct the tensor data such that the resulting tensor `t` satisfies `data == convert(Array, t)`. This might not be -possible, if the data does not respect the symmetry structure. Let's sketch procedure using -a simple physical example, namely the SWAP gate on two qubits, +possible, if the data does not respect the symmetry structure. This procedure can be +sketched using a simple physical example, namely the SWAP gate on two qubits, ```math \begin{align*} \mathrm{SWAP}: \mathbb{C}^2 \otimes \mathbb{C}^2 & \to \mathbb{C}^2 \otimes \mathbb{C}^2\\ diff --git a/src/fusiontrees/fusiontrees.jl b/src/fusiontrees/fusiontrees.jl index 89c55aae..568ba95a 100644 --- a/src/fusiontrees/fusiontrees.jl +++ b/src/fusiontrees/fusiontrees.jl @@ -8,9 +8,10 @@ sectors to a coupled sector. It actually represents a splitting tree, but fusion is a more common term. ## Fields -- `uncoupled::NTuple{N,I}`: the uncoupled sectors coming out of the splitting tree, before the possible 𝑍 isomorphism. +- `uncoupled::NTuple{N,I}`: the uncoupled sectors coming out of the splitting tree, before + the possible 𝑍 isomorphism (see `isdual`). - `coupled::I`: the coupled sector. -- `isdual::NTuple{N,Bool}`: indicates whether the an isomorphism is present (`true`) or not +- `isdual::NTuple{N,Bool}`: indicates whether a 𝑍 isomorphism is present (`true`) or not (`false`) for each uncoupled sector. - `innerlines::NTuple{M,I}`: the labels of the M=max(0, N-2)` inner lines of the splitting tree.