Line data    Source code

       1             : /*
       2             :    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
       3             :    SLEPc - Scalable Library for Eigenvalue Problem Computations
       4             :    Copyright (c) 2002-, Universitat Politecnica de Valencia, Spain
       5             : 
       6             :    This file is part of SLEPc.
       7             :    SLEPc is distributed under a 2-clause BSD license (see LICENSE).
       8             :    - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
       9             : */
      10             : 
      11             : static char help[] = "Test DSSVD.\n\n";
      12             : 
      13             : #include <slepcds.h>
      14             : 
      15           2 : int main(int argc,char **argv)
      16             : {
      17           2 :   DS             ds;
      18           2 :   SlepcSC        sc;
      19           2 :   PetscReal      sigma,rnorm,aux;
      20           2 :   PetscScalar    *A,*U,*w,d;
      21           2 :   PetscInt       i,j,k,n=15,m=10,m1,ld;
      22           2 :   PetscViewer    viewer;
      23           2 :   PetscBool      verbose,extrarow;
      24             : 
      25           2 :   PetscFunctionBeginUser;
      26           2 :   PetscCall(SlepcInitialize(&argc,&argv,(char*)0,help));
      27           2 :   PetscCall(PetscOptionsGetInt(NULL,NULL,"-n",&n,NULL));
      28           2 :   PetscCall(PetscOptionsGetInt(NULL,NULL,"-m",&m,NULL));
      29           2 :   k = PetscMin(n,m);
      30           2 :   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Solve a Dense System of type SVD - dimension %" PetscInt_FMT "x%" PetscInt_FMT ".\n",n,m));
      31           2 :   PetscCall(PetscOptionsHasName(NULL,NULL,"-verbose",&verbose));
      32           2 :   PetscCall(PetscOptionsHasName(NULL,NULL,"-extrarow",&extrarow));
      33             : 
      34             :   /* Create DS object */
      35           2 :   PetscCall(DSCreate(PETSC_COMM_WORLD,&ds));
      36           2 :   PetscCall(DSSetType(ds,DSSVD));
      37           2 :   PetscCall(DSSetFromOptions(ds));
      38           2 :   ld = PetscMax(n,m)+2;  /* test leading dimension larger than n */
      39           2 :   PetscCall(DSAllocate(ds,ld));
      40           2 :   PetscCall(DSSetDimensions(ds,n,0,0));
      41           2 :   PetscCall(DSSVDSetDimensions(ds,m));
      42           2 :   PetscCall(DSSVDGetDimensions(ds,&m1));
      43           2 :   PetscCheck(m1==m,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Inconsistent dimension value");
      44           2 :   PetscCall(DSSetExtraRow(ds,extrarow));
      45             : 
      46             :   /* Set up viewer */
      47           2 :   PetscCall(PetscViewerASCIIGetStdout(PETSC_COMM_WORLD,&viewer));
      48           2 :   PetscCall(PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_INFO_DETAIL));
      49           2 :   PetscCall(DSView(ds,viewer));
      50           2 :   PetscCall(PetscViewerPopFormat(viewer));
      51             : 
      52             :   /* Fill with a rectangular Toeplitz matrix */
      53           2 :   PetscCall(DSGetArray(ds,DS_MAT_A,&A));
      54          22 :   for (i=0;i<k;i++) A[i+i*ld]=1.0;
      55           6 :   for (j=1;j<3;j++) {
      56          38 :     for (i=0;i<m-j;i++) { if ((i+j)<m) A[i+(i+j)*ld]=(PetscScalar)(j+1); }
      57             :   }
      58          14 :   for (j=1;j<n/2;j++) {
      59         150 :     for (i=0;i<n-j;i++) { if ((i+j)<n && i<m) A[(i+j)+i*ld]=-1.0; }
      60             :   }
      61           2 :   if (extrarow) { A[n-2+m*ld]=1.0; A[n-1+m*ld]=1.0; }  /* really an extra column */
      62           2 :   PetscCall(DSRestoreArray(ds,DS_MAT_A,&A));
      63           2 :   PetscCall(DSSetState(ds,DS_STATE_RAW));
      64           2 :   if (verbose) {
      65           0 :     PetscCall(PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_MATLAB));
      66           0 :     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Initial - - - - - - - - -\n"));
      67             :   }
      68           2 :   PetscCall(DSView(ds,viewer));
      69             : 
      70             :   /* Solve */
      71           2 :   PetscCall(PetscMalloc1(k,&w));
      72           2 :   PetscCall(DSGetSlepcSC(ds,&sc));
      73           2 :   sc->comparison    = SlepcCompareLargestReal;
      74           2 :   sc->comparisonctx = NULL;
      75           2 :   sc->map           = NULL;
      76           2 :   sc->mapobj        = NULL;
      77           2 :   PetscCall(DSSolve(ds,w,NULL));
      78           2 :   PetscCall(DSSort(ds,w,NULL,NULL,NULL,NULL));
      79           2 :   if (extrarow) PetscCall(DSUpdateExtraRow(ds));
      80           2 :   if (verbose) {
      81           0 :     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"After solve - - - - - - - - -\n"));
      82           0 :     PetscCall(DSView(ds,viewer));
      83             :   }
      84             : 
      85             :   /* Print singular values */
      86           2 :   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Computed singular values =\n"));
      87          22 :   for (i=0;i<k;i++) {
      88          20 :     sigma = PetscRealPart(w[i]);
      89          20 :     PetscCall(PetscViewerASCIIPrintf(viewer,"  %.5f\n",(double)sigma));
      90             :   }
      91             : 
      92           2 :   if (extrarow) {
      93             :     /* Check that extra column is correct */
      94           1 :     PetscCall(DSGetArray(ds,DS_MAT_A,&A));
      95           1 :     PetscCall(DSGetArray(ds,DS_MAT_U,&U));
      96             :     d = 0.0;
      97          16 :     for (i=0;i<n;i++) d += A[i+m*ld]-U[n-2+i*ld]-U[n-1+i*ld];
      98           1 :     if (PetscAbsScalar(d)>10*PETSC_MACHINE_EPSILON) PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Warning: there is a mismatch in the extra row of %g\n",(double)PetscAbsScalar(d)));
      99           1 :     PetscCall(DSRestoreArray(ds,DS_MAT_A,&A));
     100           1 :     PetscCall(DSRestoreArray(ds,DS_MAT_U,&U));
     101             :   }
     102             : 
     103             :   /* Singular vectors */
     104           2 :   PetscCall(DSVectors(ds,DS_MAT_U,NULL,NULL));  /* all singular vectors */
     105           2 :   j = 0;
     106           2 :   rnorm = 0.0;
     107           2 :   PetscCall(DSGetArray(ds,DS_MAT_U,&U));
     108          32 :   for (i=0;i<n;i++) {
     109          30 :     aux = PetscAbsScalar(U[i+j*ld]);
     110          30 :     rnorm += aux*aux;
     111             :   }
     112           2 :   PetscCall(DSRestoreArray(ds,DS_MAT_U,&U));
     113           2 :   rnorm = PetscSqrtReal(rnorm);
     114           2 :   PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Norm of 1st U vector = %.3f\n",(double)rnorm));
     115             : 
     116           2 :   PetscCall(PetscFree(w));
     117           2 :   PetscCall(DSDestroy(&ds));
     118           2 :   PetscCall(SlepcFinalize());
     119             :   return 0;
     120             : }
     121             : 
     122             : /*TEST
     123             : 
     124             :    test:
     125             :       suffix: 1
     126             :       requires: !single
     127             : 
     128             :    test:
     129             :       suffix: 2
     130             :       args: -extrarow
     131             :       requires: !single
     132             : 
     133             : TEST*/