PolynomialTraits_d::IntegralDivisionUpToConstantFactor Concept Reference Definition This AdaptableBinaryFunction computes the integral division of two polynomials of type PolynomialTraits_d::Polynomial_d up to a constant factor (utcf) . Precondition\( g\) divides \( f\) in \( Q(R)[x_0,\dots,x_{d-1}]\), where \( Q(R)\) is the quotient field of the base ring \( R\), PolynomialTraits_d::Innermost_coefficient_type. Refines AdaptableBinaryFunction CopyConstructible DefaultConstructible See alsoPolynomial_d PolynomialTraits_d PolynomialTraits_d::GcdUpToConstantFactor Types typedef PolynomialTraits_d::Polynomial_d result_type typedef PolynomialTraits_d::Polynomial_d first_argument_type typedef PolynomialTraits_d::Polynomial_d second_argument_type Operations result_type operator() (first_argument_type f, second_argument_type g) Computes \( f/g\) up to a constant factor. PolynomialTraits_dIntegralDivisionUpToConstantFactor Generated by 1.17.0

Definition

This AdaptableBinaryFunction computes the integral division of two polynomials of type PolynomialTraits_d::Polynomial_d up to a constant factor (utcf) .

Precondition

\( g\) divides \( f\) in \( Q(R)[x_0,\dots,x_{d-1}]\), where \( Q(R)\) is the quotient field of the base ring \( R\), PolynomialTraits_d::Innermost_coefficient_type.

Refines

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

See also

Polynomial_d

PolynomialTraits_d

PolynomialTraits_d::GcdUpToConstantFactor

Types
typedef PolynomialTraits_d::Polynomial_d	result_type
typedef PolynomialTraits_d::Polynomial_d	first_argument_type
typedef PolynomialTraits_d::Polynomial_d	second_argument_type

Operations
result_type	operator() (first_argument_type f, second_argument_type g)
	Computes \( f/g\) up to a constant factor.