AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
Replace `var_pullback` with `CSetTransformation` limit
Aperta
- Lingua principale
- Julia
- Stelle
- 41
- Fork
- 9
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
Catlab v0.15.6 will include support for CSetTransformations which allow for limits with ACSets by putting variables in the apex (https://github.com/AlgebraicJulia/Catlab.jl/pull/806). This will allow us to delete `deattr` and `var_pullback` which were makeshift functions to achieve this same end.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.