Refactor LaTeX methods in catlog-wasm and catlog - #1319
Merged
tim-at-topos merged 56 commits intoJul 31, 2026
Merged
Conversation
WIP: Rethinking traits WIP: Some tests only half failing WIP: Tests passing; time to tidy ENH: Build derived model of th_signed_polynomial_ode_system in mass_action ENH: Mass-action for stock-flow; DEL: Mass-action for signed stock-flow ENH: struct for transition / flow interfaces WIP: Starting on Lotka-Volterra WIP: Failing tests FIX: Lotka-Volterra tests passing FIX: Working analysis (frontend) ENH: Lotka-Volterra equations ENH: Linear ODE refactor ENH: Linear ODE equations WIP: Starting on ODESemantics WIP: lotka_volterra_semantics() WIP: build_system_from_ode_semantics WIP: DblModelForODESemantics WIP: ODESemanticsAnalysis and ODESemanticsProblemData WIP: ODESemantics trait WIP: Documentation WIP: ODESemantics for mass-action WIP: Cleaning up types, but mass-action still frustrating WIP: Big reshuffle (moving functions out from a struct) WIP: Fixing mass-action again WIP: terrible code WIP: Changed from ObGen to Ob WIP: Stock-flow mass-action FIX: Passing catlog tests Rename LinearODE -> LCC FIX: Documentation TODO: Redesign
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
June 16, 2026 11:47
e71f793 to
7a8e39c
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
June 17, 2026 18:48
343e557 to
46de547
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
June 18, 2026 17:23
3da1897 to
b8071ee
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
June 19, 2026 17:42
d121fcf to
247bfa3
Compare
tim-at-topos
added
frontend
…n_config_form.tsx
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
June 26, 2026 12:01
e83e6c9 to
29a8b4e
Compare
This was
linked to
issues
Jun 26, 2026
tim-at-topos
marked this pull request as ready for review
June 26, 2026 18:00
tim-at-topos
force-pushed
the
tim/mass-action-polynomial-ode-system
branch
from
July 14, 2026 16:28
72d8f14 to
754acc8
Compare
Contributor
Author
tim-at-topos
force-pushed
the
tim/mass-action-polynomial-ode-system
branch
from
July 31, 2026 17:44
754acc8 to
ae999ae
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
2 times, most recently
from
July 31, 2026 18:17
4a97196 to
cb5b879
Compare
tim-at-topos
force-pushed
the
tim/mass-action-polynomial-ode-system
branch
from
July 31, 2026 18:17
ae999ae to
3becbcc
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
July 31, 2026 18:17
cb5b879 to
84a85f1
Compare
tim-at-topos
force-pushed
the
tim/mass-action-polynomial-ode-system
branch
from
July 31, 2026 18:28
3becbcc to
ae999ae
Compare
tim-at-topos
force-pushed
the
tim/refactor-wasm-analyses
branch
from
July 31, 2026 18:33
84a85f1 to
65d9ac5
Compare
tim-at-topos
force-pushed
the
tim/mass-action-polynomial-ode-system
branch
2 times, most recently
from
July 31, 2026 18:35
94b62a4 to
754acc8
Compare
tim-at-topos
merged commit Jul 31, 2026
adefd4b
into
tim/mass-action-polynomial-ode-system
12 of 18 checks passed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Stacked on #1251
Now that more ODE analyses have LaTeX equations, we should be stricter about the use of
fmt::Displayonly for debugging.This PR introduces some new types and traits (
Latex,ToLatex,ToLatexWithMap) for dealing with LaTeX expressions and rendering object/morphism names nicely in the frontend. It also includes a bunch of tests for ODE semantics in the wasm layer. Finally, as a bonus, it removes a lot of repetitive code fromcatlog-wasm::src::analysesby definingode_semantics_simulationandode_semantics_equations, enabled by #1251, as well as removing some unnecessary types introduced there (such asLotkaVolterraEquationsData, which is justnull).Again, this refactor adds a lot of lines, but that's almost entirely due to how many nice new tests it adds 👼
As a bonus, this PR fixes the following issues:
fmt::Displayfor LaTeX output #1171Although further refactoring is possible (e.g.
lotka_volterra.tsxandlinear_ode.tsxshare a lot of code), I think that the "correct" solution to this would be to start looking at generating that code from the definitions of the analyses rather than manually refactoring it. But this is now a much larger, rather separate project, so I think it's a bit out of scope.With that in mind, I would suggest that this PR finally completes the last item in #1177 , and thus closes the RFC-0001 parent issue #1098.