SCM

SCM Repository

[matrix] Diff of /pkg/tests/indexing.R
ViewVC logotype

Diff of /pkg/tests/indexing.R

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

revision 1347, Mon Aug 7 08:47:43 2006 UTC revision 1724, Sat Jan 13 21:06:51 2007 UTC
# Line 1  Line 1 
1  #### For both 'Extract' ("[") and 'Replace' ("[<-") Method testing  ## For both 'Extract' ("[") and 'Replace' ("[<-") Method testing
2    
3  library(Matrix)  library(Matrix)
4    
# Line 6  Line 6 
6    
7  ### Dense Matrices  ### Dense Matrices
8    
9  m <- Matrix(1:28, nrow = 7)  m <- Matrix(1:28 +0, nrow = 7)
10  validObject(m) ; m@x <- as.double(m@x) ; validObject(m)  validObject(m)
11  stopifnot(identical(m, m[]),  stopifnot(identical(m, m[]),
12            identical(m[2, 3],  16), # simple number            identical(m[2, 3],  16), # simple number
13            identical(m[2, 3:4], c(16,23))) # simple numeric of length 2            identical(m[2, 3:4], c(16,23))) # simple numeric of length 2
# Line 44  Line 44 
44  m[, 1] <- -1  m[, 1] <- -1
45  m[1:3,]  m[1:3,]
46    
47    m. <- as.matrix(m)
48    
49    ## m[ cbind(i,j) ] indexing:
50    ij <- cbind(1:6, 2:3)
51    stopifnot(identical(m[ij], m.[ij]))
52    
53    ## testing operations on logical Matrices rather more than indexing:
54  g10 <- m [ m > 10 ]  g10 <- m [ m > 10 ]
55  stopifnot(18 == length(g10))  stopifnot(18 == length(g10))
 if(paste(R.version$major, R.version$minor, sep=".") >= "2.3")  
     ## Buglet in R(<= 2.2.1)'s possibleExtends()  
56      stopifnot(10 == length(m[ m <= 10 ]))      stopifnot(10 == length(m[ m <= 10 ]))
57    sel <- (20 <  m) & (m <  150)
58    sel.<- (20 <  m.)& (m.<  150)
59    nsel <-(20 >= m) | (m >= 150)
60    (ssel <- as(sel, "sparseMatrix"))
61    stopifnot(is(sel, "lMatrix"), is(ssel, "lsparseMatrix"),
62              identical3(as.mat(sel.), as.mat(sel), as.mat(ssel)),
63              identical3(!sel, !ssel, nsel), # !<sparse> is typically dense
64              identical3(m[ sel],  m[ ssel], as.matrix(m)[as.matrix( ssel)]),
65              identical3(m[!sel],  m[!ssel], as.matrix(m)[as.matrix(!ssel)])
66              )
67    
68    ## more sparse Matrices --------------------------------------
 ### Sparse Matrices --------------------------------------  
69    
70  m <- 1:800  m <- 1:800
71  set.seed(101) ; m[sample(800, 600)] <- 0  set.seed(101) ; m[sample(800, 600)] <- 0
# Line 67  Line 81 
81  mC[1:2,]  mC[1:2,]
82  mC[7,  drop = FALSE]  mC[7,  drop = FALSE]
83  assert.EQ.mat(mC[1:2,], mm[1:2,])  assert.EQ.mat(mC[1:2,], mm[1:2,])
84  stopifnot(all.equal(mC[,3],   mm[,3]))  stopifnot(all.equal(mC[,3], mm[,3]),
85              identical(mC[ij], mm[ij]))
86  assert.EQ.mat(mC[7, , drop=FALSE], mm[7, , drop=FALSE])  assert.EQ.mat(mC[7, , drop=FALSE], mm[7, , drop=FALSE])
87    
88  stopifnot(dim(mC[numeric(0), ]) == c(0,20), # used to give warnings  stopifnot(dim(mC[numeric(0), ]) == c(0,20), # used to give warnings
# Line 87  Line 102 
102            identical3(mm[3,], mC[3,], mT[3,]),            identical3(mm[3,], mC[3,], mT[3,]),
103            identical3(mT[2,3], mC[2,3], 0),            identical3(mT[2,3], mC[2,3], 0),
104            identical(mT[], mT),            identical(mT[], mT),
105            ## TODO: identical4() with  m[c(3,7), 2:4] - fail because of 'dimnames'            identical4(       mm[c(3,7), 2:4],  as.mat( m[c(3,7), 2:4]),
106            identical3(as(mC[c(3,7), 2:4],"matrix"), mm[c(3,7), 2:4],                       as.mat(mT[c(3,7), 2:4]), as.mat(mC[c(3,7), 2:4]))
107                       as(mT[c(3,7), 2:4],"matrix")))            )
108    
109  x.x <- crossprod(mC)  x.x <- crossprod(mC)
110  stopifnot(class(x.x) == "dsCMatrix",  stopifnot(class(x.x) == "dsCMatrix",
111            class(x.x. <- round(x.x / 10000)) == "dsCMatrix")            class(x.x. <- round(x.x / 10000)) == "dsCMatrix",
112              identical(x.x[cbind(2:6, 2:6)],
113                        diag(x.x [2:6, 2:6])))
114  head(x.x.) # Note the *non*-structural 0's printed as "0"  head(x.x.) # Note the *non*-structural 0's printed as "0"
115  if(paste(R.version$major, R.version$minor, sep=".") >= "2.4")  tail(x.x., -3) # all but the first three lines
     tail(x.x., -2) # the last two lines  
