PolynomialTraits_d::PseudoDivisionQuotient

Navigation: Up, Table of Contents, Package Overview, Bibliography, Index, Title Page , Acknowledging CGAL

PolynomialTraits_d::PseudoDivisionQuotient

Definition

This AdaptableBinaryFunction computes the quotient of the pseudo division of two polynomials f and g.

Given f and g 0 one can compute quotient q and remainder r such that D · f = g · q + r and degree(r) < degree(g), where D = leading_coefficient(g)^{max(0, degree(f)-degree(g)+1)}

This functor computes q.

Refines

AdaptableBinaryFunction

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	fo ( first_argument_type f , second_argument_type g )
		Returns the quotient q of the pseudo division of f and g with respect to the outermost variable x_d-1.

PolynomialTraits_d::PseudoDivisionQuotient

Definition

Refines

Types

Operations

See Also