My Project
|
#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) | |
DELETE_ARRAY (degsg) | |
void | tryInvert (const CanonicalForm &F, const CanonicalForm &M, CanonicalForm &inv, bool &fail) |
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) |
static void | leadDeg (const CanonicalForm &f, int degs[]) |
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) |
static CanonicalForm | myicontent (const CanonicalForm &f) |
CanonicalForm | QGCD (const CanonicalForm &F, const CanonicalForm &G) |
gcd over Q(a) More... | |
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) |
Variables | |
const CanonicalForm & | G |
const CanonicalForm CFMap & | M |
const CanonicalForm CFMap CFMap & | N |
const CanonicalForm CFMap CFMap bool | topLevel |
int * | degsf = NEW_ARRAY(int,n + 1) |
int * | degsg = NEW_ARRAY(int,n + 1) |
int | both_non_zero = 0 |
int | f_zero = 0 |
int | g_zero = 0 |
int | both_zero = 0 |
int | Flevel =F.level() |
int | Glevel =G.level() |
else | |
return | |
DELETE_ARRAY | ( | degsg | ) |
CanonicalForm firstLC | ( | const CanonicalForm & | f | ) |
Definition at line 955 of file cfGcdAlgExt.cc.
Definition at line 72 of file cfEzgcd.cc.
if | ( | topLevel | ) |
Definition at line 75 of file cfGcdAlgExt.cc.
bool isEqual | ( | int * | a, |
int * | b, | ||
int | lower, | ||
int | upper | ||
) |
Definition at line 946 of file cfGcdAlgExt.cc.
bool isLess | ( | int * | a, |
int * | b, | ||
int | lower, | ||
int | upper | ||
) |
|
static |
Definition at line 372 of file cfGcdAlgExt.cc.
|
static |
Definition at line 721 of file cfGcdAlgExt.cc.
|
static |
Definition at line 671 of file cfGcdAlgExt.cc.
CanonicalForm QGCD | ( | const CanonicalForm & | F, |
const CanonicalForm & | G | ||
) |
gcd over Q(a)
Definition at line 730 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 386 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1066 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1035 of file cfGcdAlgExt.cc.
void tryInvert | ( | const CanonicalForm & | F, |
const CanonicalForm & | M, | ||
CanonicalForm & | inv, | ||
bool & | fail | ||
) |
Definition at line 221 of file cfGcdAlgExt.cc.
|
inlinestatic |
Definition at line 357 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1047 of file cfGcdAlgExt.cc.
int both_non_zero = 0 |
Definition at line 68 of file cfGcdAlgExt.cc.
int both_zero = 0 |
Definition at line 71 of file cfGcdAlgExt.cc.
degsf = NEW_ARRAY(int,n + 1) |
Definition at line 59 of file cfGcdAlgExt.cc.
degsg = NEW_ARRAY(int,n + 1) |
Definition at line 60 of file cfGcdAlgExt.cc.
else |
Definition at line 194 of file cfGcdAlgExt.cc.
int f_zero = 0 |
Definition at line 69 of file cfGcdAlgExt.cc.
int Flevel =F.level() |
Definition at line 72 of file cfGcdAlgExt.cc.
Definition at line 55 of file cfGcdAlgExt.cc.
int g_zero = 0 |
Definition at line 70 of file cfGcdAlgExt.cc.
int Glevel =G.level() |
Definition at line 73 of file cfGcdAlgExt.cc.
Definition at line 55 of file cfGcdAlgExt.cc.
Definition at line 56 of file cfGcdAlgExt.cc.
return |
Definition at line 218 of file cfGcdAlgExt.cc.
const CanonicalForm CFMap CFMap bool topLevel |
Definition at line 56 of file cfGcdAlgExt.cc.