AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
23 stars 2 forks source link

Augmented Theories + Symbolics integration #75

Closed olynch closed 1 year ago

olynch commented 1 year ago

These should be separate PRs, but they got mixed and I'm too lazy to separate them out again.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 29.03% and project coverage change: -3.17 :warning:

Comparison is base (d349ed8) 79.62% compared to head (44301ed) 76.46%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #75 +/- ## ========================================== - Coverage 79.62% 76.46% -3.17% ========================================== Files 35 38 +3 Lines 1114 1164 +50 ========================================== + Hits 887 890 +3 - Misses 227 274 +47 ``` | [Impacted Files](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [ext/GatlabSciMLExt/GatlabSciMLExt.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-ZXh0L0dhdGxhYlNjaU1MRXh0L0dhdGxhYlNjaU1MRXh0Lmps) | `0.00% <0.00%> (ø)` | | | [src/models/AugmentedTheories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9BdWdtZW50ZWRUaGVvcmllcy5qbA==) | `0.00% <0.00%> (ø)` | | | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/stdlib/models/NumberModels.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvTnVtYmVyTW9kZWxzLmps) | `0.00% <0.00%> (ø)` | | | [src/stdlib/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/syntax/AugmentedSyntax.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9BdWdtZW50ZWRTeW50YXguamw=) | `0.00% <0.00%> (ø)` | | | [src/syntax/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/syntax/Theories.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcmllcy5qbA==) | `83.58% <25.00%> (+3.87%)` | :arrow_up: | | [src/dsl/TheoryMacros.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9UaGVvcnlNYWNyb3Muamw=) | `89.18% <42.30%> (-10.06%)` | :arrow_down: | | [src/dsl/Parsing.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/75?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9QYXJzaW5nLmps) | `85.71% <88.23%> (-0.96%)` | :arrow_down: |

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.