News for hackers. Stuff that matters.

A comment on Recognizing when two arithmetic expressions are essentially the same. Parent comment

Re:Recognizing when two arithmetic expressions are essential... by cousin_it on Tuesday August 22, 2017 @07:31PM (#15077214)
Nice! Maybe rational functions rather than polynomials though, because division is allowed. Anyway, equality of rational functions is reducible to equality of polynomials.
[ Parent | on HN ]
Re:Recognizing when two arithmetic expressions are essential... by kwillets on Tuesday August 22, 2017 @07:36PM (#15077238)
True, I ignored division.

I believe this is used in symbolic solvers to prove identities; that's the context where I learned it.

[ Parent | on HN ]