Go to the source code of this file.
|
intvec * | ivAdd (intvec *a, intvec *b) |
|
intvec * | ivSub (intvec *a, intvec *b) |
|
intvec * | ivTranp (intvec *o) |
|
int | ivTrace (intvec *o) |
|
intvec * | ivMult (intvec *a, intvec *b) |
|
static int | ivColPivot (intvec *, int, int, int, int) |
|
static void | ivNegRow (intvec *, int) |
|
static void | ivSaveRow (intvec *, int) |
|
static void | ivSetRow (intvec *, int, int) |
|
static void | ivFreeRow (intvec *, int, int) |
|
static void | ivReduce (intvec *, int, int, int, int) |
|
static void | ivZeroElim (intvec *, int, int, int &) |
|
static void | ivRowContent (intvec *, int, int) |
|
static void | ivKernFromRow (intvec *, intvec *, intvec *, int, int, int) |
|
static intvec * | ivOptimizeKern (intvec *) |
|
static int | ivGcd (int, int) |
|
static void | ivOptRecursive (intvec *, intvec *, intvec *, int &, int &, int) |
|
static void | ivOptSolve (intvec *, intvec *, int &, int &) |
|
static void | ivContent (intvec *) |
|
static int | ivL1Norm (intvec *) |
|
static int | ivCondNumber (intvec *, int) |
|
void | ivTriangIntern (intvec *imat, int &ready, int &all) |
|
intvec * | ivSolveKern (intvec *imat, int dimtr) |
|
intvec * | ivConcat (intvec *a, intvec *b) |
|
§ INTVEC_CC
§ ivAdd()
Definition at line 250 of file intvec.cc.
260 for (i=0; i<mn; i++) (*iv)[
i] = (*a)[
i] + (*b)[
i];
265 for(i=mn; i<ma; i++) (*iv)[
i] = (*a)[
i];
269 for(i=mn; i<ma; i++) (*iv)[
i] = (*b)[
i];
274 if (mn != ma)
return NULL;
276 for (i=0; i<mn*a->
cols(); i++) { (*iv)[
i] += (*b)[
i]; }
static int si_min(const int a, const int b)
static int si_max(const int a, const int b)
§ ivColPivot()
static int ivColPivot |
( |
intvec * |
imat, |
|
|
int |
colpos, |
|
|
int |
rowpos, |
|
|
int |
ready, |
|
|
int |
all |
|
) |
| |
|
static |
Definition at line 467 of file intvec.cc.
471 if (
IMATELEM(*imat,rowpos,colpos)!=0)
473 for (rpiv=ready+1;rpiv<=all;rpiv++)
#define IMATELEM(M, I, J)
§ ivConcat()
Definition at line 805 of file intvec.cc.
812 for (i=1; i<=a->
rows(); i++)
817 for (i=1; i<=b->
rows(); i++)
819 for(j=1; j<=b->
cols(); j++)
static int si_max(const int a, const int b)
#define IMATELEM(M, I, J)
§ ivCondNumber()
static int ivCondNumber |
( |
intvec * |
w, |
|
|
int |
l |
|
) |
| |
|
static |
Definition at line 747 of file intvec.cc.
770 if ((*w)[
i]<0)
return -1;
§ ivContent()
static void ivContent |
( |
intvec * |
w | ) |
|
|
static |
Definition at line 780 of file intvec.cc.
791 if (tgcd<0) tgcd = -tgcd;
796 if (m!=0) tgcd=
ivGcd(tgcd, m);
800 for (i=w->
rows()-1;i>=0;i--)
static int ivGcd(int, int)
§ ivFreeRow()
static void ivFreeRow |
( |
intvec * |
imat, |
|
|
int |
rowpos, |
|
|
int |
rpiv |
|
) |
| |
|
static |
Definition at line 505 of file intvec.cc.
509 for (j=rpiv-1;j>=rowpos;j--)
511 for (i=imat->
cols();i!=0;i--)
#define IMATELEM(M, I, J)
§ ivGcd()
static int ivGcd |
( |
int |
a, |
|
|
int |
b |
|
) |
| |
|
static |
§ ivKernFromRow()
static void ivKernFromRow |
( |
intvec * |
kern, |
|
|
intvec * |
imat, |
|
|
intvec * |
perm, |
|
|
int |
pos, |
|
|
int |
r, |
|
|
int |
c |
|
) |
| |
|
static |
Definition at line 596 of file intvec.cc.
599 int piv, cp,
g,
i,
j,
k,
s;
601 for (i=c;i>(*perm)[
r];i--)
const CanonicalForm int s
static void ivNegRow(intvec *, int)
static int ivGcd(int, int)
static void ivRowContent(intvec *, int, int)
#define IMATELEM(M, I, J)
§ ivL1Norm()
static int ivL1Norm |
( |
intvec * |
w | ) |
|
|
static |
Definition at line 732 of file intvec.cc.
736 for (i=w->
rows()-1;i>=0;i--)
const CanonicalForm int s
§ ivMult()
Definition at line 332 of file intvec.cc.
338 if (ca != rb)
return NULL;
339 iv =
new intvec(ra, cb, 0);
346 sum += (*a)[i*ca+
k]*(*b)[k*cb+
j];
§ ivNegRow()
static void ivNegRow |
( |
intvec * |
imat, |
|
|
int |
rpiv |
|
) |
| |
|
static |
Definition at line 481 of file intvec.cc.
484 for (i=imat->
cols();i!=0;i--)
#define IMATELEM(M, I, J)
§ ivOptimizeKern()
Definition at line 652 of file intvec.cc.
658 Warn(
" %d linear independent solutions\n",
r);
static int ivL1Norm(intvec *)
static void ivContent(intvec *)
static void ivOptRecursive(intvec *, intvec *, intvec *, int &, int &, int)
static int ivCondNumber(intvec *, int)
#define IMATELEM(M, I, J)
§ ivOptRecursive()
static void ivOptRecursive |
( |
intvec * |
res, |
|
|
intvec * |
w, |
|
|
intvec * |
kern, |
|
|
int & |
l, |
|
|
int & |
j, |
|
|
int |
pos |
|
) |
| |
|
static |
Definition at line 676 of file intvec.cc.
691 for(k=h->
rows()-1;k>=0;k--)
static void ivOptRecursive(intvec *, intvec *, intvec *, int &, int &, int)
static void ivOptSolve(intvec *, intvec *, int &, int &)
#define IMATELEM(M, I, J)
§ ivOptSolve()
static void ivOptSolve |
( |
intvec * |
res, |
|
|
intvec * |
w, |
|
|
int & |
l, |
|
|
int & |
j |
|
) |
| |
|
static |
Definition at line 705 of file intvec.cc.
717 for(k=w->
rows()-1;k>=0;k--)
727 for(k=w->
rows()-1;k>=0;k--)
static int ivL1Norm(intvec *)
static void ivContent(intvec *)
static int ivCondNumber(intvec *, int)
§ ivReduce()
static void ivReduce |
( |
intvec * |
imat, |
|
|
int |
rpiv, |
|
|
int |
colpos, |
|
|
int |
ready, |
|
|
int |
all |
|
) |
| |
|
static |
Definition at line 516 of file intvec.cc.
519 int tgcd, ce, m1, m2,
j,
i;
520 int piv =
IMATELEM(*imat,rpiv,colpos);
522 for (j=all;j>ready;j--)
531 tgcd =
ivGcd(m1, m2);
537 for (i=imat->
cols();i>colpos;i--)
static int ivGcd(int, int)
static void ivRowContent(intvec *, int, int)
#define IMATELEM(M, I, J)
§ ivRowContent()
static void ivRowContent |
( |
intvec * |
imat, |
|
|
int |
rowpos, |
|
|
int |
colpos |
|
) |
| |
|
static |
Definition at line 572 of file intvec.cc.
581 if (i<colpos)
return;
583 if (tgcd<0) tgcd = -tgcd;
588 if (m!=0) tgcd=
ivGcd(tgcd, m);
592 for (i=imat->
cols();i>=colpos;i--)
static int ivGcd(int, int)
#define IMATELEM(M, I, J)
§ ivSaveRow()
static void ivSaveRow |
( |
intvec * |
imat, |
|
|
int |
rpiv |
|
) |
| |
|
static |
Definition at line 488 of file intvec.cc.
492 for (i=imat->
cols();i!=0;i--)
#define IMATELEM(M, I, J)
§ ivSetRow()
static void ivSetRow |
( |
intvec * |
imat, |
|
|
int |
rowpos, |
|
|
int |
colpos |
|
) |
| |
|
static |
Definition at line 496 of file intvec.cc.
500 for (i=imat->
cols();i!=0;i--)
static void ivRowContent(intvec *, int, int)
#define IMATELEM(M, I, J)
§ ivSolveKern()
Definition at line 425 of file intvec.cc.
436 for (r=1;r<=dimtr;r++)
443 for (r=dimtr;r>0;r--)
static intvec * ivOptimizeKern(intvec *)
intvec * ivTranp(intvec *o)
static void ivKernFromRow(intvec *, intvec *, intvec *, int, int, int)
#define IMATELEM(M, I, J)
§ ivSub()
Definition at line 280 of file intvec.cc.
290 for (i=0; i<mn; i++) (*iv)[
i] = (*a)[
i] - (*b)[
i];
295 for(i=mn; i<ma; i++) (*iv)[
i] = (*a)[
i];
299 for(i=mn; i<ma; i++) (*iv)[
i] = -(*b)[
i];
304 if (mn != ma)
return NULL;
306 for (i=0; i<mn*a->
cols(); i++) { (*iv)[
i] -= (*b)[
i]; }
static int si_min(const int a, const int b)
static int si_max(const int a, const int b)
§ ivTrace()
Definition at line 322 of file intvec.cc.
const CanonicalForm int s
static int si_min(const int a, const int b)
§ ivTranp()
Definition at line 310 of file intvec.cc.
317 (*iv)[j*r+
i] = (*o)[i*c+
j];
§ ivTriangIntern()
void ivTriangIntern |
( |
intvec * |
imat, |
|
|
int & |
ready, |
|
|
int & |
all |
|
) |
| |
Definition at line 387 of file intvec.cc.
389 int rpiv, colpos=0, rowpos=0;
390 int ia=ready, ie=all;
398 rpiv =
ivColPivot(imat, colpos, rowpos, ia, ie);
410 if (ia==imat->
cols())
417 ivReduce(imat, rpiv, colpos, ia, ie);
static void ivZeroElim(intvec *, int, int, int &)
static void ivFreeRow(intvec *, int, int)
static void ivSaveRow(intvec *, int)
static int ivColPivot(intvec *, int, int, int, int)
static void ivReduce(intvec *, int, int, int, int)
static void ivSetRow(intvec *, int, int)
§ ivZeroElim()
static void ivZeroElim |
( |
intvec * |
imat, |
|
|
int |
colpos, |
|
|
int |
ready, |
|
|
int & |
all |
|
) |
| |
|
static |
Definition at line 547 of file intvec.cc.
553 for (j=ready+1;j<=all;j++)
555 for (i=imat->
cols();i>colpos;i--)
562 for (l=imat->
cols();l>colpos;l--)
#define IMATELEM(M, I, J)