void camdtest (cholmod_sparse *A)
{
double Control [CAMD_CONTROL], Info [CAMD_INFO], alpha ;
Int *P, *Cp, *Ci, *Sp, *Si, *Bp, *Bi, *Ep, *Ei, *Fp, *Fi,
*Len, *Nv, *Next, *Head, *Elen, *Deg, *Wi, *W, *Flag, *BucketSet,
*Constraint ;
cholmod_sparse *C, *B, *S, *E, *F ;
Int i, j, n, nrow, ncol, ok, cnz, bnz, p, trial, sorted ;
/* ---------------------------------------------------------------------- */
/* get inputs */
/* ---------------------------------------------------------------------- */
printf ("\nCAMD test\n") ;
if (A == NULL)
{
return ;
}
if (A->stype)
{
B = CHOLMOD(copy) (A, 0, 0, cm) ;
}
else
{
B = CHOLMOD(aat) (A, NULL, 0, 0, cm) ;
}
if (A->nrow != A->ncol)
{
F = CHOLMOD(copy_sparse) (B, cm) ;
OK (F->nrow == F->ncol) ;
CHOLMOD(sort) (F, cm) ;
}
else
{
/* A is square and unsymmetric, and may have entries in A+A' that
* are not in A */
F = CHOLMOD(copy_sparse) (A, cm) ;
CHOLMOD(sort) (F, cm) ;
}
C = CHOLMOD(copy_sparse) (B, cm) ;
nrow = C->nrow ;
ncol = C->ncol ;
n = nrow ;
OK (nrow == ncol) ;
Cp = C->p ;
Ci = C->i ;
Bp = B->p ;
Bi = B->i ;
/* ---------------------------------------------------------------------- */
/* S = sorted form of B, using CAMD_preprocess */
/* ---------------------------------------------------------------------- */
cnz = CHOLMOD(nnz) (C, cm) ;
S = CHOLMOD(allocate_sparse) (n, n, cnz, TRUE, TRUE, 0, CHOLMOD_PATTERN,
cm);
Sp = S->p ;
Si = S->i ;
W = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Flag = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
CAMD_preprocess (n, Bp, Bi, Sp, Si, W, Flag) ;
/* ---------------------------------------------------------------------- */
/* allocate workspace for camd */
/* ---------------------------------------------------------------------- */
P = CHOLMOD(malloc) (n+1, sizeof (Int), cm) ;
Constraint = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
for (i = 0 ; i < n ; i++)
{
Constraint [i] = my_rand () % (MIN (n,6)) ;
}
ok = CAMD_cvalid (n, Constraint) ; OK (ok) ;
if (n > 0)
{
Constraint [0] = -1 ;
ok = CAMD_cvalid (n, Constraint) ; OK (!ok) ;
Constraint [0] = 0 ;
}
ok = CAMD_cvalid (n, Constraint) ; OK (ok) ;
ok = CAMD_cvalid (n, NULL) ; OK (ok) ;
Len = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Nv = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Next = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Head = CHOLMOD(malloc) (n+1, sizeof (Int), cm) ;
Elen = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Deg = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
Wi = CHOLMOD(malloc) (n+1, sizeof (Int), cm) ;
BucketSet = CHOLMOD(malloc) (n, sizeof (Int), cm) ;
/* ---------------------------------------------------------------------- */
for (sorted = 0 ; sorted <= 1 ; sorted++)
{
if (sorted) CHOLMOD(sort) (C, cm) ;
Cp = C->p ;
Ci = C->i ;
/* ------------------------------------------------------------------ */
/* order C with CAMD_order */
/* ------------------------------------------------------------------ */
CAMD_defaults (Control) ;
CAMD_defaults (NULL) ;
CAMD_control (Control) ;
CAMD_control (NULL) ;
CAMD_info (NULL) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, Constraint) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation", cm)) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation", cm)) ;
/* no dense rows/cols */
alpha = Control [CAMD_DENSE] ;
Control [CAMD_DENSE] = -1 ;
CAMD_control (Control) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation (alpha=-1)", cm)) ;
/* many dense rows/cols */
Control [CAMD_DENSE] = 0 ;
CAMD_control (Control) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation (alpha=0)", cm)) ;
Control [CAMD_DENSE] = alpha ;
/* no aggressive absorption */
Control [CAMD_AGGRESSIVE] = FALSE ;
CAMD_control (Control) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation (no agg) ", cm)) ;
Control [CAMD_AGGRESSIVE] = TRUE ;
/* ------------------------------------------------------------------ */
/* order F with CAMD_order */
/* ------------------------------------------------------------------ */
Fp = F->p ;
Fi = F->i ;
ok = CAMD_order (n, Fp, Fi, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "F: CAMD permutation", cm)) ;
/* ------------------------------------------------------------------ */
/* order S with CAMD_order */
/* ------------------------------------------------------------------ */
ok = CAMD_order (n, Sp, Si, P, Control, Info, NULL) ;
printf ("camd return value: "ID"\n", ok) ;
CAMD_info (Info) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD permutation", cm)) ;
/* ------------------------------------------------------------------ */
/* order E with CAMD_2, which destroys its contents */
/* ------------------------------------------------------------------ */
E = CHOLMOD(copy) (B, 0, -1, cm) ; /* remove diagonal entries */
bnz = CHOLMOD(nnz) (E, cm) ;
/* add the bare minimum extra space to E */
ok = CHOLMOD(reallocate_sparse) (bnz + n, E, cm) ;
OK (ok) ;
Ep = E->p ;
Ei = E->i ;
for (j = 0 ; j < n ; j++)
{
Len [j] = Ep [j+1] - Ep [j] ;
}
printf ("calling CAMD_2:\n") ;
if (n > 0)
{
CAMD_2 (n, Ep, Ei, Len, E->nzmax, Ep [n], Nv, Next, P, Head, Elen,
Deg, Wi, NULL, Info, NULL, BucketSet) ;
CAMD_info (Info) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD2 permutation", cm)) ;
}
/* ------------------------------------------------------------------ */
/* error tests */
/* ------------------------------------------------------------------ */
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
ok = CAMD_order (-1, Cp, Ci, P, Control, Info, NULL) ;
OK (ok == CAMD_INVALID);
ok = CAMD_order (0, Cp, Ci, P, Control, Info, NULL) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
ok = CAMD_order (n, NULL, Ci, P, Control, Info, NULL) ;
OK (ok == CAMD_INVALID);
ok = CAMD_order (n, Cp, NULL, P, Control, Info, NULL) ;
OK (ok == CAMD_INVALID);
ok = CAMD_order (n, Cp, Ci, NULL, Control, Info, NULL) ;
OK (ok == CAMD_INVALID);
if (n > 0)
{
printf ("CAMD error tests:\n") ;
p = Cp [n] ;
Cp [n] = -1 ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
OK (ok == CAMD_INVALID) ;
if (Size_max/2 == Int_max)
{
Cp [n] = Int_max ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
printf ("CAMD status is %d\n", ok) ;
OK (ok == CAMD_OUT_OF_MEMORY) ;
}
Cp [n] = p ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
if (Cp [n] > 0)
{
printf ("Mangle column zero:\n") ;
i = Ci [0] ;
Ci [0] = -1 ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
CAMD_info (Info) ;
OK (ok == CAMD_INVALID) ;
Ci [0] = i ;
}
}
ok = CAMD_valid (n, n, Sp, Si) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
ok = CAMD_valid (-1, n, Sp, Si) ; OK (ok == CAMD_INVALID) ;
ok = CAMD_valid (n, -1, Sp, Si) ; OK (ok == CAMD_INVALID) ;
ok = CAMD_valid (n, n, NULL, Si) ; OK (ok == CAMD_INVALID) ;
ok = CAMD_valid (n, n, Sp, NULL) ; OK (ok == CAMD_INVALID) ;
if (n > 0 && Sp [n] > 0)
{
p = Sp [n] ;
Sp [n] = -1 ;
ok = CAMD_valid (n, n, Sp, Si) ; OK (ok == CAMD_INVALID) ;
Sp [n] = p ;
p = Sp [0] ;
Sp [0] = -1 ;
ok = CAMD_valid (n, n, Sp, Si) ; OK (ok == CAMD_INVALID) ;
Sp [0] = p ;
p = Sp [1] ;
Sp [1] = -1 ;
ok = CAMD_valid (n, n, Sp, Si) ; OK (ok == CAMD_INVALID) ;
Sp [1] = p ;
i = Si [0] ;
Si [0] = -1 ;
ok = CAMD_valid (n, n, Sp, Si) ; OK (ok == CAMD_INVALID) ;
Si [0] = i ;
}
ok = CAMD_valid (n, n, Sp, Si) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
CAMD_preprocess (n, Bp, Bi, Sp, Si, W, Flag) ;
ok = CAMD_valid (n, n, Sp, Si) ;
OK (ok == CAMD_OK) ;
if (n > 0 && Bp [n] > 0)
{
p = Bp [n] ;
Bp [n] = -1 ;
ok = CAMD_valid (n, n, Bp, Bi) ; OK (ok == CAMD_INVALID) ;
Bp [n] = p ;
p = Bp [1] ;
Bp [1] = -1 ;
ok = CAMD_valid (n, n, Bp, Bi) ; OK (ok == CAMD_INVALID) ;
Bp [1] = p ;
i = Bi [0] ;
Bi [0] = -1 ;
ok = CAMD_valid (n, n, Bp, Bi) ; OK (ok == CAMD_INVALID) ;
Bi [0] = i ;
}
CAMD_preprocess (n, Bp, Bi, Sp, Si, W, Flag) ;
Info [CAMD_STATUS] = 777 ;
CAMD_info (Info) ;
/* ------------------------------------------------------------------ */
/* memory tests */
/* ------------------------------------------------------------------ */
if (n > 0)
{
camd_malloc = cm->malloc_memory ;
camd_free = cm->free_memory ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
OK (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK)) ;
test_memory_handler ( ) ;
camd_malloc = cm->malloc_memory ;
camd_free = cm->free_memory ;
for (trial = 0 ; trial < 6 ; trial++)
{
my_tries = trial ;
printf ("CAMD memory trial "ID"\n", trial) ;
ok = CAMD_order (n, Cp, Ci, P, Control, Info, NULL) ;
CAMD_info (Info) ;
OK (ok == CAMD_OUT_OF_MEMORY
|| (sorted ? (ok == CAMD_OK) : (ok >= CAMD_OK))) ;
}
normal_memory_handler ( ) ;
OK (CHOLMOD(print_perm) (P, n, n, "CAMD2 permutation", cm)) ;
camd_malloc = cm->malloc_memory ;
camd_free = cm->free_memory ;
}
CHOLMOD(free_sparse) (&E, cm) ;
}
/* ---------------------------------------------------------------------- */
/* free everything */
/* ---------------------------------------------------------------------- */
CHOLMOD(free) (n, sizeof (Int), Len, cm) ;
CHOLMOD(free) (n, sizeof (Int), Nv, cm) ;
CHOLMOD(free) (n, sizeof (Int), Next, cm) ;
CHOLMOD(free) (n+1, sizeof (Int), Head, cm) ;
CHOLMOD(free) (n, sizeof (Int), Elen, cm) ;
CHOLMOD(free) (n, sizeof (Int), Deg, cm) ;
CHOLMOD(free) (n+1, sizeof (Int), Wi, cm) ;
CHOLMOD(free) (n, sizeof (Int), BucketSet, cm) ;
CHOLMOD(free) (n+1, sizeof (Int), P, cm) ;
CHOLMOD(free) (n, sizeof (Int), Constraint, cm) ;
CHOLMOD(free) (n, sizeof (Int), W, cm) ;
CHOLMOD(free) (n, sizeof (Int), Flag, cm) ;
CHOLMOD(free_sparse) (&S, cm) ;
CHOLMOD(free_sparse) (&B, cm) ;
CHOLMOD(free_sparse) (&C, cm) ;
CHOLMOD(free_sparse) (&F, cm) ;
}
GLOBAL void CAMD_1
(
Int n, /* n > 0 */
const Int Ap [ ], /* input of size n+1, not modified */
const Int Ai [ ], /* input of size nz = Ap [n], not modified */
Int P [ ], /* size n output permutation */
Int Pinv [ ], /* size n output inverse permutation */
Int Len [ ], /* size n input, undefined on output */
Int slen, /* slen >= sum (Len [0..n-1]) + 7n+2,
* ideally slen = 1.2 * sum (Len) + 8n+2 */
Int S [ ], /* size slen workspace */
double Control [ ], /* input array of size CAMD_CONTROL */
double Info [ ], /* output array of size CAMD_INFO */
const Int C [ ] /* Constraint set of size n */
)
{
Int i, j, k, p, pfree, iwlen, pj, p1, p2, pj2, *Iw, *Pe, *Nv, *Head,
*Elen, *Degree, *s, *W, *Sp, *Tp, *BucketSet ;
/* --------------------------------------------------------------------- */
/* construct the matrix for CAMD_2 */
/* --------------------------------------------------------------------- */
ASSERT (n > 0) ;
iwlen = slen - (7*n+2) ; /* allocate 7*n+2 workspace from S */
s = S ;
Pe = s ; s += n ;
Nv = s ; s += n ;
Head = s ; s += n+1 ; /* NOTE: was size n in AMD; size n+1 in CAMD */
Elen = s ; s += n ;
Degree = s ; s += n ;
W = s ; s += n+1 ; /* NOTE: was size n in AMD; size n+1 in CAMD */
BucketSet = s ; s += n ;
Iw = s ; s += iwlen ;
ASSERT (CAMD_valid (n, n, Ap, Ai) == CAMD_OK) ;
ASSERT (CAMD_cvalid (n, C)) ;
/* construct the pointers for A+A' */
Sp = Nv ; /* use Nv and W as workspace for Sp and Tp [ */
Tp = W ;
pfree = 0 ;
for (j = 0 ; j < n ; j++)
{
Pe [j] = pfree ;
Sp [j] = pfree ;
pfree += Len [j] ;
}
/* Note that this restriction on iwlen is slightly more restrictive than
* what is strictly required in CAMD_2. CAMD_2 can operate with no elbow
* room at all, but it will be very slow. For better performance, at
* least size-n elbow room is enforced. */
ASSERT (iwlen >= pfree + n) ;
#ifndef NDEBUG
for (p = 0 ; p < iwlen ; p++) Iw [p] = EMPTY ;
#endif
for (k = 0 ; k < n ; k++)
{
CAMD_DEBUG1 (("Construct row/column k= "ID" of A+A'\n", k)) ;
p1 = Ap [k] ;
p2 = Ap [k+1] ;
/* construct A+A' */
for (p = p1 ; p < p2 ; )
{
/* scan the upper triangular part of A */
j = Ai [p] ;
ASSERT (j >= 0 && j < n) ;
if (j < k)
{
/* entry A (j,k) in the strictly upper triangular part */
ASSERT (Sp [j] < (j == n-1 ? pfree : Pe [j+1])) ;
ASSERT (Sp [k] < (k == n-1 ? pfree : Pe [k+1])) ;
Iw [Sp [j]++] = k ;
Iw [Sp [k]++] = j ;
p++ ;
}
else if (j == k)
{
/* skip the diagonal */
p++ ;
break ;
}
else /* j > k */
{
/* first entry below the diagonal */
break ;
}
/* scan lower triangular part of A, in column j until reaching
* row k. Start where last scan left off. */
ASSERT (Ap [j] <= Tp [j] && Tp [j] <= Ap [j+1]) ;
pj2 = Ap [j+1] ;
for (pj = Tp [j] ; pj < pj2 ; )
{
i = Ai [pj] ;
ASSERT (i >= 0 && i < n) ;
if (i < k)
{
/* A (i,j) is only in the lower part, not in upper */
ASSERT (Sp [i] < (i == n-1 ? pfree : Pe [i+1])) ;
ASSERT (Sp [j] < (j == n-1 ? pfree : Pe [j+1])) ;
Iw [Sp [i]++] = j ;
Iw [Sp [j]++] = i ;
pj++ ;
}
else if (i == k)
{
/* entry A (k,j) in lower part and A (j,k) in upper */
pj++ ;
break ;
}
else /* i > k */
{
/* consider this entry later, when k advances to i */
break ;
}
}
Tp [j] = pj ;
}
Tp [k] = p ;
}
/* clean up, for remaining mismatched entries */
for (j = 0 ; j < n ; j++)
{
for (pj = Tp [j] ; pj < Ap [j+1] ; pj++)
{
i = Ai [pj] ;
ASSERT (i >= 0 && i < n) ;
/* A (i,j) is only in the lower part, not in upper */
ASSERT (Sp [i] < (i == n-1 ? pfree : Pe [i+1])) ;
ASSERT (Sp [j] < (j == n-1 ? pfree : Pe [j+1])) ;
Iw [Sp [i]++] = j ;
Iw [Sp [j]++] = i ;
}
}
#ifndef NDEBUG
for (j = 0 ; j < n-1 ; j++) ASSERT (Sp [j] == Pe [j+1]) ;
ASSERT (Sp [n-1] == pfree) ;
#endif
/* Tp and Sp no longer needed ] */
/* --------------------------------------------------------------------- */
/* order the matrix */
/* --------------------------------------------------------------------- */
CAMD_2 (n, Pe, Iw, Len, iwlen, pfree,
Nv, Pinv, P, Head, Elen, Degree, W, Control, Info, C, BucketSet) ;
}
