|
concept | AlgebraicKernel_d_1::ApproximateAbsolute_1 |
| A model of AlgebraicKernel_d_1::ApproximateAbsolute_1 is an AdaptableBinaryFunction that computes an approximation of an AlgebraicKernel_d_1::Algebraic_real_1 value with respect to a given absolute precision. More...
|
|
concept | AlgebraicKernel_d_1::ApproximateRelative_1 |
| A model of AlgebraicKernel_d_1::ApproximateRelative_1 is an AdaptableBinaryFunction that computes an approximation of an AlgebraicKernel_d_1::Algebraic_real_1 value with respect to a given relative precision. More...
|
|
concept | AlgebraicKernel_d_1::BoundBetween_1 |
| Computes a number of type AlgebraicKernel_d_1::Bound in-between two AlgebraicKernel_d_1::Algebraic_real_1 values. More...
|
|
concept | AlgebraicKernel_d_1::Compare_1 |
| Compares AlgebraicKernel_d_1::Algebraic_real_1 values. More...
|
|
concept | AlgebraicKernel_d_1::ComputePolynomial_1 |
| Computes a square free univariate polynomial p, such that the given AlgebraicKernel_d_1::Algebraic_real_1 is a root of p. More...
|
|
concept | AlgebraicKernel_d_1::ConstructAlgebraicReal_1 |
| Constructs AlgebraicKernel_d_1::Algebraic_real_1 . More...
|
|
concept | AlgebraicKernel_d_1::IsCoprime_1 |
| Determines whether a given pair of univariate polynomials p1,p2 is coprime, namely if deg(gcd(p1,p2))=0. More...
|
|
concept | AlgebraicKernel_d_1::Isolate_1 |
| Computes an open isolating interval for an AlgebraicKernel_d_1::Algebraic_real_1 with respect to the real roots of a given univariate polynomial. More...
|
|
concept | AlgebraicKernel_d_1::IsSquareFree_1 |
| Computes whether the given univariate polynomial is square free. More...
|
|
concept | AlgebraicKernel_d_1::IsZeroAt_1 |
| Computes whether an AlgebraicKernel_d_1::Polynomial_1 is zero at a given AlgebraicKernel_d_1::Algebraic_real_1 . More...
|
|
concept | AlgebraicKernel_d_1::MakeCoprime_1 |
| Computes for a given pair of univariate polynomials p1, p2 their common part g up to a constant factor and coprime parts q1, q2 respectively. More...
|
|
concept | AlgebraicKernel_d_1::MakeSquareFree_1 |
| Returns a square free part of a univariate polynomial. More...
|
|
concept | AlgebraicKernel_d_1::NumberOfSolutions_1 |
| Computes the number of real solutions of the given univariate polynomial. More...
|
|
concept | AlgebraicKernel_d_1::SignAt_1 |
| Computes the sign of a univariate polynomial AlgebraicKernel_d_1::Polynomial_1 at a real value of type AlgebraicKernel_d_1::Algebraic_real_1 . More...
|
|
concept | AlgebraicKernel_d_1::Solve_1 |
| Computes the real roots of a univariate polynomial. More...
|
|
concept | AlgebraicKernel_d_1::SquareFreeFactorize_1 |
| Computes a square free factorization of an AlgebraicKernel_d_1::Polynomial_1 . More...
|
|
concept | AlgebraicKernel_d_1 |
| A model of the AlgebraicKernel_d_1 concept is meant to provide the algebraic functionalities on univariate polynomials of general degree d. More...
|
|