Sergey B Kirpichev

Maybe not internally. But it seems, the Mathematica uses algebraic functions to represent solutions of inequalities: ``` In[1]:= Reduce[{x + y^3 = 0 && y

Wasn't "Root[-1 + 2 x^2 + 5 #1^5 &, 1]" - an algebraic function?

According to the docs - it's 1-th root of the equation `1 + 2 x^2 + 5 #1^5==0` wrt variable `#1`.

> I wonder how the roots are ordered. Good question. I still didn't get this from the documentation, but I suspect it's something like the Maple's [RootOf/indexed](https://www.maplesoft.com/support/help/Maple/view.aspx?path=RootOf%2findexed): ``` The equation...

Not sure if this feasible due to https://github.com/sphinx-doc/sphinx/issues/6590

See also sympy/sympy#20857. Simplest implementation of this idea, perhaps, may utilize the dict or Counter, just like PolyElement. I.e. for `ZZ[x, y, z]` the monomial for generator `y` will be...

Maybe [this](https://groups.google.com/forum/#!searchin/sympy/sympycore|sort:date/sympy/_AqprOypDH4/i0GWnFMh_fIJ) was numpy problem referenced.

Consider also making ``self.func == type(self)``, see #687.

https://www.encyclopediaofmath.org/ ? down?

http://www.scholarpedia.org Unfortunately, by-nc-sa.