32void wGcd(
int *
x,
int n);
40 for (
i = 0;
i <= sl;
i++)
66 int n, a,
i,
j, *
B, *C;
72 a = (n + 1) *
sizeof(
int);
74 for (
i = 0;
i <= sl;
i++)
85 for (
j = 0;
j < n;
j++)
96 for (
j = 0;
j < n;
j++)
119 for (
i = n;
i!=0;
i--)
128 q = (n + 1) *
mons *
sizeof(
int);
133 for (
i = n;
i!=0;
i--)
140 memset(
x, 0, (n + 1) *
sizeof(
int));
145 for (
i = n;
i!=0;
i--)
154 for (
i = n;
i!=0;
i--)
194 wCall(
s, sl,
x, (
double)2.0 / (
double)n,
R);
195 for (
i = n;
i!=0;
i--)
208 for(
i=len;
i>0;
i--)
s[
i]=(*iv)[
i-1];
static int si_min(const int a, const int b)
const CanonicalForm int s
static int max(int a, int b)
#define omFreeSize(addr, size)
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
static void p_GetExpV(poly p, int *ev, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
BOOLEAN rHasLocalOrMixedOrdering(const ring r)
THREAD_VAR double(* wFunctional)(int *degw, int *lpol, int npol, double *rel, double wx, double wNsqr)
int * iv2array(intvec *iv, const ring R)
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)
long totaldegreeWecart(poly p, ring r)
static void wDimensions(poly *s, int sl, int *lpol, int *npol, int *mons)
void wCall(poly *s, int sl, int *x, double wNsqr, const ring R)
void wNorm(int *degw, int *lpol, int npol, double *rel)
double wFunctionalBuch(int *degw, int *lpol, int npol, double *rel, double wx, double wNsqr)
long maxdegreeWecart(poly p, int *l, ring r)
long totaldegreeWecart_IV(poly p, ring r, const int *w)
static void wInit(poly *s, int sl, int mons, int *A, const ring R)
void wAdd(int *A, int mons, int kn, int xx, int rvar)
double wFunctionalMora(int *degw, int *lpol, int npol, double *rel, double wx, double wNsqr)
void kEcartWeights(poly *s, int sl, short *eweight, const ring R)
EXTERN_VAR short * ecartWeights