127c67122SBarry Smith 2c6db04a5SJed Brown #include <private/pcimpl.h> /*I "petscpc.h" I*/ 3c6db04a5SJed Brown #include <petscblaslapack.h> 427c67122SBarry Smith 527c67122SBarry Smith /* 627c67122SBarry Smith Private context (data structure) for the SVD preconditioner. 727c67122SBarry Smith */ 827c67122SBarry Smith typedef struct { 927c67122SBarry Smith Vec diag,work; 1027c67122SBarry Smith Mat A,U,V; 1127c67122SBarry Smith PetscInt nzero; 12*8f1a2a5eSBarry Smith PetscReal zerosing; /* measure of smallest singular value treated as nonzero */ 1327c67122SBarry Smith } PC_SVD; 1427c67122SBarry Smith 1527c67122SBarry Smith 1627c67122SBarry Smith /* -------------------------------------------------------------------------- */ 1727c67122SBarry Smith /* 1827c67122SBarry Smith PCSetUp_SVD - Prepares for the use of the SVD preconditioner 1927c67122SBarry Smith by setting data structures and options. 2027c67122SBarry Smith 2127c67122SBarry Smith Input Parameter: 2227c67122SBarry Smith . pc - the preconditioner context 2327c67122SBarry Smith 2427c67122SBarry Smith Application Interface Routine: PCSetUp() 2527c67122SBarry Smith 2627c67122SBarry Smith Notes: 2727c67122SBarry Smith The interface routine PCSetUp() is not usually called directly by 2827c67122SBarry Smith the user, but instead is called by PCApply() if necessary. 2927c67122SBarry Smith */ 3027c67122SBarry Smith #undef __FUNCT__ 3127c67122SBarry Smith #define __FUNCT__ "PCSetUp_SVD" 3227c67122SBarry Smith static PetscErrorCode PCSetUp_SVD(PC pc) 3327c67122SBarry Smith { 34a3c4e3ecSJed Brown #if defined(PETSC_MISSING_LAPACK_GESVD) 35a3c4e3ecSJed Brown SETERRQ(((PetscObject)pc)->comm,PETSC_ERR_SUP,"GESVD - Lapack routine is unavailable\nNot able to provide singular value estimates."); 36a3c4e3ecSJed Brown #else 3727c67122SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 3827c67122SBarry Smith PetscErrorCode ierr; 3927c67122SBarry Smith PetscScalar *a,*u,*v,*d,*work; 4027c67122SBarry Smith PetscBLASInt nb,lwork,lierr; 4127c67122SBarry Smith PetscInt i,n; 4227c67122SBarry Smith 4327c67122SBarry Smith PetscFunctionBegin; 4427c67122SBarry Smith if (!jac->diag) { 4527c67122SBarry Smith /* assume square matrices */ 46*8f1a2a5eSBarry Smith ierr = MatGetVecs(pc->pmat,&jac->diag,&jac->work);CHKERRQ(ierr); 4727c67122SBarry Smith } 486bf464f9SBarry Smith ierr = MatDestroy(&jac->A);CHKERRQ(ierr); 49*8f1a2a5eSBarry Smith ierr = MatConvert(pc->pmat,MATSEQDENSE,MAT_INITIAL_MATRIX,&jac->A);CHKERRQ(ierr); 5027c67122SBarry Smith if (!jac->U) { 5127c67122SBarry Smith ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->U);CHKERRQ(ierr); 5227c67122SBarry Smith ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->V);CHKERRQ(ierr); 5327c67122SBarry Smith } 54*8f1a2a5eSBarry Smith ierr = MatGetSize(pc->pmat,&n,PETSC_NULL);CHKERRQ(ierr); 5527c67122SBarry Smith nb = PetscBLASIntCast(n); 5627c67122SBarry Smith lwork = 5*nb; 5727c67122SBarry Smith ierr = PetscMalloc(lwork*sizeof(PetscScalar),&work);CHKERRQ(ierr); 5827c67122SBarry Smith ierr = MatGetArray(jac->A,&a);CHKERRQ(ierr); 5927c67122SBarry Smith ierr = MatGetArray(jac->U,&u);CHKERRQ(ierr); 6027c67122SBarry Smith ierr = MatGetArray(jac->V,&v);CHKERRQ(ierr); 6127c67122SBarry Smith ierr = VecGetArray(jac->diag,&d);CHKERRQ(ierr); 6227c67122SBarry Smith #if !defined(PETSC_USE_COMPLEX) 6327c67122SBarry Smith LAPACKgesvd_("A","A",&nb,&nb,a,&nb,d,u,&nb,v,&nb,work,&lwork,&lierr); 6427c67122SBarry Smith #else 6527c67122SBarry Smith SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not coded for complex"); 6627c67122SBarry Smith #endif 6727c67122SBarry Smith if (lierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"gesv() error %d",lierr); 6827c67122SBarry Smith ierr = MatRestoreArray(jac->A,&a);CHKERRQ(ierr); 6927c67122SBarry Smith ierr = MatRestoreArray(jac->U,&u);CHKERRQ(ierr); 7027c67122SBarry Smith ierr = MatRestoreArray(jac->V,&v);CHKERRQ(ierr); 7127c67122SBarry Smith jac->nzero = 0; 72*8f1a2a5eSBarry Smith ierr = PetscInfo2(pc,"Largest and smallest singular values %14.12e %14.12e\n",(double)PetscRealPart(d[0]),(double)PetscRealPart(d[n-1])); 7327c67122SBarry Smith for (i=0; i<n; i++) { 74*8f1a2a5eSBarry Smith if (i == 0 && PetscRealPart(d[i]) == 0.0) {jac->nzero = n;break;} 75*8f1a2a5eSBarry Smith if (PetscRealPart(d[i]) < jac->zerosing /*PetscRealPart(d[0])*/) {jac->nzero = n - i;break;} 7627c67122SBarry Smith d[i] = 1.0/d[i]; 7727c67122SBarry Smith } 7827c67122SBarry Smith ierr = PetscInfo1(pc,"Number of zero or nearly singular values %D\n",jac->nzero); 7927c67122SBarry Smith ierr = VecRestoreArray(jac->diag,&d);CHKERRQ(ierr); 8027c67122SBarry Smith #if defined(foo) 8127c67122SBarry Smith { 8227c67122SBarry Smith PetscViewer viewer; 8327c67122SBarry Smith ierr = PetscViewerBinaryOpen(PETSC_COMM_SELF,"joe",FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 8427c67122SBarry Smith ierr = MatView(jac->A,viewer);CHKERRQ(ierr); 8527c67122SBarry Smith ierr = MatView(jac->U,viewer);CHKERRQ(ierr); 8627c67122SBarry Smith ierr = MatView(jac->V,viewer);CHKERRQ(ierr); 8727c67122SBarry Smith ierr = VecView(jac->diag,viewer);CHKERRQ(ierr); 8827c67122SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 8927c67122SBarry Smith } 9027c67122SBarry Smith #endif 9127c67122SBarry Smith ierr = PetscFree(work); 9227c67122SBarry Smith PetscFunctionReturn(0); 93a3c4e3ecSJed Brown #endif 9427c67122SBarry Smith } 9527c67122SBarry Smith 9627c67122SBarry Smith /* -------------------------------------------------------------------------- */ 9727c67122SBarry Smith /* 9827c67122SBarry Smith PCApply_SVD - Applies the SVD preconditioner to a vector. 9927c67122SBarry Smith 10027c67122SBarry Smith Input Parameters: 10127c67122SBarry Smith . pc - the preconditioner context 10227c67122SBarry Smith . x - input vector 10327c67122SBarry Smith 10427c67122SBarry Smith Output Parameter: 10527c67122SBarry Smith . y - output vector 10627c67122SBarry Smith 10727c67122SBarry Smith Application Interface Routine: PCApply() 10827c67122SBarry Smith */ 10927c67122SBarry Smith #undef __FUNCT__ 11027c67122SBarry Smith #define __FUNCT__ "PCApply_SVD" 11127c67122SBarry Smith static PetscErrorCode PCApply_SVD(PC pc,Vec x,Vec y) 11227c67122SBarry Smith { 11327c67122SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 11427c67122SBarry Smith Vec work = jac->work; 11527c67122SBarry Smith PetscErrorCode ierr; 11627c67122SBarry Smith 11727c67122SBarry Smith PetscFunctionBegin; 11827c67122SBarry Smith ierr = MatMultTranspose(jac->U,x,work);CHKERRQ(ierr); 11927c67122SBarry Smith ierr = VecPointwiseMult(work,work,jac->diag);CHKERRQ(ierr); 12027c67122SBarry Smith ierr = MatMultTranspose(jac->V,work,y);CHKERRQ(ierr); 12127c67122SBarry Smith PetscFunctionReturn(0); 12227c67122SBarry Smith } 12327c67122SBarry Smith 124a2d70de2SBarry Smith #undef __FUNCT__ 125a2d70de2SBarry Smith #define __FUNCT__ "PCReset_SVD" 126a2d70de2SBarry Smith static PetscErrorCode PCReset_SVD(PC pc) 127a2d70de2SBarry Smith { 128a2d70de2SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 129a2d70de2SBarry Smith PetscErrorCode ierr; 130a2d70de2SBarry Smith 131a2d70de2SBarry Smith PetscFunctionBegin; 132a2d70de2SBarry Smith ierr = MatDestroy(&jac->A);CHKERRQ(ierr); 133a2d70de2SBarry Smith ierr = MatDestroy(&jac->U);CHKERRQ(ierr); 134a2d70de2SBarry Smith ierr = MatDestroy(&jac->V);CHKERRQ(ierr); 135a2d70de2SBarry Smith ierr = VecDestroy(&jac->diag);CHKERRQ(ierr); 136a2d70de2SBarry Smith ierr = VecDestroy(&jac->work);CHKERRQ(ierr); 137a2d70de2SBarry Smith PetscFunctionReturn(0); 138a2d70de2SBarry Smith } 139a2d70de2SBarry Smith 14027c67122SBarry Smith /* -------------------------------------------------------------------------- */ 14127c67122SBarry Smith /* 14227c67122SBarry Smith PCDestroy_SVD - Destroys the private context for the SVD preconditioner 14327c67122SBarry Smith that was created with PCCreate_SVD(). 14427c67122SBarry Smith 14527c67122SBarry Smith Input Parameter: 14627c67122SBarry Smith . pc - the preconditioner context 14727c67122SBarry Smith 14827c67122SBarry Smith Application Interface Routine: PCDestroy() 14927c67122SBarry Smith */ 15027c67122SBarry Smith #undef __FUNCT__ 15127c67122SBarry Smith #define __FUNCT__ "PCDestroy_SVD" 15227c67122SBarry Smith static PetscErrorCode PCDestroy_SVD(PC pc) 15327c67122SBarry Smith { 15427c67122SBarry Smith PetscErrorCode ierr; 15527c67122SBarry Smith 15627c67122SBarry Smith PetscFunctionBegin; 157a2d70de2SBarry Smith ierr = PCReset_SVD(pc);CHKERRQ(ierr); 158c31cb41cSBarry Smith ierr = PetscFree(pc->data);CHKERRQ(ierr); 15927c67122SBarry Smith PetscFunctionReturn(0); 16027c67122SBarry Smith } 16127c67122SBarry Smith 16227c67122SBarry Smith #undef __FUNCT__ 16327c67122SBarry Smith #define __FUNCT__ "PCSetFromOptions_SVD" 16427c67122SBarry Smith static PetscErrorCode PCSetFromOptions_SVD(PC pc) 16527c67122SBarry Smith { 16627c67122SBarry Smith PetscErrorCode ierr; 167*8f1a2a5eSBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 16827c67122SBarry Smith 16927c67122SBarry Smith PetscFunctionBegin; 17027c67122SBarry Smith ierr = PetscOptionsHead("SVD options");CHKERRQ(ierr); 171*8f1a2a5eSBarry Smith ierr = PetscOptionsReal("-pc_svd_zero_sing","Singular values smaller than this treated as zero","None",jac->zerosing,&jac->zerosing,PETSC_NULL);CHKERRQ(ierr); 17227c67122SBarry Smith ierr = PetscOptionsTail();CHKERRQ(ierr); 17327c67122SBarry Smith PetscFunctionReturn(0); 17427c67122SBarry Smith } 17527c67122SBarry Smith 17627c67122SBarry Smith /* -------------------------------------------------------------------------- */ 17727c67122SBarry Smith /* 17827c67122SBarry Smith PCCreate_SVD - Creates a SVD preconditioner context, PC_SVD, 17927c67122SBarry Smith and sets this as the private data within the generic preconditioning 18027c67122SBarry Smith context, PC, that was created within PCCreate(). 18127c67122SBarry Smith 18227c67122SBarry Smith Input Parameter: 18327c67122SBarry Smith . pc - the preconditioner context 18427c67122SBarry Smith 18527c67122SBarry Smith Application Interface Routine: PCCreate() 18627c67122SBarry Smith */ 18727c67122SBarry Smith 18827c67122SBarry Smith /*MC 18927c67122SBarry Smith PCSVD - Use pseudo inverse defined by SVD of operator 19027c67122SBarry Smith 19127c67122SBarry Smith Level: advanced 19227c67122SBarry Smith 19327c67122SBarry Smith Concepts: SVD 19427c67122SBarry Smith 195*8f1a2a5eSBarry Smith Options Database: 196*8f1a2a5eSBarry Smith . -pc_svd_zero_sing <rtol> Singular values smaller than this are treated as zero 19727c67122SBarry Smith 19827c67122SBarry Smith .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC 19927c67122SBarry Smith M*/ 20027c67122SBarry Smith 20127c67122SBarry Smith EXTERN_C_BEGIN 20227c67122SBarry Smith #undef __FUNCT__ 20327c67122SBarry Smith #define __FUNCT__ "PCCreate_SVD" 2047087cfbeSBarry Smith PetscErrorCode PCCreate_SVD(PC pc) 20527c67122SBarry Smith { 20627c67122SBarry Smith PC_SVD *jac; 20727c67122SBarry Smith PetscErrorCode ierr; 20827c67122SBarry Smith 20927c67122SBarry Smith PetscFunctionBegin; 21027c67122SBarry Smith /* 21127c67122SBarry Smith Creates the private data structure for this preconditioner and 21227c67122SBarry Smith attach it to the PC object. 21327c67122SBarry Smith */ 21427c67122SBarry Smith ierr = PetscNewLog(pc,PC_SVD,&jac);CHKERRQ(ierr); 215*8f1a2a5eSBarry Smith jac->zerosing = 1.e-12; 21627c67122SBarry Smith pc->data = (void*)jac; 21727c67122SBarry Smith 21827c67122SBarry Smith /* 21927c67122SBarry Smith Set the pointers for the functions that are provided above. 22027c67122SBarry Smith Now when the user-level routines (such as PCApply(), PCDestroy(), etc.) 22127c67122SBarry Smith are called, they will automatically call these functions. Note we 22227c67122SBarry Smith choose not to provide a couple of these functions since they are 22327c67122SBarry Smith not needed. 22427c67122SBarry Smith */ 22527c67122SBarry Smith pc->ops->apply = PCApply_SVD; 22627c67122SBarry Smith pc->ops->applytranspose = PCApply_SVD; 22727c67122SBarry Smith pc->ops->setup = PCSetUp_SVD; 228a2d70de2SBarry Smith pc->ops->reset = PCReset_SVD; 22927c67122SBarry Smith pc->ops->destroy = PCDestroy_SVD; 23027c67122SBarry Smith pc->ops->setfromoptions = PCSetFromOptions_SVD; 23127c67122SBarry Smith pc->ops->view = 0; 23227c67122SBarry Smith pc->ops->applyrichardson = 0; 23327c67122SBarry Smith PetscFunctionReturn(0); 23427c67122SBarry Smith } 23527c67122SBarry Smith EXTERN_C_END 23627c67122SBarry Smith 237