![]() |
| typedef AlgebraicKernel_d_2::Polynomial_1 | ||
| result_type; | ||
| typedef AlgebraicKernel_d_2::Algebraic_real_2 | ||
| argument_type; | ||
| result_type | fo ( argument_type a ) | Computes a univariate square free polynomial p, such that the second coordinate of a is a real root of p. |