These are chat archives for symengine/symengine
Polynomial<Rational, Rational>as (coeff, exponents). This can be done using the
PolyRingstructure followed in Sympy. That is, every instance of
PolyRingwith specified domain and symbols. We could also do away with the
PolyRinglayer and store that info directly in Polynomial , like here
domains of characteristic zero?