search

AlgebraicJulia / DiagrammaticEquations.jl

MIT License
9 stars 1 forks source link

Work on summation inference #49

Closed GeorgeR227 closed 3 months ago

GeorgeR227 commented 3 months ago

Cleans up the summation inference code. This will now only propagate form types and do basic type checking.

codecov[bot] commented 3 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 84.68%. Comparing base (41df8de) to head (ecfe809).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #49 +/- ## ========================================== + Coverage 84.62% 84.68% +0.06% ========================================== Files 12 12 Lines 761 764 +3 ========================================== + Hits 644 647 +3 Misses 117 117 ```

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

lukem12345 commented 3 months ago

We can clean up the setting of the applied variable by using helper functions for Op1 and Op2 inference like we do for Summations, but it's ok for now.