16 #ifndef polybori_routines_pbori_routines_dd_h_
17 #define polybori_routines_pbori_routines_dd_h_
31 template<
class DDType,
class OutputType>
36 typedef typename DDType::size_type size_type;
37 typedef OutputType term_type;
39 term_type result(dd.ring());
43 size_type nlen = std::distance(dd.lastBegin(), dd.lastEnd());
46 std::vector<idx_type> indices(nlen);