Skip to content

Add TensorAlgebraTensorKitSectorsExt for sector dual #215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mtfishman merged 2 commits into from
Jul 24, 2026
Merged

Add TensorAlgebraTensorKitSectorsExt for sector dual #215

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
695f008
Add `TensorAlgebraTensorKitSectorsExt` for sector `dual`
mtfishman Jul 24, 2026
7af5ee5
Reword sector dual comment
mtfishman Jul 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion Project.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
name = "TensorAlgebra"
uuid = "68bd88dc-f39d-4e12-b2ca-f046b68fcc6a"
version = "0.17.8"
version = "0.17.9"
authors = ["ITensor developers <support@itensor.org> and contributors"]

[workspace]
Expand All @@ -18,12 +18,14 @@ TupleTools = "9d95972d-f1c8-5527-a6e0-b4b365fa01f6"
[weakdeps]
Mooncake = "da2b9cff-9c12-43a0-ae48-6db2b0edb7d6"
TensorKit = "07d1fe3e-3e46-537d-9eac-e9e13d0d4cec"
TensorKitSectors = "13a9c161-d5da-41f0-bcbd-e1a08ae0647f"
TensorOperations = "6aa20fa7-93e2-5fca-9bc0-fbd0db3c71a2"
VectorInterface = "409d34a3-91d5-4945-b6ec-7529ddf182d8"

[extensions]
TensorAlgebraMooncakeExt = "Mooncake"
TensorAlgebraTensorKitExt = ["TensorKit", "TensorOperations", "VectorInterface"]
TensorAlgebraTensorKitSectorsExt = "TensorKitSectors"
TensorAlgebraTensorOperationsExt = "TensorOperations"

[compat]
Expand All @@ -35,6 +37,7 @@ Random = "1.10"
Strided = "2.6"
StridedViews = "0.5"
TensorKit = "0.17"
TensorKitSectors = "0.3.9"
TensorOperations = "5"
TupleTools = "1.6"
VectorInterface = "0.4.8, 0.5"
Expand Down
9 changes: 9 additions & 0 deletions ext/TensorAlgebraTensorKitSectorsExt.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
module TensorAlgebraTensorKitSectorsExt

using TensorAlgebra: TensorAlgebra
using TensorKitSectors: TensorKitSectors, Sector

# A sector's dual is its conjugate (charge conjugation), forwarded to TensorKitSectors' `dual`.
TensorAlgebra.dual(c::Sector) = TensorKitSectors.dual(c)

end
9 changes: 6 additions & 3 deletions test/test_tensorkitext.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ using StableRNGs: StableRNG
using TensorAlgebra: TensorAlgebra, contract, matricize, project, projectto!, rand_map,
randn_map, similar_map, tryflattenlinear, tryproject, unchecked_project, unmatricize,
zeros_map
using TensorKit: @tensor, AbstractTensorMap, DiagonalTensorMap, Rep, SU₂, TensorMap, U₁,
dim, dual, fuse, isomorphism, randn, reduceddim, space, storagetype, ←, ⊗
using TensorKit: @tensor, AbstractTensorMap, DiagonalTensorMap, Irrep, Rep, SU₂, TensorMap,
U₁, dim, dual, fuse, isomorphism, randn, reduceddim, space, storagetype, ←, ⊗
using Test: @test, @test_throws, @testset

# A shared bond contracts when it sits in one operand's domain and the other's codomain, i.e.
Expand Down Expand Up @@ -331,9 +331,12 @@ using Test: @test, @test_throws, @testset
end
end

@testset "dual/isdual on a TensorKit space" begin
@testset "dual/isdual on TensorKit spaces and sectors" begin
V = Rep[U₁](0 => 2, 1 => 1)
@test TensorAlgebra.isdual(V) == false
@test TensorAlgebra.isdual(dual(V)) == true
@test TensorAlgebra.dual(V) == dual(V)
# A sector's dual is its conjugate.
s = Irrep[U₁](1)
@test TensorAlgebra.dual(s) == dual(s)
end