search

AlgebraicJulia / DiagrammaticEquations.jl

MIT License
12 stars 1 forks source link

Rewriting using Sort #72

Closed GeorgeR227 closed 2 months ago

GeorgeR227 commented 2 months ago

This PR is meant to showcase how do our Decapode typing and rewriting using the Sort type introduced in PR #64.

This system would use metadata to transfer data from the ACSet to the symbolic variables and rely on predicates to do conditional rewriting (e.g. laplacian for 0-forms vs. 2-forms).

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 0% with 14 lines in your changes missing coverage. Please review.

Please upload report for BASE (symbolicutilsinterop@d8be4ae). Learn more about missing BASE report.

Files with missing lines Patch % Lines
src/sym_rewrite.jl 0.00% 14 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## symbolicutilsinterop #72 +/- ## ======================================================= Coverage ? 69.53% ======================================================= Files ? 16 Lines ? 1129 Branches ? 0 ======================================================= Hits ? 785 Misses ? 344 Partials ? 0 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.