real,
rational,
integer,
+ crational,
+ cinteger,
positive,
negative,
nonnegative,
// answered by classes numeric, symbol, add, mul, power
polynomial,
integer_polynomial,
+ cinteger_polynomial,
rational_polynomial,
+ crational_polynomial,
rational_function,
// answered by class ex