 CGAL 5.5.2 - Algebraic Kernel
AlgebraicKernel_d_1::MakeCoprime_1 Concept Reference

## Definition

Computes for a given pair of univariate polynomials $$p_1$$, $$p_2$$ their common part $$g$$ up to a constant factor and coprime parts $$q_1$$, $$q_2$$ respectively.

That is, it computes $$g, q_1, q_2$$ such that:

$$c_1 \cdot p_1 = g \cdot q_1$$ for some constant $$c_1$$ and

$$c_2 \cdot p_2 = g \cdot q_2$$ for some constant $$c_2$$, such that $$q_1$$ and $$q_2$$ are coprime.

It returns true if $$p_1$$ and $$p_2$$ are already coprime.

Refines:
AdaptableFunctor with five arguments
AlgebraicKernel_d_1::IsCoprime_1

## Types

typedef bool result_type

## Operations

result_type operator() (const AlgebraicKernel_d_1::Polynomial_1 &p1, const AlgebraicKernel_d_1::Polynomial_1 &p2, AlgebraicKernel_d_1::Polynomial_1 &g, AlgebraicKernel_d_1::Polynomial_1 &q1, AlgebraicKernel_d_1::Polynomial_1 &q2)
Computes $$g, q_1, q_2$$ as described above. More...

## ◆ operator()()

 result_type AlgebraicKernel_d_1::MakeCoprime_1::operator() ( const AlgebraicKernel_d_1::Polynomial_1 & p1, const AlgebraicKernel_d_1::Polynomial_1 & p2, AlgebraicKernel_d_1::Polynomial_1 & g, AlgebraicKernel_d_1::Polynomial_1 & q1, AlgebraicKernel_d_1::Polynomial_1 & q2 )

Computes $$g, q_1, q_2$$ as described above.

Returns whether $$p_1$$ and $$p_2$$ where already coprime.