SCM

SCM Repository

[matrix] Diff of /pkg/Matrix/src/dtCMatrix.c
ViewVC logotype

Diff of /pkg/Matrix/src/dtCMatrix.c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

pkg/src/dtCMatrix.c revision 592, Thu Mar 3 05:16:50 2005 UTC pkg/Matrix/src/dtCMatrix.c revision 2889, Thu Aug 8 21:06:22 2013 UTC
# Line 1  Line 1 
1                                  /* Sparse triangular matrices */                                  /* Sparse triangular numeric matrices */
2  #include "dtCMatrix.h"  #include "dtCMatrix.h"
3    #include "cs_utils.h"
4    
5  SEXP tsc_validate(SEXP x)  #define RETURN(_CH_)   UNPROTECT(1); return (_CH_);
6    
7    /* This is used for *BOTH* triangular and symmetric Csparse: */
8    SEXP tCMatrix_validate(SEXP x)
9  {  {
10      SEXP val;      SEXP val = xCMatrix_validate(x);/* checks x slot */
11        if(isString(val))
12            return(val);
13        else {
14            SEXP
15                islot = GET_SLOT(x, Matrix_iSym),
16                pslot = GET_SLOT(x, Matrix_pSym);
17            int uploT = (*uplo_P(x) == 'U'),
18                k, nnz = length(islot),
19                *xi = INTEGER(islot),
20                *xj = INTEGER(PROTECT(allocVector(INTSXP, nnz)));
21    
22            expand_cmprPt(length(pslot) - 1, INTEGER(pslot), xj);
23    
24      if (isString(val = check_scalar_string(GET_SLOT(x, Matrix_uploSym),          /* Maybe FIXME: ">" should be ">="      for diag = 'U' (uplo = 'U') */
25                                             "LU", "uplo"))) return val;          if(uploT) {
26      if (isString(val = check_scalar_string(GET_SLOT(x, Matrix_diagSym),              for (k = 0; k < nnz; k++)
27                                             "NU", "diag"))) return val;                  if(xi[k] > xj[k]) {
28      return ScalarLogical(1);                      RETURN(mkString(_("uplo='U' must not have sparse entries below the diagonal")));
29                    }
30            }
31            else {
32                for (k = 0; k < nnz; k++)
33                    if(xi[k] < xj[k]) {
34                        RETURN(mkString(_("uplo='L' must not have sparse entries above the diagonal")));
35                    }
36  }  }
37    
38  SEXP tsc_transpose(SEXP x)          RETURN(ScalarLogical(1));
39  {      }
     SEXP  
         ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dtCMatrix"))),  
         islot = GET_SLOT(x, Matrix_iSym);  
     int nnz = length(islot),  
         *adims, *xdims = INTEGER(GET_SLOT(x, Matrix_DimSym));  
   
     adims = INTEGER(ALLOC_SLOT(ans, Matrix_DimSym, INTSXP, 2));  
     adims[0] = xdims[1]; adims[1] = xdims[0];  
     if (CHAR(asChar(GET_SLOT(x, Matrix_uploSym)))[0] == 'U')  
         SET_SLOT(ans, Matrix_uploSym, mkString("L"));  
     csc_compTr(xdims[0], xdims[1], nnz,  
                INTEGER(GET_SLOT(x, Matrix_pSym)), INTEGER(islot),  
                REAL(GET_SLOT(x, Matrix_xSym)),  
                INTEGER(ALLOC_SLOT(ans, Matrix_pSym, INTSXP, xdims[0] + 1)),  
                INTEGER(ALLOC_SLOT(ans, Matrix_iSym, INTSXP, nnz)),  
                REAL(ALLOC_SLOT(ans, Matrix_xSym, REALSXP, nnz)));  
     UNPROTECT(1);  
     return ans;  
40  }  }
41    
42  SEXP tsc_to_dgTMatrix(SEXP x)  /* This is used for *BOTH* triangular and symmetric Rsparse: */
43    SEXP tRMatrix_validate(SEXP x)
44  {  {
45      SEXP ans;      SEXP val = xRMatrix_validate(x);/* checks x slot */
46      if (CHAR(STRING_ELT(GET_SLOT(x, Matrix_diagSym), 0))[0] != 'U')      if(isString(val))
47          ans = csc_to_dgTMatrix(x);          return(val);
48      else {                      /* unit triangular matrix */      else {
49          SEXP islot = GET_SLOT(x, Matrix_iSym),          SEXP
50                jslot = GET_SLOT(x, Matrix_jSym),
51              pslot = GET_SLOT(x, Matrix_pSym);              pslot = GET_SLOT(x, Matrix_pSym);
52          int *ai, *aj, j,          int uploT = (*uplo_P(x) == 'U'),
53              n = length(pslot) - 1,              k, nnz = length(jslot),
54              nod = length(islot),              *xj = INTEGER(jslot),
55              nout = n + nod,              *xi = INTEGER(PROTECT(allocVector(INTSXP, nnz)));
56              *p = INTEGER(pslot);  
57          double *ax;          expand_cmprPt(length(pslot) - 1, INTEGER(pslot), xi);
58    
59          ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dgTMatrix")));          /* Maybe FIXME: ">" should be ">="      for diag = 'U' (uplo = 'U') */
60          SET_SLOT(ans, Matrix_DimSym, duplicate(GET_SLOT(x, Matrix_DimSym)));          if(uploT) {
61          SET_SLOT(ans, Matrix_iSym, allocVector(INTSXP, nout));              for (k = 0; k < nnz; k++)
62          ai = INTEGER(GET_SLOT(ans, Matrix_iSym));                  if(xi[k] > xj[k]) {
63          Memcpy(ai, INTEGER(islot), nod);                      RETURN(mkString(_("uplo='U' must not have sparse entries below the diagonal")));
64          SET_SLOT(ans, Matrix_jSym, allocVector(INTSXP, nout));                  }
65          aj = INTEGER(GET_SLOT(ans, Matrix_jSym));          }
66          SET_SLOT(ans, Matrix_xSym, allocVector(REALSXP, nout));          else {
67          ax = REAL(GET_SLOT(ans, Matrix_xSym));              for (k = 0; k < nnz; k++)
68          Memcpy(ax, REAL(GET_SLOT(x, Matrix_xSym)), nod);                  if(xi[k] < xj[k]) {
69          for (j = 0; j < n; j++) {                      RETURN(mkString(_("uplo='L' must not have sparse entries above the diagonal")));
70              int jj, npj = nod + j,  p2 = p[j+1];                  }
71              aj[npj] = ai[npj] = j;          }
72              ax[npj] = 1.;  
73              for (jj = p[j]; jj < p2; jj++) aj[jj] = j;          RETURN(ScalarLogical(1));
74          }      }
75          UNPROTECT(1);  }
76      }  
77      return ans;  SEXP dtCMatrix_matrix_solve(SEXP a, SEXP b, SEXP classed)
 }  
   
 /**  
  * Derive the column pointer vector for the inverse of L from the parent array  
  *  
  * @param n length of parent array  
  * @param countDiag 0 for a unit triangular matrix with implicit diagonal, otherwise 1  
  * @param pr parent vector describing the elimination tree  
  * @param ap array of length n+1 to be filled with the column pointers  
  *  
  * @return the number of non-zero entries (ap[n])  
  */  
 int parent_inv_ap(int n, int countDiag, const int pr[], int ap[])  
