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.
254 if (
a->cols() !=
b->cols())
return NULL;
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.
808 int c = ac +
b->cols();
int r =
si_max(
a->rows(),
b->rows());
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.
753 for (
i=
w->rows()-1;
i>=0;
i--)
759 for (
i=
w->rows()-1;
i>=0;
i--)
768 for (
i=
w->rows()-1;
i>=0;
i--)
770 if ((*
w)[
i]<0)
return -1;
772 for (
i=
w->rows()-1;
i>=0;
i--)
◆ 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--)
#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.
335 ra =
a->rows(), ca =
a->cols(),
336 rb =
b->rows(), cb =
b->cols();
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.
#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.
#define IMATELEM(M, I, J)
◆ ivSetRow()
static void ivSetRow |
( |
intvec * |
imat, |
|
|
int |
rowpos, |
|
|
int |
colpos |
|
) |
| |
|
static |
Definition at line 496 of file intvec.cc.
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.
284 if (
a->cols() !=
b->cols())
return NULL;
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()
◆ 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)