These are chat archives for symengine/symengine
Series, that handles the series including printing the
Serieswill subclass from Basic. As to Series + Add let's say, the result should be handled and result in a Series I guess. The other option is to not make Series subclass Basic. I don't know.
xwhich is a Symbol and
xwhich is a polynomial will not be equal. Making them equal will be lots of hard work as we have no way yet for equality of different types
x==(x+1)**2-x**2-x-1) and equality of objects (
x is y).
x+y+z+1is a polynomial, but then you square it using
Pow. Otherwise they don't have to be and just need methods to convert to and from Basic.