Skip to content
This repository has been archived by the owner on Jun 9, 2021. It is now read-only.

Contraction #20

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Contraction #20

wants to merge 1 commit into from

Conversation

NickHu
Copy link
Owner

@NickHu NickHu commented Aug 26, 2020 •
edited
Loading

This pull request implements contraction of diagrams, closing #3.

What's done:

  • Recursive colimit algorithm
  • Contracting at the top level
  • Applying bias to contractions to manufacture colimits which do not naturally exist, in the top level only
  • Propagating a contraction performed at a slice recursively to the top level
  • Documentation
  • Testing
    • top-level contraction
    • biased contraction
    • sub-slice contraction

API changes should be made at this stage if any are desirable.

@NickHu NickHu added the mathematical Related to the theoretical foundation label Aug 26, 2020
@NickHu NickHu requested a review from zrho August 26, 2020 18:38
@NickHu NickHu requested a review from jamievicary August 26, 2020 18:39
@NickHu NickHu force-pushed the contraction branch 2 times, most recently from 2e8d45e to e4e1383 Compare August 28, 2020 17:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@zrho zrho Awaiting requested review from zrho

@jamievicary jamievicary Awaiting requested review from jamievicary

Assignees
No one assigned
Labels
mathematical Related to the theoretical foundation
Projects
None yet
Milestone
Core algorithms and data structures
Development

Successfully merging this pull request may close these issues.
1 participant
@NickHu