25void wGcd(
int *
x,
int n);
62 if (
pfmax > (
double)0.5)
69 if (
ghom > (
double)0.8)
106 if (
ghom > (
double)0.5)
127 *
ex++ -= (*
B++) *
xx;
147 *
ex++ += (*
B++) *
xx;
163 xn = n + 6 + (21 / n);
181 if ((
y1 + n - t) <=
xn)
231 for (
i = n - 1;
i!=0 ;
i--)
247 for (
i1 = n;
i1!=0 ;
i1--)
307 wEstimate(
A,
x,
lpol,
npol,
mons,
wx,
rel, &
fx, &
s0, &
s1, &
s2,
wNsqr,
rvar);
381 for (
i = n;
i!=0 ;
i--)
396 for (
i = n;
i!=0 ;
i--)
410 if ((
g==0) && (
k < 4))
418 for(
i = n;
i!=0 ;
i--)
444 for(
i = n;
i!=0 ;
i--)
454 if ((d!=0) && (
kopt < 2 * d))
Rational pow(const Rational &a, int e)
const CanonicalForm int const CFList const Variable & y
static int min(int a, int b)
gmp_float sqrt(const gmp_float &a)
#define omFreeSize(addr, size)
VAR double(* wFunctional)(int *degw, int *lpol, int npol, double *rel, double wx, double wNsqr)
void wFirstSearch(int *A, int *x, int mons, int *lpol, int npol, double *rel, double *fopt, double wNsqr, int rvar)
void wSecondSearch(int *A, int *x, int *lpol, int npol, int mons, double *rel, double *fk, double wNsqr, int rvar)
double wFunctionalMora(int *degw, int *lpol, int npol, double *rel, double wx, double wwNsqr)
static void wSub(int *A, int mons, int kn, int xx, int rvar)
void wNorm(int *degw, int *lpol, int npol, double *rel)
static void wEstimate(int *A, int *x, int *lpol, int npol, int mons, double wx, double *rel, double *fopt, int *s0, int *s1, int *s2, double wNsqr, int rvar)
void wAdd(int *A, int mons, int kn, int xx, int rvar)
static double wPrWeight(int *x, int n)
double wFunctionalBuch(int *degw, int *lpol, int npol, double *rel, double wx, double wwNsqr)