The operands here can be combinations of TermList with Polynomial and Field_element . (E.g. TermList + Polynomial will add the polynomial to the termlist. It will treat the polynomial as essential a TermNode with degree 0, and coefficient the given polynomial.)