My Project
|
This file implements a probabilistic irreducibility test for polynomials over Z/p. More...
#include "config.h"
#include <cmath>
#include "facIrredTest.h"
#include "cf_map.h"
#include "cf_random.h"
Go to the source code of this file.
Functions | |
double | numZeros (const CanonicalForm &F, int k) |
evaluate F at k random points in Z/p^n and count the number of zeros that occur More... | |
double | inverseERF (double d) |
int | probIrredTest (const CanonicalForm &F, double error) |
given some error probIrredTest detects irreducibility or reducibility of F with confidence level 1-error More... | |
This file implements a probabilistic irreducibility test for polynomials over Z/p.
Definition in file facIrredTest.cc.
double inverseERF | ( | double | d | ) |
Definition at line 42 of file facIrredTest.cc.
double numZeros | ( | const CanonicalForm & | F, |
int | k | ||
) |
evaluate F at k random points in Z/p^n and count the number of zeros that occur
[in] | F | some poly over Z/p with n variables |
[in] | k | number of trials |
Definition at line 24 of file facIrredTest.cc.
int probIrredTest | ( | const CanonicalForm & | F, |
double | error | ||
) |
given some error probIrredTest detects irreducibility or reducibility of F with confidence level 1-error
[in] | F | some poly over Z/p |
[in] | error | 0 < error < 1 |
Definition at line 63 of file facIrredTest.cc.