![]() |
#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) |
| 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) |
| static CanonicalForm | myicontent (const CanonicalForm &f) |
| 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) |
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 946 of file cfGcdAlgExt.cc.
Definition at line 66 of file cfEzgcd.cc.
| if | ( | topLevel | ) |
Definition at line 73 of file cfGcdAlgExt.cc.
| bool isEqual | ( | int * | a, |
| int * | b, | ||
| int | lower, | ||
| int | upper | ||
| ) |
Definition at line 937 of file cfGcdAlgExt.cc.
| bool isLess | ( | int * | a, |
| int * | b, | ||
| int | lower, | ||
| int | upper | ||
| ) |
Definition at line 926 of file cfGcdAlgExt.cc.
| int* leadDeg | ( | const CanonicalForm & | f, |
| int * | degs | ||
| ) |
Definition at line 909 of file cfGcdAlgExt.cc.
|
static |
Definition at line 654 of file cfGcdAlgExt.cc.
|
static |
Definition at line 704 of file cfGcdAlgExt.cc.
| CanonicalForm QGCD | ( | const CanonicalForm & | F, |
| const CanonicalForm & | G | ||
| ) |
gcd over Q(a)
Definition at line 713 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 370 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1057 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1026 of file cfGcdAlgExt.cc.
| void tryInvert | ( | const CanonicalForm & | F, |
| const CanonicalForm & | M, | ||
| CanonicalForm & | inv, | ||
| bool & | fail | ||
| ) |
Definition at line 219 of file cfGcdAlgExt.cc.
|
inlinestatic |
Definition at line 355 of file cfGcdAlgExt.cc.
|
static |
Definition at line 1038 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 int [n + 1] |
Definition at line 59 of file cfGcdAlgExt.cc.
| delete [] degsg = new int [n + 1] |
Definition at line 60 of file cfGcdAlgExt.cc.
| else |
Definition at line 193 of file cfGcdAlgExt.cc.
| int f_zero = 0 |
Definition at line 69 of file cfGcdAlgExt.cc.
Definition at line 55 of file cfGcdAlgExt.cc.
| int g_zero = 0 |
Definition at line 70 of file cfGcdAlgExt.cc.
Definition at line 55 of file cfGcdAlgExt.cc.
Definition at line 55 of file cfGcdAlgExt.cc.
| return |
Definition at line 216 of file cfGcdAlgExt.cc.
| const CanonicalForm CFMap CFMap bool topLevel |
Definition at line 57 of file cfGcdAlgExt.cc.