![]() |
#include "config.h"
#include <stdio.h>
#include <iostream>
#include "cf_assert.h"
#include "timing.h"
#include "templates/ftmpl_functions.h"
#include "cf_defs.h"
#include "canonicalform.h"
#include "cf_iter.h"
#include "cf_primes.h"
#include "cf_algorithm.h"
#include "cfGcdAlgExt.h"
#include "cfUnivarGcd.h"
#include "cf_map.h"
#include "cf_generator.h"
#include "facMul.h"
#include "cfNTLzzpEXGCD.h"
#include "NTLconvert.h"
#include "FLINTconvert.h"
Go to the source code of this file.
Functions | |
TIMING_DEFINE_PRINT (alg_content_p) TIMING_DEFINE_PRINT(alg_content) TIMING_DEFINE_PRINT(alg_compress) TIMING_DEFINE_PRINT(alg_termination) TIMING_DEFINE_PRINT(alg_termination_p) TIMING_DEFINE_PRINT(alg_reconstruction) TIMING_DEFINE_PRINT(alg_newton_p) TIMING_DEFINE_PRINT(alg_recursion_p) TIMING_DEFINE_PRINT(alg_gcd_p) TIMING_DEFINE_PRINT(alg_euclid_p) static int myCompress(const CanonicalForm &F | |
compressing two polynomials F and G, M is used for compressing, N to reverse the compression More... | |
for (int i=0;i<=n;i++) degsf[i] | |
if (topLevel) | |
void | tryInvert (const CanonicalForm &F, const CanonicalForm &M, CanonicalForm &inv, bool &fail) |
CanonicalForm | QGCD (const CanonicalForm &F, const CanonicalForm &G) |
gcd over Q(a) More... | |
int * | leadDeg (const CanonicalForm &f, int *degs) |
bool | isLess (int *a, int *b, int lower, int upper) |
bool | isEqual (int *a, int *b, int lower, int upper) |
CanonicalForm | firstLC (const CanonicalForm &f) |
static CanonicalForm | trycontent (const CanonicalForm &f, const Variable &x, const CanonicalForm &M, bool &fail) |
static CanonicalForm | tryvcontent (const CanonicalForm &f, const Variable &x, const CanonicalForm &M, bool &fail) |
static CanonicalForm | trycf_content (const CanonicalForm &f, const CanonicalForm &g, const CanonicalForm &M, bool &fail) |
static CanonicalForm | tryNewtonInterp (const CanonicalForm &alpha, const CanonicalForm &u, const CanonicalForm &newtonPoly, const CanonicalForm &oldInterPoly, const Variable &x, const CanonicalForm &M, bool &fail) |
void | tryBrownGCD (const CanonicalForm &F, const CanonicalForm &G, const CanonicalForm &M, CanonicalForm &result, bool &fail, bool topLevel) |
modular gcd over F_p[x]/(M) for not necessarily irreducible M. If a zero divisor is encountered fail is set to true. More... | |
static CanonicalForm | myicontent (const CanonicalForm &f, const CanonicalForm &c) |
CanonicalForm | myicontent (const CanonicalForm &f) |
Variables | |
const CanonicalForm & | G |
const CanonicalForm CFMap & | M |
const CanonicalForm CFMap CFMap & | N |
const CanonicalForm CFMap CFMap bool | topLevel |
int * | degsf = new int [n + 1] |
int * | degsg = new int [n + 1] |
int | both_non_zero = 0 |
int | f_zero = 0 |
int | g_zero = 0 |
int | both_zero = 0 |
else | |
return | |
CanonicalForm firstLC | ( | const CanonicalForm & | f | ) |
Definition at line 950 of file cfGcdAlgExt.cc.
Definition at line 66 of file cfEzgcd.cc.
if | ( | topLevel | ) |
Definition at line 74 of file cfGcdAlgExt.cc.
bool isEqual | ( | int * | a, |
int * | b, | ||
int | lower, | ||
int | upper | ||
) |
Definition at line 941 of file cfGcdAlgExt.cc.
bool isLess | ( | int * | a, |
int * | b, | ||
int | lower, | ||
int | upper | ||
) |
Definition at line 930 of file cfGcdAlgExt.cc.
int * leadDeg | ( | const CanonicalForm & | f, |
int * | degs | ||
) |
Definition at line 913 of file cfGcdAlgExt.cc.
|
static |
Definition at line 660 of file cfGcdAlgExt.cc.
CanonicalForm myicontent | ( | const CanonicalForm & | f | ) |
Definition at line 711 of file cfGcdAlgExt.cc.
CanonicalForm QGCD | ( | const CanonicalForm & | F, |
const CanonicalForm & | G | ||
) |
gcd over Q(a)
Definition at line 720 of file cfGcdAlgExt.cc.
TIMING_DEFINE_PRINT | ( | alg_content_p | ) | const |
compressing two polynomials F and G, M is used for compressing, N to reverse the compression
void tryBrownGCD | ( | const CanonicalForm & | F, |
const CanonicalForm & | G, | ||
const CanonicalForm & | M, | ||
CanonicalForm & | result, | ||
bool & | fail, | ||
bool | topLevel | ||
) |
modular gcd over F_p[x]/(M) for not necessarily irreducible M. If a zero divisor is encountered fail is set to true.
Definition at line 376 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1061 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1030 of file cfGcdAlgExt.cc.
void tryInvert | ( | const CanonicalForm & | F, |
const CanonicalForm & | M, | ||
CanonicalForm & | inv, | ||
bool & | fail | ||
) |
Definition at line 220 of file cfGcdAlgExt.cc.
|
inlinestatic |
Definition at line 361 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1042 of file cfGcdAlgExt.cc.
int both_non_zero = 0 |
Definition at line 69 of file cfGcdAlgExt.cc.
int both_zero = 0 |
Definition at line 72 of file cfGcdAlgExt.cc.
degsf = new int [n + 1] |
Definition at line 60 of file cfGcdAlgExt.cc.
Definition at line 61 of file cfGcdAlgExt.cc.
else |
Definition at line 194 of file cfGcdAlgExt.cc.
int f_zero = 0 |
Definition at line 70 of file cfGcdAlgExt.cc.
Definition at line 56 of file cfGcdAlgExt.cc.
int g_zero = 0 |
Definition at line 71 of file cfGcdAlgExt.cc.
Definition at line 56 of file cfGcdAlgExt.cc.
Definition at line 56 of file cfGcdAlgExt.cc.
return |
Definition at line 217 of file cfGcdAlgExt.cc.
const CanonicalForm CFMap CFMap bool topLevel |
Definition at line 58 of file cfGcdAlgExt.cc.