#include "misc/auxiliary.h"
#include "omalloc/omalloc.h"
#include <math.h>
#include <string.h>
Go to the source code of this file.
|
double | wFunctionalMora (int *degw, int *lpol, int npol, double *rel, double wx, double wwNsqr) |
|
double | wFunctionalBuch (int *degw, int *lpol, int npol, double *rel, double wx, double wwNsqr) |
|
void | wAdd (int *A, int mons, int kn, int xx, int rvar) |
|
void | wNorm (int *degw, int *lpol, int npol, double *rel) |
|
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) |
|
void | wGcd (int *x, int n) |
|
static void | wSub (int *A, int mons, int kn, int xx, int rvar) |
|
static double | wPrWeight (int *x, int n) |
|
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) |
|
◆ wAdd()
Definition at line 132 of file weight0.cc.
133{
135
140 {
143 }
144 else
145 {
147 *
ex++ += (*
B++) *
xx;
148 }
149}
◆ wEstimate()
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 ) |
|
static |
Definition at line 237 of file weight0.cc.
239{
243
247 for (
i1 = n;
i1!=0 ;
i1--)
248 {
250 {
256 {
259 }
261 {
263 {
268 {
272 }
274 }
275 }
278 }
279 }
281 {
284 }
285 else
286 {
289 }
292}
static void wSub(int *A, int mons, int kn, int xx, int rvar)
void wAdd(int *A, int mons, int kn, int xx, int rvar)
◆ wFirstSearch()
Definition at line 152 of file weight0.cc.
154{
160
163 xn = n + 6 + (21 / n);
173 t = 1;
175 {
176 while (t < n)
177 {
181 if ((
y1 + n - t) <=
xn)
182 {
188 t++;
189 }
190 else
191 {
196 t--;
197 if (t==0)
198 {
202 return;
203 }
204 }
205 }
216 {
219 }
220 t--;
221 }
222}
const CanonicalForm int const CFList const Variable & y
#define omFreeSize(addr, size)
◆ wFunctionalBuch()
Definition at line 78 of file weight0.cc.
80{
84 double *r;
85
91 {
94 {
100 }
105 }
106 if (
ghom > (
double)0.5)
109}
Rational pow(const Rational &a, int e)
◆ wFunctionalMora()
Definition at line 34 of file weight0.cc.
36{
40 double *r;
41
48 {
51 {
57 }
62 if (
pfmax > (
double)0.5)
64 else
68 }
69 if (
ghom > (
double)0.8)
70 {
73 }
75}
◆ wGcd()
Definition at line 352 of file weight0.cc.
353{
355
359 {
362 break;
365 {
369 }
370 do
371 {
375 }
379 return;
380 }
381 for (
i = n;
i!=0 ;
i--)
383}
◆ wNorm()
Definition at line 463 of file weight0.cc.
464{
467 double *r;
468
472 {
475 {
479 }
481 r++;
482 }
483}
◆ wPrWeight()
Definition at line 225 of file weight0.cc.
226{
229
231 for (
i = n - 1;
i!=0 ;
i--)
234}
◆ wSecondSearch()
Definition at line 295 of file weight0.cc.
297{
300
306 {
307 wEstimate(
A,
x,
lpol,
npol,
mons,
wx,
rel, &
fx, &
s0, &
s1, &
s2,
wNsqr,
rvar);
309 {
313 {
316 }
317 else
318 break;
319 }
320 else
321 {
324 {
328 break;
329 }
331 {
335 }
336 else
337 break;
338 }
341 else
342 {
345 }
347 }
349}
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)
static double wPrWeight(int *x, int n)
◆ wSub()
Definition at line 112 of file weight0.cc.
113{
115
120 {
123 }
124 else
125 {
127 *
ex++ -= (*
B++) *
xx;
128 }
129}
◆ ecartWeights
◆ wFunctional
VAR double(* wFunctional) (int *degw, int *lpol, int npol, double *rel, double wx, double wNsqr) |
( |
int * | degw, |
|
|
int * | lpol, |
|
|
int | npol, |
|
|
double * | rel, |
|
|
double | wx, |
|
|
double | wNsqr ) |