SCM

SCM Repository

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

Annotation of /pkg/Matrix/src/Csparse.c

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1893 - (view) (download) (as text)
Original Path: pkg/src/Csparse.c

1 : bates 1218 /* Sparse matrices in compressed column-oriented form */
2 : bates 922 #include "Csparse.h"
3 :     #include "chm_common.h"
4 :    
5 :     SEXP Csparse_validate(SEXP x)
6 :     {
7 : maechler 1575 /* NB: we do *NOT* check a potential 'x' slot here, at all */
8 : bates 922 SEXP pslot = GET_SLOT(x, Matrix_pSym),
9 :     islot = GET_SLOT(x, Matrix_iSym);
10 : maechler 1893 Rboolean sorted, strictly;
11 :     int j, k,
12 : bates 922 *dims = INTEGER(GET_SLOT(x, Matrix_DimSym)),
13 : maechler 1660 nrow = dims[0],
14 :     ncol = dims[1],
15 : maechler 1654 *xp = INTEGER(pslot),
16 : bates 922 *xi = INTEGER(islot);
17 :    
18 : maechler 1654 if (length(pslot) != dims[1] + 1)
19 :     return mkString(_("slot p must have length = ncol(.) + 1"));
20 : bates 922 if (xp[0] != 0)
21 :     return mkString(_("first element of slot p must be zero"));
22 : maechler 1893 if (length(islot) < xp[ncol]) /* allow larger slots from over-allocation!*/
23 : bates 1555 return
24 :     mkString(_("last element of slot p must match length of slots i and x"));
25 :     for (j = 0; j < length(islot); j++) {
26 :     if (xi[j] < 0 || xi[j] >= nrow)
27 :     return mkString(_("all row indices must be between 0 and nrow-1"));
28 :     }
29 : maechler 1893 sorted = TRUE; strictly = TRUE;
30 : bates 922 for (j = 0; j < ncol; j++) {
31 :     if (xp[j] > xp[j+1])
32 :     return mkString(_("slot p must be non-decreasing"));
33 : maechler 1893 if(sorted)
34 :     for (k = xp[j] + 1; k < xp[j + 1]; k++) {
35 :     if (xi[k] < xi[k - 1])
36 :     sorted = FALSE;
37 :     else if (xi[k] == xi[k - 1])
38 :     strictly = FALSE;
39 :     }
40 : bates 922 }
41 : maechler 1654 if (!sorted) {
42 :     cholmod_sparse *chx = as_cholmod_sparse(x);
43 :     cholmod_sort(chx, &c);
44 :     Free(chx);
45 : maechler 1893 /* Now re-check that row indices are *strictly* increasing
46 :     * (and not just increasing) within each column : */
47 :     for (j = 0; j < ncol; j++) {
48 :     for (k = xp[j] + 1; k < xp[j + 1]; k++)
49 :     if (xi[k] == xi[k - 1])
50 :     return mkString(_("slot i is not *strictly* increasing inside a column (even after cholmod_sort)"));
51 :     }
52 :    
53 :     } else if(!strictly) { /* sorted, but not strictly */
54 :     return mkString(_("slot i is not *strictly* increasing inside a column"));
55 : maechler 1654 }
56 : bates 922 return ScalarLogical(1);
57 :     }
58 :    
59 : maechler 1751 /* Called from ../R/Csparse.R : */
60 :     /* Can only return [dln]geMatrix (no symm/triang);
61 :     * FIXME: replace by non-CHOLMOD code ! */
62 : bates 1059 SEXP Csparse_to_dense(SEXP x)
63 :     {
64 :     cholmod_sparse *chxs = as_cholmod_sparse(x);
65 : maechler 1751 /* This loses the symmetry property, since cholmod_dense has none,
66 :     * BUT, much worse (FIXME!), it also transforms CHOLMOD_PATTERN ("n") matrices
67 :     * to numeric (CHOLMOD_REAL) ones : */
68 : bates 1059 cholmod_dense *chxd = cholmod_sparse_to_dense(chxs, &c);
69 : maechler 1751 int Rkind = (chxs->xtype == CHOLMOD_PATTERN)? -1 : Real_kind(x);
70 : bates 1059
71 : bates 1141 Free(chxs);
72 : maechler 1736 return chm_dense_to_SEXP(chxd, 1, Rkind, GET_SLOT(x, Matrix_DimNamesSym));
73 : bates 1059 }
74 :    
75 : maechler 1548 SEXP Csparse_to_nz_pattern(SEXP x, SEXP tri)
76 : bates 1371 {
77 :     cholmod_sparse *chxs = as_cholmod_sparse(x);
78 :     cholmod_sparse
79 :     *chxcp = cholmod_copy(chxs, chxs->stype, CHOLMOD_PATTERN, &c);
80 : bates 1867 int tr = asLogical(tri);
81 : bates 1371
82 :     Free(chxs);
83 : bates 1867 return chm_sparse_to_SEXP(chxcp, 1,
84 :     tr ? ((*uplo_P(x) == 'U') ? 1 : -1) : 0,
85 :     0, tr ? diag_P(x) : "",
86 : maechler 1548 GET_SLOT(x, Matrix_DimNamesSym));
87 : bates 1371 }
88 :    
89 : bates 1366 SEXP Csparse_to_matrix(SEXP x)
90 : bates 922 {
91 : maechler 925 cholmod_sparse *chxs = as_cholmod_sparse(x);
92 : bates 1366 cholmod_dense *chxd = cholmod_sparse_to_dense(chxs, &c);
93 :    
94 :     Free(chxs);
95 :     return chm_dense_to_matrix(chxd, 1,
96 :     GET_SLOT(x, Matrix_DimNamesSym));
97 :     }
98 :    
99 :     SEXP Csparse_to_Tsparse(SEXP x, SEXP tri)
100 :     {
101 :     cholmod_sparse *chxs = as_cholmod_sparse(x);
102 : bates 922 cholmod_triplet *chxt = cholmod_sparse_to_triplet(chxs, &c);
103 : bates 1867 int tr = asLogical(tri);
104 : maechler 1736 int Rkind = (chxs->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
105 : bates 922
106 : bates 1141 Free(chxs);
107 : bates 1867 return chm_triplet_to_SEXP(chxt, 1,
108 :     tr ? ((*uplo_P(x) == 'U') ? 1 : -1) : 0,
109 :     Rkind, tr ? diag_P(x) : "",
110 : bates 1371 GET_SLOT(x, Matrix_DimNamesSym));
111 : bates 922 }
112 :    
113 : bates 1448 /* this used to be called sCMatrix_to_gCMatrix(..) [in ./dsCMatrix.c ]: */
114 : bates 1371 SEXP Csparse_symmetric_to_general(SEXP x)
115 :     {
116 :     cholmod_sparse *chx = as_cholmod_sparse(x), *chgx;
117 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
118 : bates 1371
119 :     if (!(chx->stype))
120 : maechler 1548 error(_("Nonsymmetric matrix in Csparse_symmetric_to_general"));
121 : maechler 1375 chgx = cholmod_copy(chx, /* stype: */ 0, chx->xtype, &c);
122 :     /* xtype: pattern, "real", complex or .. */
123 : bates 1371 Free(chx);
124 : maechler 1548 return chm_sparse_to_SEXP(chgx, 1, 0, Rkind, "",
125 : bates 1371 GET_SLOT(x, Matrix_DimNamesSym));
126 :     }
127 :    
128 : maechler 1618 SEXP Csparse_general_to_symmetric(SEXP x, SEXP uplo)
129 : maechler 1598 {
130 :     cholmod_sparse *chx = as_cholmod_sparse(x), *chgx;
131 : maechler 1710 int uploT = (*CHAR(asChar(uplo)) == 'U') ? 1 : -1;
132 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
133 : maechler 1598
134 : maechler 1618 chgx = cholmod_copy(chx, /* stype: */ uploT, chx->xtype, &c);
135 : maechler 1598 /* xtype: pattern, "real", complex or .. */
136 :     Free(chx);
137 :     return chm_sparse_to_SEXP(chgx, 1, 0, Rkind, "",
138 :     GET_SLOT(x, Matrix_DimNamesSym));
139 :     }
140 :    
141 : bates 1369 SEXP Csparse_transpose(SEXP x, SEXP tri)
142 : bates 922 {
143 :     cholmod_sparse *chx = as_cholmod_sparse(x);
144 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
145 : bates 922 cholmod_sparse *chxt = cholmod_transpose(chx, (int) chx->xtype, &c);
146 : bates 1366 SEXP dn = PROTECT(duplicate(GET_SLOT(x, Matrix_DimNamesSym))), tmp;
147 : bates 1867 int tr = asLogical(tri);
148 : bates 1369
149 : bates 1141 Free(chx);
150 : bates 1366 tmp = VECTOR_ELT(dn, 0); /* swap the dimnames */
151 :     SET_VECTOR_ELT(dn, 0, VECTOR_ELT(dn, 1));
152 :     SET_VECTOR_ELT(dn, 1, tmp);
153 :     UNPROTECT(1);
154 : bates 1867 return chm_sparse_to_SEXP(chxt, 1, /* SWAP 'uplo' for triangular */
155 :     tr ? ((*uplo_P(x) == 'U') ? -1 : 1) : 0,
156 :     Rkind, tr ? diag_P(x) : "", dn);
157 : bates 922 }
158 :    
159 :     SEXP Csparse_Csparse_prod(SEXP a, SEXP b)
160 :     {
161 : maechler 1659 cholmod_sparse
162 :     *cha = as_cholmod_sparse(a),
163 : bates 1059 *chb = as_cholmod_sparse(b);
164 :     cholmod_sparse *chc = cholmod_ssmult(cha, chb, 0, cha->xtype, 1, &c);
165 : bates 1366 SEXP dn = allocVector(VECSXP, 2);
166 : bates 922
167 : bates 1141 Free(cha); Free(chb);
168 : bates 1366 SET_VECTOR_ELT(dn, 0, /* establish dimnames */
169 :     duplicate(VECTOR_ELT(GET_SLOT(a, Matrix_DimNamesSym), 0)));
170 :     SET_VECTOR_ELT(dn, 1,
171 :     duplicate(VECTOR_ELT(GET_SLOT(b, Matrix_DimNamesSym), 1)));
172 : maechler 1548 return chm_sparse_to_SEXP(chc, 1, 0, 0, "", dn);
173 : bates 922 }
174 :    
175 : maechler 1659 SEXP Csparse_Csparse_crossprod(SEXP a, SEXP b, SEXP trans)
176 : bates 1657 {
177 : maechler 1659 int tr = asLogical(trans);
178 :     cholmod_sparse
179 :     *cha = as_cholmod_sparse(a),
180 : bates 1657 *chb = as_cholmod_sparse(b);
181 : maechler 1659 cholmod_sparse *chTr, *chc;
182 : bates 1657 SEXP dn = allocVector(VECSXP, 2);
183 :    
184 : maechler 1659 /* cholmod_sparse *chTr = cholmod_transpose(cha, 1, &c); */
185 :     /* cholmod_sparse *chc = cholmod_ssmult(chTr, chb, 0, cha->xtype, 1, &c); */
186 :    
187 :     if (tr)
188 :     chTr = cholmod_transpose(chb, chb->xtype, &c);
189 :     else
190 :     chTr = cholmod_transpose(cha, cha->xtype, &c);
191 :     chc = cholmod_ssmult((tr) ? cha : chTr, (tr) ? chTr : chb,
192 :     0, cha->xtype, 1, &c);
193 :    
194 :     Free(cha); Free(chb); cholmod_free_sparse(&chTr, &c);
195 :    
196 : bates 1657 SET_VECTOR_ELT(dn, 0, /* establish dimnames */
197 : maechler 1659 duplicate(VECTOR_ELT(GET_SLOT(a, Matrix_DimNamesSym), (tr) ? 0 : 1)));
198 : bates 1657 SET_VECTOR_ELT(dn, 1,
199 : maechler 1659 duplicate(VECTOR_ELT(GET_SLOT(b, Matrix_DimNamesSym), (tr) ? 0 : 1)));
200 : bates 1657 return chm_sparse_to_SEXP(chc, 1, 0, 0, "", dn);
201 :     }
202 :    
203 : bates 922 SEXP Csparse_dense_prod(SEXP a, SEXP b)
204 :     {
205 :     cholmod_sparse *cha = as_cholmod_sparse(a);
206 : maechler 1660 SEXP b_M = PROTECT(mMatrix_as_dgeMatrix(b));
207 :     cholmod_dense *chb = as_cholmod_dense(b_M);
208 : maechler 1548 cholmod_dense *chc =
209 : bates 1448 cholmod_allocate_dense(cha->nrow, chb->ncol, cha->nrow, chb->xtype, &c);
210 : maechler 1660 SEXP dn = allocVector(VECSXP, 2);
211 : bates 1448 double alpha[] = {1,0}, beta[] = {0,0};
212 : bates 922
213 : bates 1448 cholmod_sdmult(cha, 0, alpha, beta, chb, chc, &c);
214 : bates 1141 Free(cha); Free(chb);
215 : bates 1461 UNPROTECT(1);
216 : maechler 1660 SET_VECTOR_ELT(dn, 0, /* establish dimnames */
217 :     duplicate(VECTOR_ELT(GET_SLOT(a, Matrix_DimNamesSym), 0)));
218 :     SET_VECTOR_ELT(dn, 1,
219 :     duplicate(VECTOR_ELT(GET_SLOT(b_M, Matrix_DimNamesSym), 1)));
220 :     return chm_dense_to_SEXP(chc, 1, 0, dn);
221 : bates 922 }
222 : maechler 925
223 : bates 1067 SEXP Csparse_dense_crossprod(SEXP a, SEXP b)
224 :     {
225 :     cholmod_sparse *cha = as_cholmod_sparse(a);
226 : maechler 1660 SEXP b_M = PROTECT(mMatrix_as_dgeMatrix(b));
227 :     cholmod_dense *chb = as_cholmod_dense(b_M);
228 : bates 1448 cholmod_dense *chc =
229 :     cholmod_allocate_dense(cha->ncol, chb->ncol, cha->ncol, chb->xtype, &c);
230 : maechler 1660 SEXP dn = allocVector(VECSXP, 2);
231 : bates 1448 double alpha[] = {1,0}, beta[] = {0,0};
232 : bates 1067
233 : bates 1448 cholmod_sdmult(cha, 1, alpha, beta, chb, chc, &c);
234 : bates 1067 Free(cha); Free(chb);
235 : bates 1461 UNPROTECT(1);
236 : maechler 1660 SET_VECTOR_ELT(dn, 0, /* establish dimnames */
237 :     duplicate(VECTOR_ELT(GET_SLOT(a, Matrix_DimNamesSym), 1)));
238 :     SET_VECTOR_ELT(dn, 1,
239 :     duplicate(VECTOR_ELT(GET_SLOT(b_M, Matrix_DimNamesSym), 1)));
240 :     return chm_dense_to_SEXP(chc, 1, 0, dn);
241 : bates 1067 }
242 :    
243 : maechler 1659 /* Computes x'x or x x' -- see Csparse_Csparse_crossprod above for x'y and x y' */
244 : bates 928 SEXP Csparse_crossprod(SEXP x, SEXP trans, SEXP triplet)
245 : bates 922 {
246 : maechler 957 int trip = asLogical(triplet),
247 :     tr = asLogical(trans); /* gets reversed because _aat is tcrossprod */
248 : bates 928 cholmod_triplet
249 :     *cht = trip ? as_cholmod_triplet(x) : (cholmod_triplet*) NULL;
250 :     cholmod_sparse *chcp, *chxt,
251 :     *chx = trip ? cholmod_triplet_to_sparse(cht, cht->nnz, &c)
252 :     : as_cholmod_sparse(x);
253 : bates 1366 SEXP dn = PROTECT(allocVector(VECSXP, 2));
254 : bates 922
255 : bates 923 if (!tr)
256 : bates 1353 chxt = cholmod_transpose(chx, chx->xtype, &c);
257 : bates 928 chcp = cholmod_aat((!tr) ? chxt : chx, (int *) NULL, 0, chx->xtype, &c);
258 : maechler 957 if(!chcp)
259 : maechler 1618 error(_("Csparse_crossprod(): error return from cholmod_aat()"));
260 : bates 1360 cholmod_band_inplace(0, chcp->ncol, chcp->xtype, chcp, &c);
261 :     chcp->stype = 1;
262 : bates 930 if (trip) {
263 :     cholmod_free_sparse(&chx, &c);
264 : bates 1141 Free(cht);
265 : bates 930 } else {
266 : bates 1141 Free(chx);
267 : bates 930 }
268 : bates 923 if (!tr) cholmod_free_sparse(&chxt, &c);
269 : bates 1366 /* create dimnames */
270 :     SET_VECTOR_ELT(dn, 0,
271 :     duplicate(VECTOR_ELT(GET_SLOT(x, Matrix_DimNamesSym),
272 : maechler 1660 (tr) ? 0 : 1)));
273 : bates 1366 SET_VECTOR_ELT(dn, 1, duplicate(VECTOR_ELT(dn, 0)));
274 :     UNPROTECT(1);
275 : maechler 1548 return chm_sparse_to_SEXP(chcp, 1, 0, 0, "", dn);
276 : bates 922 }
277 : bates 923
278 : maechler 1618 SEXP Csparse_drop(SEXP x, SEXP tol)
279 :     {
280 :     cholmod_sparse *chx = as_cholmod_sparse(x),
281 :     *ans = cholmod_copy(chx, chx->stype, chx->xtype, &c);
282 :     double dtol = asReal(tol);
283 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
284 : maechler 1618
285 :     if(!cholmod_drop(dtol, ans, &c))
286 :     error(_("cholmod_drop() failed"));
287 :     Free(chx);
288 : maechler 1736 return chm_sparse_to_SEXP(ans, 1, 0, Rkind, "",
289 :     GET_SLOT(x, Matrix_DimNamesSym));
290 : maechler 1618 }
291 :    
292 :    
293 : bates 1218 SEXP Csparse_horzcat(SEXP x, SEXP y)
294 :     {
295 :     cholmod_sparse *chx = as_cholmod_sparse(x),
296 :     *chy = as_cholmod_sparse(y), *ans;
297 : maechler 1548 int Rkind = 0; /* only for "d" - FIXME */
298 : maechler 1375
299 : bates 1218 ans = cholmod_horzcat(chx, chy, 1, &c);
300 :     Free(chx); Free(chy);
301 : bates 1366 /* FIXME: currently drops dimnames */
302 : maechler 1548 return chm_sparse_to_SEXP(ans, 1, 0, Rkind, "", R_NilValue);
303 : bates 1218 }
304 :    
305 :     SEXP Csparse_vertcat(SEXP x, SEXP y)
306 :     {
307 :     cholmod_sparse *chx = as_cholmod_sparse(x),
308 :     *chy = as_cholmod_sparse(y), *ans;
309 : maechler 1548 int Rkind = 0; /* only for "d" - FIXME */
310 : maechler 1375
311 : bates 1218 ans = cholmod_vertcat(chx, chy, 1, &c);
312 :     Free(chx); Free(chy);
313 : bates 1366 /* FIXME: currently drops dimnames */
314 : maechler 1548 return chm_sparse_to_SEXP(ans, 1, 0, Rkind, "", R_NilValue);
315 : bates 1218 }
316 : bates 1265
317 :     SEXP Csparse_band(SEXP x, SEXP k1, SEXP k2)
318 :     {
319 :     cholmod_sparse *chx = as_cholmod_sparse(x), *ans;
320 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
321 : bates 1265
322 :     ans = cholmod_band(chx, asInteger(k1), asInteger(k2), chx->xtype, &c);
323 :     Free(chx);
324 : maechler 1736 return chm_sparse_to_SEXP(ans, 1, 0, Rkind, "",
325 :     GET_SLOT(x, Matrix_DimNamesSym));
326 : bates 1265 }
327 : bates 1366
328 :     SEXP Csparse_diagU2N(SEXP x)
329 :     {
330 : maechler 1708 if (*diag_P(x) != 'U') {/* "trivially fast" when there's no 'diag' slot at all */
331 :     return (x);
332 :     }
333 :     else {
334 :     cholmod_sparse *chx = as_cholmod_sparse(x);
335 :     cholmod_sparse *eye = cholmod_speye(chx->nrow, chx->ncol, chx->xtype, &c);
336 :     double one[] = {1, 0};
337 :     cholmod_sparse *ans = cholmod_add(chx, eye, one, one, TRUE, TRUE, &c);
338 : maechler 1710 int uploT = (*uplo_P(x) == 'U') ? 1 : -1;
339 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
340 : bates 1366
341 : maechler 1708 Free(chx); cholmod_free_sparse(&eye, &c);
342 :     return chm_sparse_to_SEXP(ans, 1, uploT, Rkind, "N",
343 : maechler 1736 GET_SLOT(x, Matrix_DimNamesSym));
344 : maechler 1708 }
345 : bates 1366 }
346 :    
347 :     SEXP Csparse_submatrix(SEXP x, SEXP i, SEXP j)
348 :     {
349 :     cholmod_sparse *chx = as_cholmod_sparse(x);
350 :     int rsize = (isNull(i)) ? -1 : LENGTH(i),
351 :     csize = (isNull(j)) ? -1 : LENGTH(j);
352 : maechler 1736 int Rkind = (chx->xtype != CHOLMOD_PATTERN) ? Real_kind(x) : 0;
353 : bates 1366
354 :     if (rsize >= 0 && !isInteger(i))
355 :     error(_("Index i must be NULL or integer"));
356 :     if (csize >= 0 && !isInteger(j))
357 :     error(_("Index j must be NULL or integer"));
358 : maechler 1736
359 : bates 1366 return chm_sparse_to_SEXP(cholmod_submatrix(chx, INTEGER(i), rsize,
360 : maechler 1375 INTEGER(j), csize,
361 : bates 1366 TRUE, TRUE, &c),
362 : maechler 1736 1, 0, Rkind, "",
363 :     /* FIXME: drops dimnames */ R_NilValue);
364 : bates 1366 }

R-Forge@R-project.org
ViewVC Help
Powered by ViewVC 1.0.0  
Thanks to:
Vienna University of Economics and Business University of Wisconsin - Madison Powered By FusionForge