116    
117  lx.x <- as(x.x, "lsCMatrix") # FALSE only for "structural" 0  lx.x <- as(x.x, "lsCMatrix") # FALSE only for "structural" 0
118  if(FALSE) { ## FIXME: needs coercion  "lsCMatrix" to "lgTMatrix"  (l10 <- lx.x[1:10, 1:10])# "lsC"
119      lx.x[1:10, 1:10]  (l3 <-  lx.x[1:3, ])
120      lx.x[1:3, ]  m.x <- as(x.x, "matrix")
121  }  stopifnot(class(l10) == "lsCMatrix", # symmetric indexing -> symmetric !
122              identical(as.mat(lx.x), m.x != 0),
123              identical(as.logical(lx.x), as.logical(m.x)),
124              identical(as.mat(l10), m.x[1:10, 1:10] != 0),
125              identical(as.mat(l3 ), m.x[1:3, ] != 0)
126              )
127    
128    ## used to fail
129    n <- 5 ## or much larger
130    sm <- new("dsTMatrix", i=as.integer(1),j=as.integer(1),
131              Dim=as.integer(c(n,n)), x = 1)
132    (cm <- as(sm, "CsparseMatrix"))
133    sm[2,]
134    stopifnot(sm[2,] == c(0:1, rep.int(0,ncol(sm)-2)),
135              sm[2,] == cm[2,],
136              sm[,3] == sm[3,],
137              all(sm[,-(1:3)] == t(sm[-(1:3),])), # all(<lge.>)
138              all(sm[,-(1:3)] == 0)
139              )
140    
141    ### Diagonal -- Sparse:
142    m0 <- Diagonal(5)
143    (m1 <- as(m0, "sparseMatrix"))  # dtTMatrix
144    (m2 <- as(m0, "CsparseMatrix")) # dtCMatrix (with an irrelevant warning)
145    
146    M <- m0; M[1,] <- 0
147    stopifnot(identical(M, Diagonal(x=c(0, rep(1,4)))))
148    M <- m0; M[,3] <- 3 ; M ; stopifnot(is(M, "sparseMatrix"), M[,3] == 3)
149    validObject(M)
150    M <- m0; M[1:3, 3] <- 0 ;M
151    T <- m0; T[1:3, 3] <- 10
152    stopifnot(identical(M, Diagonal(x=c(1,1, 0, 1,1))),
153              is(T, "triangularMatrix"), identical(T[,3], c(10,10,10,0,0)))
154    
155    M <- m1; M[1,] <- 0 ; M ; assert.EQ.mat(M, diag(c(0,rep(1,4))), tol=0)
156    M <- m1; M[,3] <- 3 ; stopifnot(is(M,"sparseMatrix"), M[,3] == 3)
157    validObject(M)
158    M <- m1; M[1:3, 3] <- 0 ;M
159    assert.EQ.mat(M, diag(c(1,1, 0, 1,1)), tol=0)
160    T <- m1; T[1:3, 3] <- 10; validObject(T)
161    stopifnot(is(T, "dtTMatrix"), identical(T[,3], c(10,10,10,0,0)))
162    
163    M <- m2; M[1,] <- 0 ; M ; assert.EQ.mat(M, diag(c(0,rep(1,4))), tol=0)
164    M <- m2; M[,3] <- 3 ; stopifnot(is(M,"sparseMatrix"), M[,3] == 3)
165    validObject(M)
166    M <- m2; M[1:3, 3] <- 0 ;M
167    assert.EQ.mat(M, diag(c(1,1, 0, 1,1)), tol=0)
168    T <- m2; T[1:3, 3] <- 10; validObject(T)
169    stopifnot(is(T, "dtCMatrix"), identical(T[,3], c(10,10,10,0,0)))
170    
171    
172  ## --- negative indices ----------  ## --- negative indices ----------
173  mc <- mC[1:5, 1:7]  mc <- mC[1:5, 1:7]
# Line 158  Line 223 
223  mc[1,4] <- -99 ; stopifnot(mc[1,4] == -99)  mc[1,4] <- -99 ; stopifnot(mc[1,4] == -99)
224  mc[1:2,4:3] <- 4:1; stopifnot(as.matrix(mc[1:2,4:3]) == 4:1)  mc[1:2,4:3] <- 4:1; stopifnot(as.matrix(mc[1:2,4:3]) == 4:1)
225    
 ## Debugging:  R bug --   debug(Matrix:::replCmat)  has no effect  
   
226  mc[-1, 3] <- -2:1 # 0 should not be entered; 'value' recycled  mc[-1, 3] <- -2:1 # 0 should not be entered; 'value' recycled
227  mt[-1, 3] <- -2:1  mt[-1, 3] <- -2:1
228  stopifnot(mc@x != 0, mt@x != 0,  stopifnot(mc@x != 0, mt@x != 0,
229            mc[-1,3] == -2:1, mt[-1,3] == -2:1) ##--> BUG -- fixed            mc[-1,3] == -2:1, mt[-1,3] == -2:1) ## failed earlier
230  ## source("~/R/Pkgs/Matrix/R/Tsparse.R")  
231  ## Matrix_expand_pointers <- Matrix:::Matrix_expand_pointers  mc0 <- mc
232  ## -> open ../R/dgCMatrix.R  --> replCmat  .. now eval-line by line ..  mt0 <- as(mc0, "TsparseMatrix")
233    m0  <- as(mc0, "matrix")
234  ev <- 1:5 %% 2 == 0  set.seed(1)
235  mc[ev, 3] <- 0:1  for(i in 1:50) {
236  ##FIXME stopifnot(mc[ev, 3] == 0:1) ##-> BUG  {very peculiar; the 2nd time it works ...}      mc <- mc0; mt <- mt0 ; m <- m0
237  validObject(mc)      ev <- 1:5 %% 2 == round(runif(1))# 0 or 1
238  mc # now shows a non-structural zeros      j <- sample(ncol(mc), 1 + round(runif(1)))
239        nv <- rpois(sum(ev) * length(j), lambda = 1)
240        mc[ev, j] <- nv
241         m[ev, j] <- nv
242        mt[ev, j] <- nv
243        if(i %% 10 == 1) print(mc[ev,j, drop = FALSE])
244        stopifnot(as.vector(mc[ev, j]) == nv, ## failed earlier...
245                  as.vector(mt[ev, j]) == nv)
246        validObject(mc) ; assert.EQ.mat(mc, m)
247        validObject(mt) ; assert.EQ.mat(mt, m)
248    }
249    
250    mc # no longer has non-structural zeros
251  mc[ii, jj] <- 1:6  mc[ii, jj] <- 1:6
252  mc[c(2,5), c(3,5)] <- 3.2  mc[c(2,5), c(3,5)] <- 3.2
253  validObject(mc)  validObject(mc)
254  (m. <- mc)  m. <- mc
255  ## FIXME: mc[4,] <- 0 # -> error -- another Bug  mc[4,] <- 0
256    mc
257    
258  H <- Hilbert(9)  H <- Hilbert(9)
259  Hc <- as(round(H, 3), "dsCMatrix")  Hc <- as(round(H, 3), "dsCMatrix")# a sparse matrix with no 0 ...
260  tril(Hc[1:5, 1:5])  (trH <- tril(Hc[1:5, 1:5]))
261    stopifnot(is(trH, "triangularMatrix"), trH@uplo == "L")
262    
263  H[c(1:2, 4, 6:7), c(2:4,6)] <- 0  i <- c(1:2, 4, 6:7); j <- c(2:4,6)
264    H[i,j] <- 0
265  (H. <- round(as(H, "sparseMatrix"), 3)[ , 2:7])  (H. <- round(as(H, "sparseMatrix"), 3)[ , 2:7])
266  Hc. <- Hc  Hc. <- Hc
267  Hc.[c(1:2, 4, 6:7), c(2:4,6)] <- 0  Hc.[i,j] <- 0 ## now "works", but setting "non-structural" 0s
268    stopifnot(as.matrix(Hc.[i,j]) == 0)
269  Hc.[, 1:6]  Hc.[, 1:6]
270    
271    ## an example that failed for a long time
272    sy3 <- new("dsyMatrix", Dim = as.integer(c(2, 2)), x = c(14, -1, 2, -7))
273    validObject(dm <- kronecker(Diagonal(2), sy3))
274    (s2 <- as(dm, "sparseMatrix"))
275    validObject(st <- as(s2, "TsparseMatrix"))
276    validObject(s.32  <- st[1:3,1:2]) ## 3 x 2 - and *not* dsTMatrix
277    validObject(s2.32 <- s2[1:3,1:2])
278    I <- c(1,4:3)
279    stopifnot(is(s2.32, "generalMatrix"),
280              is(s.32,  "generalMatrix"),
281              identical(as.mat(s.32), as.mat(s2.32)),
282              identical3(dm[1:3,-1], asD(s2[1:3,-1]), asD(st[1:3,-1])),
283              identical4(2, dm[4,3], s2[4,3], st[4,3]),
284              identical3(diag(dm), diag(s2), diag(st)),
285              is((cI <- s2[I,I]), "dsCMatrix"),
286              is((tI <- st[I,I]), "dsTMatrix"),
287              identical4(as.mat(dm)[I,I], as.mat(dm[I,I]), as.mat(tI), as.mat(cI))
288              )
289    
290    ## now sub-assign  and check for consistency
291    ## symmetric subassign should keep symmetry
292    st[I,I] <- 0; validObject(st); stopifnot(is(st,"symmetricMatrix"))
293    s2[I,I] <- 0; validObject(s2); stopifnot(is(s2,"symmetricMatrix"))
294    ##
295    m <- as.mat(st)
296     m[2:1,2:1] <- 4:1
297    st[2:1,2:1] <- 4:1
298    s2[2:1,2:1] <- 4:1
299    stopifnot(identical(m, as.mat(st)),
300              1:4 == as.vector(s2[1:2,1:2]),
301              identical(m, as.mat(s2)))
302    
303    ## now a slightly different situation for 's2' (had bug)
304    s2 <- as(dm, "sparseMatrix")
305    s2[I,I] <- 0; diag(s2)[2:3] <- -(1:2)
306    stopifnot(is(s2,"symmetricMatrix"), diag(s2) == c(0:-2,0))
307    t2 <- as(s2, "TsparseMatrix")
308    m <- as.mat(s2)
309    s2[2:1,2:1] <- 4:1
310    t2[2:1,2:1] <- 4:1
311     m[2:1,2:1] <- 4:1
312    assert.EQ.mat(t2, m)
313    assert.EQ.mat(s2, m)
314    ## and the same (for a different s2 !)
315    s2[2:1,2:1] <- 4:1
316    t2[2:1,2:1] <- 4:1
317    assert.EQ.mat(t2, m)# ok
318    assert.EQ.mat(s2, m)# failed in 0.9975-8
319    
320    
321    ## m[cbind(i,j)] <- value:
322    m.[ cbind(3:5, 1:3) ] <- 1:3
323    stopifnot(m.[3,1] == 1, m.[4,2] == 2)
324    x.x[ cbind(2:6, 2:6)] <- 12:16
325    validObject(x.x)
326    stopifnot(class(x.x) == "dsCMatrix",
327              12:16 == as.mat(x.x)[cbind(2:6, 2:6)])
328    
329  cat('Time elapsed: ', proc.time(),'\n') # for ``statistical reasons''  cat('Time elapsed: ', proc.time(),'\n') # for ``statistical reasons''

Legend:
Removed from v.1347  
changed lines
  Added in v.1724

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