\( \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 5.0.2 - Polynomial
PolynomialTraits_d::Negate Concept Reference

Definition

This AdaptableUnaryFunction computes \( p(-x)\) for a given polynomial \( p\).

Note that this functor operates on the polynomial in the univariate view, that is, the polynomial is considered as a univariate polynomial in one specific variable.

This functor is provided for efficiency reasons, since this operation just flips the sign of all odd coefficients with respect to the specified variable.

Refines:

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

See also
Polynomial_d
PolynomialTraits_d

Types

typedef PolynomialTraits_d::Polynomial_d result_type
 
typedef PolynomialTraits_d::Polynomial_d argument_type
 

Operations

result_type operator() (argument_type p)
 Returns \( p(-x)\), with respect to the outermost variable.
 
result_type operator() (argument_type p, int i)
 Returns \( p(-x)\), with respect to variable \( x_i\). More...
 

Member Function Documentation

◆ operator()()

result_type PolynomialTraits_d::Negate::operator() ( argument_type  p,
int  i 
)

Returns \( p(-x)\), with respect to variable \( x_i\).

Precondition
\( 0 \leq i < d\).