![]() |
modular resultant algorithm More...
#include "config.h"
#include "cf_assert.h"
#include "timing.h"
#include "cfModResultant.h"
#include "cf_primes.h"
#include "templates/ftmpl_functions.h"
#include "cf_map.h"
#include "cf_algorithm.h"
#include "cf_iter.h"
#include "cf_irred.h"
#include "cf_generator.h"
#include "cf_random.h"
#include "cf_map_ext.h"
#include "facFqBivarUtil.h"
#include "NTLconvert.h"
#include "FLINTconvert.h"
Go to the source code of this file.
Variables | |
const CanonicalForm & | G |
const CanonicalForm CFMap & | M |
const CanonicalForm CFMap CFMap & | N |
const CanonicalForm CFMap CFMap const Variable & | x |
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 |
int | degsfx |
int | degsgx |
else | |
modular resultant algorithm
Definition in file cfModResultant.cc.
|
inlinestatic |
Definition at line 525 of file cfModResultant.cc.
|
inlinestatic |
Definition at line 309 of file cfModResultant.cc.
Definition at line 66 of file cfEzgcd.cc.
if | ( | x.level() ! | = 1 | ) |
Definition at line 64 of file cfModResultant.cc.
|
inlinestatic |
Definition at line 335 of file cfModResultant.cc.
|
inlinestatic |
Definition at line 240 of file cfModResultant.cc.
CanonicalForm resultantFp | ( | const CanonicalForm & | A, |
const CanonicalForm & | B, | ||
const Variable & | x, | ||
bool | prob = true |
||
) |
modular resultant algorihtm over Fp
[in] | A | some poly |
[in] | B | some poly |
[in] | x | some polynomial variable |
[in] | prob | if true use probabilistic algorithm |
Definition at line 347 of file cfModResultant.cc.
CanonicalForm resultantZ | ( | const CanonicalForm & | A, |
const CanonicalForm & | B, | ||
const Variable & | x, | ||
bool | prob = true |
||
) |
modular resultant algorihtm over Z
[in] | A | some poly |
[in] | B | some poly |
[in] | x | some polynomial variable |
[in] | prob | if true use probabilistic algorithm |
Definition at line 558 of file cfModResultant.cc.
|
inlinestatic |
Definition at line 543 of file cfModResultant.cc.
TIMING_DEFINE_PRINT | ( | fac_resultant_p | ) | const |
|
inlinestatic |
Definition at line 253 of file cfModResultant.cc.
int both_non_zero = 0 |
Definition at line 58 of file cfModResultant.cc.
int both_zero = 0 |
Definition at line 61 of file cfModResultant.cc.
degsf = new int [n + 1] |
Definition at line 49 of file cfModResultant.cc.
int degsfx |
Definition at line 62 of file cfModResultant.cc.
delete [] degsg = new int [n + 1] |
Definition at line 50 of file cfModResultant.cc.
int degsgx |
Definition at line 62 of file cfModResultant.cc.
else |
Definition at line 215 of file cfModResultant.cc.
int f_zero = 0 |
Definition at line 59 of file cfModResultant.cc.
Definition at line 45 of file cfModResultant.cc.
int g_zero = 0 |
Definition at line 60 of file cfModResultant.cc.
Definition at line 45 of file cfModResultant.cc.
Definition at line 45 of file cfModResultant.cc.
Definition at line 47 of file cfModResultant.cc.