78  {  {
79      int *sz = Calloc(n, int), j;      int cl = asLogical(classed);
80        SEXP ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dgeMatrix")));
81        CSP A = AS_CSP(a);
82        int *adims = INTEGER(GET_SLOT(a, Matrix_DimSym)),
83            *bdims = INTEGER(cl ? GET_SLOT(b, Matrix_DimSym) :
84                             getAttrib(b, R_DimSymbol));
85        int j, n = bdims[0], nrhs = bdims[1], lo = (*uplo_P(a) == 'L');
86        double *bx;
87        R_CheckStack();
88    
89        if (*adims != n || nrhs < 1 || *adims < 1 || *adims != adims[1])
90            error(_("Dimensions of system to be solved are inconsistent"));
91        Memcpy(INTEGER(ALLOC_SLOT(ans, Matrix_DimSym, INTSXP, 2)), bdims, 2);
92        /* FIXME: copy dimnames or Dimnames as well */
93        bx = Memcpy(REAL(ALLOC_SLOT(ans, Matrix_xSym, REALSXP, n * nrhs)),
94                    REAL(cl ? GET_SLOT(b, Matrix_xSym):b), n * nrhs);
95        for (j = 0; j < nrhs; j++)
96            lo ? cs_lsolve(A, bx + n * j) : cs_usolve(A, bx + n * j);
97        RETURN(ans);
98    }
99    
100      for (j = n - 1; j >= 0; j--) {  SEXP dtCMatrix_sparse_solve(SEXP a, SEXP b)
         int parent = pr[j];  
         sz[j] = (parent < 0) ?  countDiag : (1 + sz[parent]);  
     }  
     ap[0] = 0;  
     for (j = 0; j < n; j++)  
         ap[j+1] = ap[j] + sz[j];  
     Free(sz);  
     return ap[n];  
 }  
   
 /**  
  * Derive the row index array for the inverse of L from the parent array  
  *  
  * @param n length of parent array  
  * @param countDiag 0 for a unit triangular matrix with implicit diagonal, otherwise 1  
  * @param pr parent vector describing the elimination tree  
  * @param ai row index vector of length ap[n]  
  */  
 void parent_inv_ai(int n, int countDiag, const int pr[], int ai[])  
