Skip to content

[WIP] Add a lazy ConjArray absorbed by permutation, matricize and contraction - #245

Draft
mtfishman wants to merge 13 commits into
mainfrom
mf/lazy-conjarray
Draft

mtfishman wants to merge 13 commits into
mainfrom
mf/lazy-conjarray

Conversation

@mtfishman

@mtfishman mtfishman commented Nov 4, 2026 •

Copy link
Copy Markdown
Member

Summary

Adds conjed(a), a lazy conjugate (ConjArray) that permutation, matricization and contraction absorb by folding conj into their op, so a conjugated operand is never materialized. Other whole-array operations go through the parent, and scalar indexing errors rather than looping over elements.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@codecov

codecov Bot commented Nov 4, 2026 •

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 88.04348% with 11 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.42%. Comparing base (f25bff9) to head (7d1980e).

Files with missing lines Patch % Lines
src/conjarray.jl 83.05% 10 Missing ⚠️
src/contract/allocate_output.jl 96.15% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #245      +/-   ##
==========================================
- Coverage   83.93%   80.42%   -3.52%     
==========================================
  Files          31       31              
  Lines         971     1042      +71     
==========================================
+ Hits          815      838      +23     
- Misses        156      204      +48     
Flag Coverage Δ
docs 24.60% <28.88%> (-1.04%) ⬇️

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 and others added 2 commits November 4, 2026 13:55
…parent from conj of a ConjArray

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…before allocating

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
mtfishman and others added 10 commits November 4, 2026 15:02
Scalar indexing of a ConjArray now errors, so code without a whole-array path fails instead of looping over elements.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
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