/** Check whether the dimension is symbolic. */
bool is_dim_symbolic(void) const {return !is_ex_exactly_of_type(dim, numeric);}
/** Check whether the dimension is symbolic. */
bool is_dim_symbolic(void) const {return !is_ex_exactly_of_type(dim, numeric);}