101  {  {
102      int j, k, pos = 0;      SEXP ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dgCMatrix")));
103      for (j = 0; j < n; j++) {      CSP A = AS_CSP(a), B = AS_CSP(b);
104          if (countDiag) ai[pos++] = j;      R_CheckStack();
105          for (k = pr[j]; k >= 0; k = pr[k]) ai[pos++] = k;      if (A->m != A->n || B->n < 1 || A->n < 1 || A->n != B->m)
106            error(_("Dimensions of system to be solved are inconsistent"));
107        // *before* Calloc()ing below [memory leak]!
108    
109        int *xp = INTEGER(ALLOC_SLOT(ans, Matrix_pSym, INTSXP, (B->n) + 1)),
110            xnz = 10 * B->p[B->n];  /* initial estimate of nnz in x */
111        int k, lo = uplo_P(a)[0] == 'L', pos = 0;
112        int    *ti = Calloc(xnz, int),     *xi = Calloc(2*A->n, int); /* for cs_reach */
113        double *tx = Calloc(xnz, double), *wrk = Calloc(  A->n, double);
114    
115        slot_dup(ans, b, Matrix_DimSym);
116        SET_DimNames(ans, b);
117        xp[0] = 0;
118        for (k = 0; k < B->n; k++) {
119            int top = cs_spsolve (A, B, k, xi, wrk, (int *)NULL, lo);
120            int nz = A->n - top;
121    
122            xp[k + 1] = nz + xp[k];
123            if (xp[k + 1] > xnz) {
124                while (xp[k + 1] > xnz) xnz *= 2;
125                ti = Realloc(ti, xnz, int);
126                tx = Realloc(tx, xnz, double);
127            }
128            if (lo)                 /* increasing row order */
129                for(int p = top; p < A->n; p++, pos++) {
130                    ti[pos] = xi[p];
131                    tx[pos] = wrk[xi[p]];
132                }
133            else                    /* decreasing order, reverse copy */
134                for(int p = A->n - 1; p >= top; p--, pos++) {
135                    ti[pos] = xi[p];
136                    tx[pos] = wrk[xi[p]];
137      }      }
138  }  }
139        xnz = xp[B->n];
140        Memcpy(INTEGER(ALLOC_SLOT(ans, Matrix_iSym, INTSXP,  xnz)), ti, xnz);
141        Memcpy(   REAL(ALLOC_SLOT(ans, Matrix_xSym, REALSXP, xnz)), tx, xnz);
142    
143  SEXP Parent_inverse(SEXP par, SEXP unitdiag)      Free(ti);  Free(tx);
144  {      Free(wrk); Free(xi);
145      SEXP ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dtCMatrix")));  
146      int *ap, *ai, *dims, *pr = INTEGER(par),      RETURN(ans);
         countDiag = 1 - asLogical(unitdiag),  
         j, n = length(par), nnz;  
     double *ax;  
   
     if (!isInteger(par)) error(_("par argument must be an integer vector"));  
     SET_SLOT(ans, Matrix_pSym, allocVector(INTSXP, n + 1));  
     ap = INTEGER(GET_SLOT(ans, Matrix_pSym));  
     nnz = parent_inv_ap(n, countDiag, pr, ap);  
     SET_SLOT(ans, Matrix_iSym, allocVector(INTSXP, nnz));  
     ai = INTEGER(GET_SLOT(ans, Matrix_iSym));  
     SET_SLOT(ans, Matrix_xSym, allocVector(REALSXP, nnz));  
     ax = REAL(GET_SLOT(ans, Matrix_xSym));  
     for (j = 0; j < nnz; j++) ax[j] = 1.;  
     SET_SLOT(ans, Matrix_DimSym, allocVector(INTSXP, 2));  
     dims = INTEGER(GET_SLOT(ans, Matrix_DimSym));  
     dims[0] = dims[1] = n;  
     SET_SLOT(ans, Matrix_uploSym, mkString("L"));  
     SET_SLOT(ans, Matrix_diagSym, (countDiag ? mkString("N") : mkString("U")));  
     parent_inv_ai(n, countDiag, pr, ai);  
     UNPROTECT(1);  
     return ans;  
147  }  }
148    #undef RETURN
149    

Legend:
Removed from v.592  
changed lines
  Added in v.2889

root@r-forge.r-project.org
ViewVC Help
Powered by ViewVC 1.0.0  
Thanks to:
Vienna University of Economics and Business Powered By FusionForge