search

AlgebraicJulia / StructuredDecompositions.jl

Structured decompositions!
https://algebraicjulia.github.io/StructuredDecompositions.jl
MIT License
8 stars 1 forks source link

`JunctionTrees` and `NestedUWDs` #5

Closed samuelsonric closed 8 months ago

samuelsonric commented 8 months ago

This pull request updates the package so that it uses Catlab 0.16, rather than Catlab 0.14 It also adds two new submodules: JunctionTrees and NestedUWDs.

The submodule JunctionTrees provides functions for building tree decompositions of undirected graphs. The submodule NestedUWDs provides functions for "clustering" undirected wiring diagrams, so that their operad algebras are easier to compute.

To see the code in action, refer to this README.

benjaminmerlinbumpus commented 8 months ago

Nothing jumps out at me to block this.

@benjaminmerlinbumpus, what do you think?

Looks good to me. Eventually integration into the existing structured decompositions type would be a good goal.