[GiNaC-list] GiNaC as a polynomials manipulator?

[Francesco Biscani]

Hello,

I'd like to know if GiNaC can be used as a polynomials manipulator for 
celestial mechanics. It's needed to multiplicate and add polynomials by 
polynomials. An important requisite is to be able to extract the degree of 
the monomials in order to decide whether that particular monomial should be 
eliminated from the polynomial or not. Example:

x^2*y+x^2*y^2+x^3*z

If the truncation threshold is set to order 4 this polynomial gets truncated 
to

x^2*y

I imagine that a function to place polynomials in some kind of "canonical" 
form is needed, and then it is needed to inspect each monomial to see if it 
will be kept or not.

Is this possible with GiNaC?

Thanks and best regards,

  Francesco