weightset_mixin< rat::expressionset_impl< Context > > expressionset
auto tuple(const Auts &... as)
Build the (accessible part of the) tuple.
weightset_mixin< detail::polynomialset_impl< Context, Kind > > polynomialset
weightset_mixin< detail::tupleset_impl< LabelSets... > > tupleset
rat::expansionset< ExpSet > expansionset