68 template<
class DDType,
class OutputType>
73 typedef typename DDType::size_type size_type;
74 typedef OutputType term_type;
76 term_type result(dd.ring());
78 assert(!dd.emptiness());
80 size_type nlen = std::distance(dd.lastBegin(), dd.lastEnd());
83 std::vector<idx_type> indices(nlen);