CGAL 4.7 - Polynomial: PolynomialTraits_d::Negate Concept Reference

\( \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.7 - Polynomial

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
PolynomialTraits_d::Negate Concept Reference
Concepts

## 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

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\).