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