+/** Implementation of ex::to_rational() for expairseqs.
+ * @see ex::to_rational */
+ex expairseq::to_rational(lst &repl_lst) const
+{
+ epvector s;
+ s.reserve(seq.size());
+ for (epvector::const_iterator it=seq.begin(); it!=seq.end(); ++it) {
+ s.push_back(combine_ex_with_coeff_to_pair((*it).rest.to_rational(repl_lst),
+ (*it).coeff));
+ }
+ return thisexpairseq(s, overall_coeff);
+}
+
+