add: univariate dense algebraic extensions