These are chat archives for symengine/symengine
Hello symengine developers.
I am interested in a library for symbolic math for a C++ project. It is a compiler for a DSL, which would benefit from the ability to analyze, simplify etc. equations in the DSL.
For example we might want to look at the RHS of an ODE like
dm/dt = alpha*m + beta
and see that it is linear, and use a rule to find an exact solution to the ODE.
Is symengine useful for such an application? And do you have any documentation about how to use it?
-fsanitizeflag, compile and run the tests as usual. Most of the time the performance penalty will be rather modest, the tests should still run even on travis
ubsanitizers and they did a rather good job. I got sometimes errors/warnings related to boost which could be considered as false positives, but overall they were working fine
memorysanitizer that can detect memory leaks (I think), but it's not generally very usable as it requires the full dependency chain to be compiled with it activated
libasanfor the address sanitizer)