Skip to content
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

Jump to bottom

Agglomerative data migration #567

Merged
merged 4 commits into from
Nov 11, 2021
Merged

Agglomerative data migration #567

merged 4 commits into from
Nov 11, 2021

Commits on Nov 10, 2021

  1. ENH: Support for gluing queries in @migration macro. 

    I'm not entirely satisfied with the syntax but it's a start.
    @epatters
    epatters committed Nov 10, 2021
    Configuration menu
    Copy the full SHA
    9a5bd85 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2021

  1. ENH: Agglomerative data migration of acsets.

    @epatters
    epatters committed Nov 11, 2021
    Configuration menu
    Copy the full SHA
    8b7626d View commit details
    Browse the repository at this point in the history

  2. ENH: Dual algorithm for colimits by reducing to bipartite diagram. 

    This is less useful than the algorithm for limits but I've included it
for completeness.
    @epatters
    epatters committed Nov 11, 2021
    Configuration menu
    Copy the full SHA
    cbafba1 View commit details
    Browse the repository at this point in the history

  3. CLEANUP: Simplify syntax for morphisms between gluing queries. 

    Not only does this considerably simplify the parser, but I think it will
be more intuitive for users as well.
    @epatters
    epatters committed Nov 11, 2021
    Configuration menu
    Copy the full SHA
    925b610 View commit details
    Browse the repository at this point in the history