search

x3042 / ExactODEReduction.jl

Exact reduction of ODE models via linear transformations
MIT License
13 stars 3 forks source link

Correctness tests #7

Closed pogudingleb closed 1 year ago

pogudingleb commented 3 years ago

Write tests that check that the resulted lumping is a lumping by substitution, similarly to _check_lumping in CLUE

sumiya11 commented 2 years ago

added system consistency check, still need to write tests

sumiya11 commented 1 year ago

done