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

AlgebraicKernel_d_2::MakeCoprime_2

Definition

Computes for a given pair of bivariate polynomials p1, p2 their common part g and coprime parts q1, q2 respectively.

That is, it computes g, q1, q2 such that:
c1 ⋅ p1 = g ⋅ q1 for some constant c1 and
c2 ⋅ p2 = g ⋅ q2 for some constant c2, such that q1 and q2 are coprime.

Refines

AdaptableFunctor with five arguments

Types

typedef bool result_type;

Operations

result_type
fo ( AlgebraicKernel_d_2::Polynomial_2 p1 ,
AlgebraicKernel_d_2::Polynomial_2 p2 ,
AlgebraicKernel_d_2::Polynomial_2 & g ,
AlgebraicKernel_d_2::Polynomial_2 & q1 ,
AlgebraicKernel_d_2::Polynomial_2 & q2 )
Computes g, q1, q2 as described above.
Returns whether p1 and p2 where already coprime.

See Also

AlgebraicKernel_d_2::IsCoprime_2

Next: AlgebraicKernel_d_2::Solve_2
Navigation: Up   Table of Contents   Package Overview   Bibliography   Index   Title   Acknowledging CGAL
CGAL Open Source Project. Release 3.7. 14 October 2010.