[GiNaC-list] GiNaC as a polynomials manipulator?

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