Polynomial moment functional
= Polynomial moment functional
A polynomial moment functional evaluates a polynomial through a weighted integral, such as $p\mapsto\int p(t)w(t)dt$; finitely many moments determine it on a bounded-degree polynomial space.