Skip to content

[WIP] Add pushout of sheaves over a span of graph homomorphisms#35

Open
Copilot wants to merge 3 commits into
mainfrom
copilot/add-pushout-sheaves-over-graphs
Open

[WIP] Add pushout of sheaves over a span of graph homomorphisms#35
Copilot wants to merge 3 commits into
mainfrom
copilot/add-pushout-sheaves-over-graphs

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented May 6, 2026

  • Understand prerequisites: pushforward_sheaf, graph_pushout, pushout_sheaf (all merged)
  • Create src/network_sheaves/PushoutSheaves.jl with:
    • _fill_missing_edges! helper
    • _induced_sheaf_morphism helper
    • _build_canonical_morph helper
    • pushout_sheaf_over_span main function
  • Update src/network_sheaves/NetworkSheaves.jl (include + reexport)
  • Create test/network_sheaves/PushoutSheaves.jl
  • Update test/runtests.jl
  • Run tests

Copilot AI linked an issue May 6, 2026 that may be closed by this pull request
7 tasks
@codecov
Copy link
Copy Markdown

codecov Bot commented May 6, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 82.90%. Comparing base (92b2276) to head (201991e).
⚠️ Report is 38 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main      #35      +/-   ##
==========================================
- Coverage   84.06%   82.90%   -1.17%     
==========================================
  Files          13       13              
  Lines        1086     1234     +148     
==========================================
+ Hits          913     1023     +110     
- Misses        173      211      +38     

☔ View full report in Codecov by Sentry.
📢 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.

Copilot AI requested a review from jpfairbanks May 6, 2026 17:24
@jpfairbanks jpfairbanks marked this pull request as ready for review May 7, 2026 01:34
Copilot AI review requested due to automatic review settings May 7, 2026 01:34
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This WIP PR currently only modifies the test environment by adding CellularSheaves as an explicit dependency in test/Project.toml.

Changes:

  • Add CellularSheaves to test/Project.toml [deps].

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread test/Project.toml Outdated
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
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.

Pushout of sheaves over pushout of graphs

3 participants