![]() |
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.