search

AlgebraicJulia / DiagrammaticEquations.jl

MIT License
12 stars 1 forks source link

Default Composition #36

Closed lukem12345 closed 4 months ago

lukem12345 commented 1 year ago

Currently, composing Decapodes requires a user to both construct a UWD and specify internal variables when oapplying.

However, some users already have a composition in-mind when constructing components, and already "globally namespace" their variables.

So, we should offer a helper method that constructs a default UWD that assumes that variables with the same name are to be composed, and oapplies this UWD.

jpfairbanks commented 1 year ago

A lemma for this might be the ability to "add connection" where you take two variables and add a junction coupled to both of them.