Skip to content

Add TensorAlgebraTensorKitSectorsExt for sector dual#215

Merged
mtfishman merged 2 commits into
mainfrom
mf/dual-isdual-sectors-ext
Jul 24, 2026
Merged

Add TensorAlgebraTensorKitSectorsExt for sector dual#215
mtfishman merged 2 commits into
mainfrom
mf/dual-isdual-sectors-ext

Conversation

@mtfishman

Copy link
Copy Markdown
Member

Summary

Adds a TensorAlgebraTensorKitSectorsExt extension defining dual on a TensorKitSectors sector (its charge conjugation). This is the sector-level companion to the TensorKit space dual and isdual overloads added in #214, keeping all overloads of TensorAlgebra generics on TensorKitSectors types in a dedicated extension. GradedArrays will drop its own sector dual in favor of this one.

## Summary

Adds a `TensorAlgebraTensorKitSectorsExt` extension defining `dual` on a TensorKitSectors sector (its charge conjugation). This is the sector-level companion to the TensorKit space `dual` and `isdual` overloads added in #214, keeping all overloads of TensorAlgebra generics on TensorKitSectors types in a dedicated extension. GradedArrays will drop its own sector `dual` in favor of this one.
@mtfishman
mtfishman enabled auto-merge (squash) July 24, 2026 14:00
@codecov

codecov Bot commented Jul 24, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 81.80%. Comparing base (4e8b0fa) to head (7af5ee5).

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #215      +/-   ##
==========================================
+ Coverage   81.58%   81.80%   +0.21%     
==========================================
  Files          27       28       +1     
  Lines         994      995       +1     
==========================================
+ Hits          811      814       +3     
+ Misses        183      181       -2     
Flag Coverage Δ
docs 22.06% <0.00%> (-0.03%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@mtfishman
mtfishman merged commit 344f8a8 into main Jul 24, 2026
21 of 22 checks passed
@mtfishman
mtfishman deleted the mf/dual-isdual-sectors-ext branch July 24, 2026 14:36
mtfishman added a commit to ITensor/GradedArrays.jl that referenced this pull request Jul 24, 2026
…ys' own (#219)

## Summary

GradedArrays now extends the `dual` and `isdual` generics owned by
TensorAlgebra (added in
ITensor/TensorAlgebra.jl#214) rather than
defining its own copies, and re-exports them. Its `SectorRange`,
`SectorOneTo`, and `GradedOneTo` methods become `TensorAlgebra.dual` /
`TensorAlgebra.isdual` overloads. The `dual` on a raw TensorKitSectors
sector moves to `TensorAlgebraTensorKitSectorsExt`
(ITensor/TensorAlgebra.jl#215) and `dual` on a
TensorKit `ElementarySpace` moves to `TensorAlgebraTensorKitExt`, so
both are dropped here. Bumps the TensorAlgebra compat floor to 0.17.9.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant