template<class C> struct ring<C, Bernstein>;
The polynomials are represented by a tensor of coefficients in the Bernstein basis.