\( \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.12.1 - Polynomial
Refinement Relationships
Concept Polynomial_d
IntegralDomainWithoutDivision
Concept PolynomialTraits_d
AlgebraicStructureTraits
Concept PolynomialTraits_d::Canonicalize

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Compare

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::ConstructCoefficientConstIteratorRange

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::ConstructInnermostCoefficientConstIteratorRange

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::ConstructPolynomial

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Degree

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::DegreeVector

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Differentiate

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Evaluate

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::EvaluateHomogeneous

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::GcdUpToConstantFactor

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::GetCoefficient

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::GetInnermostCoefficient

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::InnermostLeadingCoefficient

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::IntegralDivisionUpToConstantFactor

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Invert

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::IsSquareFree

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::IsZeroAt

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::IsZeroAtHomogeneous

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::LeadingCoefficient

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::MakeSquareFree

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::MonomialRepresentation

Assignable

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Move

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::MultivariateContent

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Negate

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Permute

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PolynomialSubresultants

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PolynomialSubresultantsWithCofactors

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PrincipalSturmHabichtSequence

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PrincipalSubresultants

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PseudoDivision

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PseudoDivisionQuotient

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::PseudoDivisionRemainder

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Resultant

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Scale

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::ScaleHomogeneous

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Shift

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SignAt

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SignAtHomogeneous

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SquareFreeFactorize

Assignable

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SquareFreeFactorizeUpToConstantFactor

Assignable

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SturmHabichtSequence

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SturmHabichtSequenceWithCofactors

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Substitute

Assignable

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::SubstituteHomogeneous

Assignable

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Swap

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::TotalDegree

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::Translate

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::TranslateHomogeneous

AdaptableFunctor

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::UnivariateContent

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible

Concept PolynomialTraits_d::UnivariateContentUpToConstantFactor

AdaptableUnaryFunction

CopyConstructible

DefaultConstructible