 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
52 nmod_poly_gcd (F1, F1, G1);
65 fmpz_poly_gcd (F1, F1, G1);
76 CanonicalForm f,
g, c,
cg,
cl, BB,
B,
M, q, Dp, newD,
D, newq;
93 cl = (
f.lc() /
cg ) *
g.lc();
105 while (
i >= 0 && q <
B )
109 while (
i >= 0 &&
mod(
cl,
p ) == 0 )
128 if ( Dp.
degree() ==
D.degree() )
134 else if ( Dp.
degree() <
D.degree() )
155 DEBOUTLN( cerr,
"another try ..." );
192 nmod_poly_t F1, G1,
A,
B,
R;
198 nmod_poly_xgcd (
R,
A,
B, F1, G1);
239 fmpq_poly_xgcd (
R,
A,
B, F1, G1);
243 fmpq_poly_clear (F1);
244 fmpq_poly_clear (G1);
264 XGCD(RR,
A,
B,F1,G1,1);
276 XGCD (RR,
A,
B,F1,G1,1);
284 XGCD(RR,
A,
B,F1,G1,1);
295 XGCD (RR,
A,
B,F1,G1,1);
312 while ( ! p1.isZero() )
322 a = f0 / ( contf * contp0 );
323 b = g0 / ( contg * contp0 );
CanonicalForm convertZZ2CF(const ZZ &a)
NAME: convertZZ2CF.
CanonicalForm convertnmod_poly_t2FacCF(const nmod_poly_t poly, const Variable &x)
conversion of a FLINT poly over Z/p to CanonicalForm
zz_pX convertFacCF2NTLzzpX(const CanonicalForm &f)
#define DEBOUTLN(stream, objects)
nmod_poly_clear(FLINTmipo)
coprimality check and change of representation mod n
bool isPurePoly(const CanonicalForm &f)
some useful template functions.
CanonicalForm extgcd(const CanonicalForm &f, const CanonicalForm &g, CanonicalForm &a, CanonicalForm &b)
CanonicalForm extgcd ( const CanonicalForm & f, const CanonicalForm & g, CanonicalForm & a,...
CanonicalForm maxNorm(const CanonicalForm &f)
CanonicalForm maxNorm ( const CanonicalForm & f )
#define GaloisFieldDomain
convertFacCF2nmod_poly_t(FLINTmipo, M)
nmod_poly_init(FLINTmipo, getCharacteristic())
CanonicalForm gcd_univar_flint0(const CanonicalForm &F, const CanonicalForm &G)
Conversion to and from NTL.
declarations of higher level algorithms.
template CanonicalForm tmin(const CanonicalForm &, const CanonicalForm &)
void chineseRemainder(const CanonicalForm &x1, const CanonicalForm &q1, const CanonicalForm &x2, const CanonicalForm &q2, CanonicalForm &xnew, CanonicalForm &qnew)
void chineseRemainder ( const CanonicalForm & x1, const CanonicalForm & q1, const CanonicalForm & x2,...
This file defines functions for conversion to FLINT (www.flintlib.org) and back.
ZZX convertFacCF2NTLZZX(const CanonicalForm &f)
bool fdivides(const CanonicalForm &f, const CanonicalForm &g)
bool fdivides ( const CanonicalForm & f, const CanonicalForm & g )
void convertFacCF2Fmpq_poly_t(fmpq_poly_t result, const CanonicalForm &f)
conversion of a factory univariate polynomials over Q to fmpq_poly_t
CanonicalForm convertFmpz_poly_t2FacCF(const fmpz_poly_t poly, const Variable &x)
conversion of a FLINT poly over Z to CanonicalForm
CanonicalForm bCommonDen(const CanonicalForm &f)
CanonicalForm bCommonDen ( const CanonicalForm & f )
CanonicalForm convertFmpq_poly_t2FacCF(const fmpq_poly_t p, const Variable &x)
conversion of a FLINT poly over Q to CanonicalForm
int cf_getSmallPrime(int i)
CanonicalForm gcd_univar_flintp(const CanonicalForm &F, const CanonicalForm &G)
CanonicalForm balance_p(const CanonicalForm &f, const CanonicalForm &q, const CanonicalForm &qh)
same as balance_p ( const CanonicalForm & f, const CanonicalForm & q ) but qh= q/2 is provided,...
CanonicalForm convertNTLZZX2CF(const ZZX &polynom, const Variable &x)
int cf_getNumSmallPrimes()
void convertFacCF2Fmpz_poly_t(fmpz_poly_t result, const CanonicalForm &f)
conversion of a factory univariate polynomial over Z to a fmpz_poly_t
CanonicalForm convertNTLzzpX2CF(const zz_pX &poly, const Variable &x)
functions to print debug output