\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.8 - Polynomial

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
Class and Concept List
Here is the list of all concepts and classes of this package. Classes are inside the namespace CGAL. Concepts are in the global namespace.
[detail level 1 2]

CGAL |
Exponent_vector | For a given (multivariate) monomial the vector of its exponents is called the exponent vector
Polynomial | An instance of the data type `Polynomial` represents a polynomial \( p = a_0 + a_1*x + ...a_i*x^i\) from the ring \( \mathrm{Coeff}[x]\)
Polynomial_traits_d | A model of concept `PolynomialTraits_d`
Polynomial_type_generator | This class template provides a convenient way to obtain the type representing a multivariate polynomial with `d` variables, where `T` is the innermost coefficient type
Polynomial_d | A model of `Polynomial_d` is representing a multivariate polynomial in \( d \geq 1\) variables over some basic ring \( R\). This type is denoted as the innermost coefficient. A model of `Polynomial_d` must be accompanied by a traits class `CGAL::Polynomial_traits_d<Polynomial_d>`, which is a model of `PolynomialTraits_d`. Please have a look at the concept `PolynomialTraits_d`, since nearly all functionality related to polynomials is provided by the traits
PolynomialTraits_d | A model of `PolynomialTraits_d` is associated with a type `Polynomial_d`. The type `Polynomial_d` represents a multivariate polynomial. The number of variables is denoted as the dimension \( d\) of the polynomial, it is arbitrary but fixed for a certain model of this concept. Note that univariate polynomials are not excluded by this concept. In this case \( d\) is just set to one
Canonicalize | For a given polynomial \( p\) this `AdaptableUnaryFunction` computes the unique representative of the set \[ {\cal P} := \{ q\ |\ \lambda * q = p\ for\ some\ \lambda \in R \}, \] where \( R\) is the base of the polynomial ring
Compare | This `AdaptableBinaryFunction` compares two polynomials, with respect to the lexicographic order with preference to the outermost variable
ConstructCoefficientConstIteratorRange | This `AdaptableUnaryFunction` returns a const iterator range over the coefficients of the given polynomial, with respect to the outermost variable, \( x_{d-1}\). The range starts with the coefficient for \( x_{d-1}^0\)
ConstructInnermostCoefficientConstIteratorRange | This `AdaptableUnaryFunction` returns a const iterator range over all innermost coefficients of the given polynomial
ConstructPolynomial | This `AdaptableFunctor` provides several operators to construct objects of type `PolynomialTraits_d::Polynomial_d`
Degree | This `AdaptableUnaryFunction` computes the degree of a `PolynomialTraits_d::Polynomial_d` with respect to a certain variable
DegreeVector | For a given `PolynomialTraits_d::Polynomial_d` \( p\) this `AdaptableUnaryFunction` returns the degree vector, that is, it returns the exponent vector of the monomial of highest order in \( p\), where the monomial order is the lexicographic order giving outer variables a higher priority. In particular, this is the monomial that belongs to the innermost leading coefficient of \( p\)
Differentiate | This `AdaptableUnaryFunction` computes the derivative of a `PolynomialTraits_d::Polynomial_d` with respect to one variable
Evaluate | This `AdaptableBinaryFunction` evaluates `PolynomialTraits_d::Polynomial_d` with respect to one variable
EvaluateHomogeneous | This `AdaptableFunctor` provides evaluation of a `PolynomialTraits_d::Polynomial_d` interpreted as a homogeneous polynomial in one variable
GcdUpToConstantFactor | This `AdaptableBinaryFunction` computes the \( gcd\) up to a constant factor (utcf) of two polynomials of type `PolynomialTraits_d::Polynomial_d`
GetCoefficient | This `AdaptableBinaryFunction` provides access to coefficients of a `PolynomialTraits_d::Polynomial_d`
GetInnermostCoefficient | For the given `PolynomialTraits_d::Polynomial_d` this `AdaptableBinaryFunction` returns the coefficient of the (multivariate) monomial specified by the given `CGAL::Exponent_vector`
InnermostLeadingCoefficient | This `AdaptableUnaryFunction` computes the innermost leading coefficient of a `PolynomialTraits_d::Polynomial_d` \( p\). The innermost leading coefficient is recursively defined as the innermost leading coefficient of the leading coefficient of \( p\). In case \( p\) is univariate it coincides with the leading coefficient
IntegralDivisionUpToConstantFactor | This `AdaptableBinaryFunction` computes the integral division of two polynomials of type `PolynomialTraits_d::Polynomial_d` up to a constant factor (utcf)
Invert | This `AdaptableUnaryFunction` inverts one variable in a given `PolynomialTraits_d::Polynomial_d`, that is, for a given polynomial \( p\) it computes \( x^{degree(p)}p(1/x)\)
IsSquareFree | This `AdaptableUnaryFunction` computes whether the given a polynomial of type `PolynomialTraits_d::Polynomial_d` is square free
IsZeroAt | This `AdaptableFunctor` returns whether a `PolynomialTraits_d::Polynomial_d` \( p\) is zero at a given Cartesian point, which is represented as an iterator range
IsZeroAtHomogeneous | This `AdaptableFunctor` returns whether a `PolynomialTraits_d::Polynomial_d` \( p\) is zero at a given homogeneous point, which is given by an iterator range
LeadingCoefficient | This `AdaptableUnaryFunction` computes the leading coefficient of a `PolynomialTraits_d::Polynomial_d`
MakeSquareFree | This `AdaptableUnaryFunction` computes the square-free part of a polynomial of type `PolynomialTraits_d::Polynomial_d` up to a constant factor
MonomialRepresentation | This `Functor` outputs the monomial representation of the given polynomial, that is, it writes all non zero terms of the polynomial as `std::pair<CGAL::Exponent_vector, PolynomialTraits_d::Innermost_coefficient_type>` into the given output iterator
Move | This `AdaptableFunctor` moves a variable at position \( i\) to a new position \( j\). The relative order of the other variables is preserved, that is, the variables between \( x_i\) and \( x_j\) (including \( x_j\)) are moved by one position while \( x_i\) is moved to the former position of \( x_j\)
MultivariateContent | This `AdaptableUnaryFunction` computes the content of a `PolynomialTraits_d::Polynomial_d` with respect to the symmetric view on the polynomial, that is, it computes the gcd of all innermost coefficients
Negate | This `AdaptableUnaryFunction` computes \( p(-x)\) for a given polynomial \( p\)
Permute | This `AdaptableFunctor` permutes the variables of the given polynomial with respect to a permutation \( \sigma\), that is, each monomial \( \prod x_i^{e_i}\) will be mapped to the monomial \( \prod x_{\sigma(i)}^{e_i}\). The permutation \( \sigma\) is given by the iterator range of length `PolynomialTraits_d::d`, which is supposed to contain the second row of the permutation
PolynomialSubresultants | Note: This functor is optional!
PolynomialSubresultantsWithCofactors | Note: This functor is optional!
PrincipalSturmHabichtSequence | Note: This functor is optional!
PrincipalSubresultants | Note: This functor is optional!
PseudoDivision | This `AdaptableFunctor` computes the pseudo division of two polynomials \( f\) and \( g\)
PseudoDivisionQuotient | This `AdaptableBinaryFunction` computes the quotient of the pseudo division of two polynomials \( f\) and \( g\)
PseudoDivisionRemainder | This `AdaptableBinaryFunction` computes the remainder of the pseudo division of two polynomials \( f\) and \( g\)
Resultant | This `AdaptableBinaryFunction` computes the resultant of two polynomials \( f\) and \( g\) of type `PolynomialTraits_d::Polynomial_d` with respect to a certain variable
Scale | Given a constant \( c\) this `AdaptableBinaryFunction` scales a `PolynomialTraits_d::Polynomial_d` \( p\) with respect to one variable, that is, it computes \( p(c\cdot x)\)
ScaleHomogeneous | Given a numerator \( a\) and a denominator \( b\) this `AdaptableFunctor` scales a `PolynomialTraits_d::Polynomial_d` \( p\) with respect to one variable, that is, it computes \( b^{degree(p)}\cdot p(a/b\cdot x)\)
Shift | This `AdaptableBinaryFunction` multiplies a `PolynomialTraits_d::Polynomial_d` by the given power of the specified variable
SignAt | This `AdaptableFunctor` returns the sign of a `PolynomialTraits_d::Polynomial_d` \( p\) at given Cartesian point represented as an iterator range
SignAtHomogeneous | This `AdaptableFunctor` returns the sign of a `PolynomialTraits_d::Polynomial_d` \( p\) at a given homogeneous point, which is given by an iterator range
SquareFreeFactorize | This `Functor` computes a square-free factorization of a `PolynomialTraits_d::Polynomial_d`
SquareFreeFactorizeUpToConstantFactor | This `AdaptableFunctor` computes a square-free factorization up to a constant factor (utcf) of a `PolynomialTraits_d::Polynomial_d`
SturmHabichtSequence | Note: This functor is optional!
SturmHabichtSequenceWithCofactors | Note: This functor is optional!
Substitute | This `Functor` substitutes all variables of a given multivariate `PolynomialTraits_d::Polynomial_d` by the values given in the iterator range, where begin refers the value for the innermost variable
SubstituteHomogeneous | This `Functor` substitutes all variables of a given multivariate `PolynomialTraits_d::Polynomial_d` \( p\) by the values given in the iterator range, where begin refers the value for the innermost variable. In contrast to `PolynomialTraits_d::Substitute` the given polynomial \( p\) is interpreted as a homogeneous polynomial. Hence the iterator range is required to be of length `PolynomialTraits_d::d+1`
Swap | This `AdaptableFunctor` swaps two variables of a multivariate polynomial
TotalDegree | This `AdaptableUnaryFunction` computes the total degree of a `PolynomialTraits_d::Polynomial_d`
Translate | This `AdaptableBinaryFunction` translates a `PolynomialTraits_d::Polynomial_d` with respect to one variable, that is, for a given polynomial \( p\) and constant \( c\) it computes \( p(x+c)\)
TranslateHomogeneous | Given numerator \( a\) and denominator \( b\) this `AdaptableFunctor` translates a `PolynomialTraits_d::Polynomial_d` \( p\) with respect to one variable by \( a/b\), that is, it computes \( b^{degree(p)}\cdot p(x+a/b)\)
UnivariateContent | This `AdaptableUnaryFunction` computes the content of a `PolynomialTraits_d::Polynomial_d` with respect to the univariate (recursive) view on the polynomial, that is, it computes the gcd of all coefficients with respect to one variable
UnivariateContentUpToConstantFactor | This `AdaptableUnaryFunction` computes the content of a `PolynomialTraits_d::Polynomial_d` with respect to the univariate (recursive) view on the polynomial up to a constant factor (utcf), that is, it computes the \( \mathrm{gcd\_utcf}\) of all coefficients with respect to one variable