This PR makes a lot of search-and-replace code changes, so it will cause merge conflicts. Let's merge it soon.
It changes Coeff from a type to an associated type of the PolyConf trait. As part of that change, the static zero constant becomes a trait function that returns a reference to that constant. YASHE also needs some specific conversions, they are added as trait bounds.
This PR makes a lot of search-and-replace code changes, so it will cause merge conflicts. Let's merge it soon.
It changes
Coeff
from a type to an associated type of thePolyConf
trait. As part of that change, the static zero constant becomes a trait function that returns a reference to that constant. YASHE also needs some specific conversions, they are added as trait bounds.