Processing math: 100%
CGAL 4.5 - Polynomial
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
PolynomialTraits_d::PseudoDivisionRemainder Concept Reference

Definition

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

Given f and g0 one can compute quotient q and remainder r such that Df=gq+r and degree(r)<degree(g), where D=leading_coefficient(g)max(0,degree(f)degree(g)+1)

This functor computes r.

Refines:

AdaptableBinaryFunction

CopyConstructible

DefaultConstructible

See Also
Polynomial_d
PolynomialTraits_d
PolynomialTraits_d::PseudoDivision
PolynomialTraits_d::PseudoDivisionRemainder
PolynomialTraits_d::PseudoDivisionQuotient

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)
 Returns the remainder r of the pseudo division of f and g with respect to the outermost variable xd1.