I think you will like Ratio, because it does much of this.
As for using symbolic math: The reason it is not used frequently in practice is that it is multiple orders of magnitude slower than using floating-point operations (which modern CPUs are very much optimized for), and for most computational problems, working with (matrices of) floats is ‘good enough
’.
Still, symbolic(/arbitrary precision) math certainly has its use cases. I did start writing something akin to a symbolic math engine in Elixir a while back (abusing the power of macros to read Elixir’s AST as symbolic formulas). But my mathematical skills are not something to write home about
, so it is very much incomplete and probably bug-ridden.






















