AlgebraicJulia / AlgebraicJulia/AlgebraicDynamics.jl
CTLNs: Recursive Match Implementation of Cover Exploitation
- Vorherrschende Sprache
- Jupyter Notebook
- Sterne
- 80
- Forks
- 14
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
We need a recursive `@match` algorithm that evaluates the sheaf algorithm on the tree that is the gluing rule.
```julia
FP(gr::GluingRule) = @match gr
CompleteGraph(n) => [1:n]
DiscreteGraph(n) => powerset(1:n)
CycleGraph(n) => [1:n]
Terminal(g) => brute_force(g)
CliqueUnion(gs) => [...]
DisjointUnion(gs) => [...]
CycleUnion(gs) => [...]
end
```
All of the [...] cases involve recursing with FP and merging the results.
_Originally posted by @jpfairbanks in https://github.com/AlgebraicJulia/AlgebraicDynamics.jl/pull/147#discussion_r2379674431_
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Bewertung
Dieses Issue wurde noch nicht bewertet.