Split out reduced variable to compute unique expansions.
Added cleaning to remove uneeded higher terms from the decomposition.
Return zero if the decomposition polynomial is not well-defined.
Fixed coeffieicients in elementary inear extension