• IsComparable : monom< C, E >
• operator!= : dynamic_exp< E > , monom< C, E >
• operator<< : eenv
• operator== : dynamic_exp< E > , monom< C, E >