SCM

SCM Repository

[matrix] Annotation of /pkg/src/dsCMatrix.c
ViewVC logotype

Annotation of /pkg/src/dsCMatrix.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 592 - (view) (download) (as text)

1 : bates 478 #include "dsCMatrix.h"
2 : bates 10
3 : bates 478 SEXP dsCMatrix_validate(SEXP obj)
4 : bates 10 {
5 : bates 592 SEXP val = check_scalar_string(GET_SLOT(obj, Matrix_uploSym),
6 :     "LU", "uplo");
7 : bates 10 int *Dim = INTEGER(GET_SLOT(obj, Matrix_DimSym));
8 : maechler 534
9 : bates 592 if (isString(val)) return val;
10 : bates 10 if (Dim[0] != Dim[1])
11 : bates 582 return mkString(_("Symmetric matrix must be square"));
12 : bates 10 csc_check_column_sorting(obj);
13 :     return ScalarLogical(1);
14 :     }
15 :    
16 : bates 478 SEXP dsCMatrix_chol(SEXP x, SEXP pivot)
17 : bates 10 {
18 : bates 257 SEXP pSlot = GET_SLOT(x, Matrix_pSym), xorig = x;
19 :     int *Ai = INTEGER(GET_SLOT(x, Matrix_iSym)),
20 :     *Ap = INTEGER(pSlot),
21 :     *Lp, *Parent, info,
22 : maechler 534 lo = CHAR(asChar(GET_SLOT(x, Matrix_uploSym)))[0] == 'L',
23 : bates 257 n = length(pSlot)-1,
24 :     nnz, piv = asLogical(pivot);
25 : bates 488 SEXP val = PROTECT(NEW_OBJECT(MAKE_CLASS("dCholCMatrix")));
26 : bates 492 int *P, *Pinv;
27 : bates 257 double *Ax;
28 : bates 10
29 : bates 492 /* FIXME: Check if there is a Cholesky factorization. If yes,
30 :     check if the permutation status matches that of the call. If
31 :     so, return it. */
32 : maechler 534
33 : bates 257 if (lo) {
34 :     x = PROTECT(ssc_transpose(x));
35 :     Ai = INTEGER(GET_SLOT(x, Matrix_iSym));
36 :     Ap = INTEGER(GET_SLOT(x, Matrix_pSym));
37 :     }
38 : bates 492 SET_SLOT(val, Matrix_uploSym, mkString("L"));
39 :     SET_SLOT(val, Matrix_diagSym, mkString("U"));
40 : bates 257 SET_SLOT(val, Matrix_DimSym, duplicate(GET_SLOT(x, Matrix_DimSym)));
41 :     SET_SLOT(val, Matrix_ParentSym, allocVector(INTSXP, n));
42 :     Parent = INTEGER(GET_SLOT(val, Matrix_ParentSym));
43 :     SET_SLOT(val, Matrix_pSym, allocVector(INTSXP, n + 1));
44 :     Lp = INTEGER(GET_SLOT(val, Matrix_pSym));
45 : bates 492 SET_SLOT(val, Matrix_permSym, allocVector(INTSXP, n));
46 :     P = INTEGER(GET_SLOT(val, Matrix_permSym));
47 : bates 10 if (piv) {
48 : bates 478 SEXP trip = PROTECT(dsCMatrix_to_dgTMatrix(x));
49 : bates 257 SEXP Ti = GET_SLOT(trip, Matrix_iSym);
50 : bates 10
51 : bates 257 /* determine the permutation with Metis */
52 :     Pinv = Calloc(n, int);
53 :     ssc_metis_order(n, Ap, Ai, P, Pinv);
54 :     /* create a symmetrized form of x */
55 :     nnz = length(Ti);
56 :     Ai = Calloc(nnz, int);
57 :     Ax = Calloc(nnz, double);
58 :     Ap = Calloc(n + 1, int);
59 : bates 488 triplet_to_col(n, n, nnz, INTEGER(Ti),
60 : bates 257 INTEGER(GET_SLOT(trip, Matrix_jSym)),
61 :     REAL(GET_SLOT(trip, Matrix_xSym)),
62 :     Ap, Ai, Ax);
63 : bates 492 UNPROTECT(1);
64 :     } else {
65 :     int i;
66 :     for (i = 0; i < n; i++) P[i] = i;
67 :     Ax = REAL(GET_SLOT(x, Matrix_xSym));
68 :    
69 :     }
70 :     R_ldl_symbolic(n, Ap, Ai, Lp, Parent, (piv) ? P : (int *)NULL,
71 :     (piv) ? Pinv : (int *)NULL);
72 : bates 257 nnz = Lp[n];
73 : bates 10 SET_SLOT(val, Matrix_iSym, allocVector(INTSXP, nnz));
74 :     SET_SLOT(val, Matrix_xSym, allocVector(REALSXP, nnz));
75 : maechler 534 SET_SLOT(val, Matrix_DSym, allocVector(REALSXP, n));
76 : bates 492 info = R_ldl_numeric(n, Ap, Ai, Ax, Lp, Parent,
77 :     INTEGER(GET_SLOT(val, Matrix_iSym)),
78 :     REAL(GET_SLOT(val, Matrix_xSym)),
79 :     REAL(GET_SLOT(val, Matrix_DSym)),
80 :     (piv) ? P : (int *)NULL,
81 :     (piv) ? Pinv : (int *)NULL);
82 : bates 257 if (info != n)
83 : bates 582 error(_("Leading minor of size %d (possibly after permutation) is indefinite"),
84 : bates 257 info + 1);
85 :     if (piv) {
86 :     Free(Pinv); Free(Ax); Free(Ai); Free(Ap);
87 :     }
88 :     UNPROTECT(lo ? 2 : 1);
89 : bates 476 return set_factors(xorig, val, "Cholesky");
90 : bates 10 }
91 :    
92 : bates 478 SEXP dsCMatrix_matrix_solve(SEXP a, SEXP b)
93 : bates 10 {
94 : bates 476 SEXP Chol = get_factors(a, "Cholesky"), perm,
95 : bates 10 val = PROTECT(duplicate(b));
96 :     int *adims = INTEGER(GET_SLOT(a, Matrix_DimSym)),
97 :     *bdims = INTEGER(getAttrib(b, R_DimSymbol)),
98 : bates 257 *Li, *Lp, j, n = adims[1], ncol = bdims[1], piv;
99 :     double *Lx, *D, *in = REAL(b), *out = REAL(val), *tmp = (double *) NULL;
100 : bates 10
101 :     if (!(isReal(b) && isMatrix(b)))
102 : bates 582 error(_("Argument b must be a numeric matrix"));
103 : bates 10 if (*adims != *bdims || bdims[1] < 1 || *adims < 1)
104 : bates 582 error(_("Dimensions of system to be solved are inconsistent"));
105 : bates 478 if (Chol == R_NilValue) Chol = dsCMatrix_chol(a, ScalarLogical(1));
106 : bates 257 perm = GET_SLOT(Chol, Matrix_permSym);
107 :     piv = length(perm);
108 :     if (piv) tmp = Calloc(n, double);
109 :     Li = INTEGER(GET_SLOT(Chol, Matrix_iSym));
110 :     Lp = INTEGER(GET_SLOT(Chol, Matrix_pSym));
111 :     Lx = REAL(GET_SLOT(Chol, Matrix_xSym));
112 :     D = REAL(GET_SLOT(Chol, Matrix_DSym));
113 : bates 308 for (j = 0; j < ncol; j++, in += n, out += n) {
114 : bates 366 if (piv) R_ldl_perm(n, out, in, INTEGER(perm));
115 : bates 257 else Memcpy(out, in, n);
116 : bates 366 R_ldl_lsolve(n, out, Lp, Li, Lx);
117 :     R_ldl_dsolve(n, out, D);
118 :     R_ldl_ltsolve(n, out, Lp, Li, Lx);
119 :     if (piv) R_ldl_permt(n, out, Memcpy(tmp, out, n), INTEGER(perm));
120 : bates 10 }
121 : bates 257 if (piv) Free(tmp);
122 : bates 10 UNPROTECT(1);
123 :     return val;
124 :     }
125 :    
126 : bates 478 SEXP dsCMatrix_inverse_factor(SEXP A)
127 : bates 10 {
128 : bates 257 return R_NilValue; /* FIXME: Write this function. */
129 : bates 10 }
130 :    
131 :     SEXP ssc_transpose(SEXP x)
132 :     {
133 : bates 587 SEXP ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dsCMatrix"))),
134 : bates 10 islot = GET_SLOT(x, Matrix_iSym);
135 : bates 587 int nnz = length(islot), *adims,
136 : bates 10 *xdims = INTEGER(GET_SLOT(x, Matrix_DimSym));
137 :    
138 : bates 587 adims = INTEGER(ALLOC_SLOT(ans, Matrix_DimSym, INTSXP, 2));
139 : bates 10 adims[0] = xdims[1]; adims[1] = xdims[0];
140 : maechler 534 if (CHAR(asChar(GET_SLOT(x, Matrix_uploSym)))[0] == 'U')
141 :     SET_SLOT(ans, Matrix_uploSym, mkString("L"));
142 : bates 587 csc_compTr(xdims[0], xdims[1], nnz,
143 :     INTEGER(GET_SLOT(x, Matrix_pSym)), INTEGER(islot),
144 :     REAL(GET_SLOT(x, Matrix_xSym)),
145 :     INTEGER(ALLOC_SLOT(ans, Matrix_pSym, INTSXP, xdims[0] + 1)),
146 :     INTEGER(ALLOC_SLOT(ans, Matrix_iSym, INTSXP, nnz)),
147 :     REAL(ALLOC_SLOT(ans, Matrix_xSym, REALSXP, nnz)));
148 : bates 10 UNPROTECT(1);
149 :     return ans;
150 :     }
151 : bates 70
152 : bates 478 SEXP dsCMatrix_to_dgTMatrix(SEXP x)
153 : bates 70 {
154 :     SEXP
155 : bates 478 ans = PROTECT(NEW_OBJECT(MAKE_CLASS("dgTMatrix"))),
156 : bates 70 islot = GET_SLOT(x, Matrix_iSym),
157 :     pslot = GET_SLOT(x, Matrix_pSym);
158 :     int *ai, *aj, *iv = INTEGER(islot),
159 :     j, jj, nnz = length(islot), nout,
160 :     n = length(pslot) - 1,
161 :     *p = INTEGER(pslot), pos;
162 :     double *ax, *xv = REAL(GET_SLOT(x, Matrix_xSym));
163 :    
164 :     /* increment output count by number of off-diagonals */
165 :     nout = nnz;
166 :     for (j = 0; j < n; j++) {
167 :     int p2 = p[j+1];
168 :     for (jj = p[j]; jj < p2; jj++) {
169 :     if (iv[jj] != j) nout++;
170 :     }
171 :     }
172 :     SET_SLOT(ans, Matrix_DimSym, duplicate(GET_SLOT(x, Matrix_DimSym)));
173 :     SET_SLOT(ans, Matrix_iSym, allocVector(INTSXP, nout));
174 :     ai = INTEGER(GET_SLOT(ans, Matrix_iSym));
175 :     SET_SLOT(ans, Matrix_jSym, allocVector(INTSXP, nout));
176 :     aj = INTEGER(GET_SLOT(ans, Matrix_jSym));
177 :     SET_SLOT(ans, Matrix_xSym, allocVector(REALSXP, nout));
178 :     ax = REAL(GET_SLOT(ans, Matrix_xSym));
179 :     pos = 0;
180 :     for (j = 0; j < n; j++) {
181 :     int p2 = p[j+1];
182 :     for (jj = p[j]; jj < p2; jj++) {
183 :     int ii = iv[jj];
184 :     double xx = xv[jj];
185 : maechler 534
186 : bates 70 ai[pos] = ii; aj[pos] = j; ax[pos] = xx; pos++;
187 :     if (ii != j) {
188 :     aj[pos] = ii; ai[pos] = j; ax[pos] = xx; pos++;
189 :     }
190 :     }
191 :     }
192 :     UNPROTECT(1);
193 :     return ans;
194 :     }
195 : bates 153
196 : bates 478 SEXP dsCMatrix_ldl_symbolic(SEXP x, SEXP doPerm)
197 : bates 153 {
198 : bates 209 SEXP Ax, Dims = GET_SLOT(x, Matrix_DimSym),
199 :     ans = PROTECT(allocVector(VECSXP, 3)), tsc;
200 :     int i, n = INTEGER(Dims)[0], nz, nza,
201 :     *Ap, *Ai, *Lp, *Li, *Parent,
202 :     doperm = asLogical(doPerm),
203 :     *P = (int *) NULL, *Pinv = (int *) NULL;
204 : bates 153
205 : bates 209
206 : maechler 534 if (CHAR(asChar(GET_SLOT(x, Matrix_uploSym)))[0] == 'L') {
207 : bates 209 x = PROTECT(ssc_transpose(x));
208 :     } else {
209 :     x = PROTECT(duplicate(x));
210 :     }
211 :     Ax = GET_SLOT(x, Matrix_xSym);
212 :     nza = length(Ax);
213 :     Ap = INTEGER(GET_SLOT(x, Matrix_pSym));
214 :     Ai = INTEGER(GET_SLOT(x, Matrix_iSym));
215 :     if (doperm) {
216 : bates 366 int *perm, *iperm = Calloc(n, int);
217 :    
218 : bates 209 SET_VECTOR_ELT(ans, 2, allocVector(INTSXP, n));
219 :     perm = INTEGER(VECTOR_ELT(ans, 2));
220 : bates 366 ssc_metis_order(n, Ap, Ai, perm, iperm);
221 :     ssc_symbolic_permute(n, 1, iperm, Ap, Ai);
222 :     Free(iperm);
223 : bates 209 }
224 : bates 153 SET_VECTOR_ELT(ans, 0, allocVector(INTSXP, n));
225 : bates 209 Parent = INTEGER(VECTOR_ELT(ans, 0));
226 : bates 478 SET_VECTOR_ELT(ans, 1, NEW_OBJECT(MAKE_CLASS("dtCMatrix")));
227 : bates 209 tsc = VECTOR_ELT(ans, 1);
228 : maechler 534 SET_SLOT(tsc, Matrix_uploSym, mkString("L"));
229 :     SET_SLOT(tsc, Matrix_diagSym, mkString("U"));
230 : bates 209 SET_SLOT(tsc, Matrix_DimSym, Dims);
231 :     SET_SLOT(tsc, Matrix_pSym, allocVector(INTSXP, n + 1));
232 :     Lp = INTEGER(GET_SLOT(tsc, Matrix_pSym));
233 : bates 366 R_ldl_symbolic(n, Ap, Ai, Lp, Parent, P, Pinv);
234 : bates 209 nz = Lp[n];
235 :     SET_SLOT(tsc, Matrix_iSym, allocVector(INTSXP, nz));
236 :     Li = INTEGER(GET_SLOT(tsc, Matrix_iSym));
237 :     SET_SLOT(tsc, Matrix_xSym, allocVector(REALSXP, nz));
238 :     for (i = 0; i < nza; i++) REAL(Ax)[i] = 0.00001;
239 :     for (i = 0; i < n; i++) REAL(Ax)[Ap[i+1]-1] = 10000.;
240 : bates 366 i = R_ldl_numeric(n, Ap, Ai, REAL(Ax), Lp, Parent, Li,
241 : bates 209 REAL(GET_SLOT(tsc, Matrix_xSym)),
242 :     (double *) R_alloc(n, sizeof(double)), /* D */
243 : bates 366 P, Pinv);
244 : bates 209 UNPROTECT(2);
245 : bates 153 return ans;
246 :     }
247 : bates 184
248 : bates 478 SEXP dsCMatrix_metis_perm(SEXP x)
249 : bates 184 {
250 :     SEXP pSlot = GET_SLOT(x, Matrix_pSym),
251 :     ans = PROTECT(allocVector(VECSXP, 2));
252 :     int n = length(pSlot) - 1;
253 : maechler 534
254 : bates 184 SET_VECTOR_ELT(ans, 0, allocVector(INTSXP, n));
255 : maechler 534 SET_VECTOR_ELT(ans, 1, allocVector(INTSXP, n));
256 : bates 184 ssc_metis_order(n,
257 :     INTEGER(pSlot),
258 :     INTEGER(GET_SLOT(x, Matrix_iSym)),
259 :     INTEGER(VECTOR_ELT(ans, 0)),
260 :     INTEGER(VECTOR_ELT(ans, 1)));
261 :     UNPROTECT(1);
262 :     return ans;
263 :     }
264 :    

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