AlgebraicJulia / AlgebraicJulia/AlgebraicRewriting.jl
Inplace DPO rewrite method that returns maps
- Lenguaje dominante
- Julia
- Estrellas
- 41
- Forks
- 9
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
In the Inplace module https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/Inplace.jl it would be nice to have something like `rewrite_match_maps!` which does the rewrite inplace but returns the maps like `rewrite_match_maps` does (https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/blob/main/src/rewrite/DPO.jl).
This is helpful for using inplace rewriting with the incremental homset updating, for example. I'd be happy to look into how to make this contribution, but I don't understand what is going on in the Incremental module; with some rough guidance I could get started.
Guía de contribución
No hay ninguna guía de contribución indexada para este repositorio
Evaluación
Este issue todavía no se ha evaluado.