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; 1227c67122SBarry Smith } PC_SVD; 1327c67122SBarry Smith 1427c67122SBarry Smith 1527c67122SBarry Smith /* -------------------------------------------------------------------------- */ 1627c67122SBarry Smith /* 1727c67122SBarry Smith PCSetUp_SVD - Prepares for the use of the SVD preconditioner 1827c67122SBarry Smith by setting data structures and options. 1927c67122SBarry Smith 2027c67122SBarry Smith Input Parameter: 2127c67122SBarry Smith . pc - the preconditioner context 2227c67122SBarry Smith 2327c67122SBarry Smith Application Interface Routine: PCSetUp() 2427c67122SBarry Smith 2527c67122SBarry Smith Notes: 2627c67122SBarry Smith The interface routine PCSetUp() is not usually called directly by 2727c67122SBarry Smith the user, but instead is called by PCApply() if necessary. 2827c67122SBarry Smith */ 2927c67122SBarry Smith #undef __FUNCT__ 3027c67122SBarry Smith #define __FUNCT__ "PCSetUp_SVD" 3127c67122SBarry Smith static PetscErrorCode PCSetUp_SVD(PC pc) 3227c67122SBarry Smith { 33a3c4e3ecSJed Brown #if defined(PETSC_MISSING_LAPACK_GESVD) 34a3c4e3ecSJed Brown SETERRQ(((PetscObject)pc)->comm,PETSC_ERR_SUP,"GESVD - Lapack routine is unavailable\nNot able to provide singular value estimates."); 35a3c4e3ecSJed Brown #else 3627c67122SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 3727c67122SBarry Smith PetscErrorCode ierr; 3827c67122SBarry Smith PetscScalar *a,*u,*v,*d,*work; 3927c67122SBarry Smith PetscBLASInt nb,lwork,lierr; 4027c67122SBarry Smith PetscInt i,n; 4127c67122SBarry Smith 4227c67122SBarry Smith PetscFunctionBegin; 4327c67122SBarry Smith if (!jac->diag) { 4427c67122SBarry Smith /* assume square matrices */ 4527c67122SBarry Smith ierr = MatGetVecs(pc->mat,&jac->diag,&jac->work);CHKERRQ(ierr); 4627c67122SBarry Smith } 476bf464f9SBarry Smith ierr = MatDestroy(&jac->A);CHKERRQ(ierr); 4827c67122SBarry Smith ierr = MatConvert(pc->mat,MATSEQDENSE,MAT_INITIAL_MATRIX,&jac->A);CHKERRQ(ierr); 4927c67122SBarry Smith if (!jac->U) { 5027c67122SBarry Smith ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->U);CHKERRQ(ierr); 5127c67122SBarry Smith ierr = MatDuplicate(jac->A,MAT_DO_NOT_COPY_VALUES,&jac->V);CHKERRQ(ierr); 5227c67122SBarry Smith } 5327c67122SBarry Smith ierr = MatGetSize(pc->mat,&n,PETSC_NULL);CHKERRQ(ierr); 5427c67122SBarry Smith nb = PetscBLASIntCast(n); 5527c67122SBarry Smith lwork = 5*nb; 5627c67122SBarry Smith ierr = PetscMalloc(lwork*sizeof(PetscScalar),&work);CHKERRQ(ierr); 5727c67122SBarry Smith ierr = MatGetArray(jac->A,&a);CHKERRQ(ierr); 5827c67122SBarry Smith ierr = MatGetArray(jac->U,&u);CHKERRQ(ierr); 5927c67122SBarry Smith ierr = MatGetArray(jac->V,&v);CHKERRQ(ierr); 6027c67122SBarry Smith ierr = VecGetArray(jac->diag,&d);CHKERRQ(ierr); 6127c67122SBarry Smith #if !defined(PETSC_USE_COMPLEX) 6227c67122SBarry Smith LAPACKgesvd_("A","A",&nb,&nb,a,&nb,d,u,&nb,v,&nb,work,&lwork,&lierr); 6327c67122SBarry Smith #else 6427c67122SBarry Smith SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not coded for complex"); 6527c67122SBarry Smith #endif 6627c67122SBarry Smith if (lierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"gesv() error %d",lierr); 6727c67122SBarry Smith ierr = MatRestoreArray(jac->A,&a);CHKERRQ(ierr); 6827c67122SBarry Smith ierr = MatRestoreArray(jac->U,&u);CHKERRQ(ierr); 6927c67122SBarry Smith ierr = MatRestoreArray(jac->V,&v);CHKERRQ(ierr); 7027c67122SBarry Smith jac->nzero = 0; 7127c67122SBarry Smith for (i=0; i<n; i++) { 7227c67122SBarry Smith if (PetscRealPart(d[i]) < 1.e-12) {jac->nzero = n - i;break;} 7327c67122SBarry Smith d[i] = 1.0/d[i]; 7427c67122SBarry Smith } 7527c67122SBarry Smith ierr = PetscInfo1(pc,"Number of zero or nearly singular values %D\n",jac->nzero); 7627c67122SBarry Smith ierr = VecRestoreArray(jac->diag,&d);CHKERRQ(ierr); 7727c67122SBarry Smith #if defined(foo) 7827c67122SBarry Smith { 7927c67122SBarry Smith PetscViewer viewer; 8027c67122SBarry Smith ierr = PetscViewerBinaryOpen(PETSC_COMM_SELF,"joe",FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 8127c67122SBarry Smith ierr = MatView(jac->A,viewer);CHKERRQ(ierr); 8227c67122SBarry Smith ierr = MatView(jac->U,viewer);CHKERRQ(ierr); 8327c67122SBarry Smith ierr = MatView(jac->V,viewer);CHKERRQ(ierr); 8427c67122SBarry Smith ierr = VecView(jac->diag,viewer);CHKERRQ(ierr); 8527c67122SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 8627c67122SBarry Smith } 8727c67122SBarry Smith #endif 8827c67122SBarry Smith ierr = PetscFree(work); 8927c67122SBarry Smith PetscFunctionReturn(0); 90a3c4e3ecSJed Brown #endif 9127c67122SBarry Smith } 9227c67122SBarry Smith 9327c67122SBarry Smith /* -------------------------------------------------------------------------- */ 9427c67122SBarry Smith /* 9527c67122SBarry Smith PCApply_SVD - Applies the SVD preconditioner to a vector. 9627c67122SBarry Smith 9727c67122SBarry Smith Input Parameters: 9827c67122SBarry Smith . pc - the preconditioner context 9927c67122SBarry Smith . x - input vector 10027c67122SBarry Smith 10127c67122SBarry Smith Output Parameter: 10227c67122SBarry Smith . y - output vector 10327c67122SBarry Smith 10427c67122SBarry Smith Application Interface Routine: PCApply() 10527c67122SBarry Smith */ 10627c67122SBarry Smith #undef __FUNCT__ 10727c67122SBarry Smith #define __FUNCT__ "PCApply_SVD" 10827c67122SBarry Smith static PetscErrorCode PCApply_SVD(PC pc,Vec x,Vec y) 10927c67122SBarry Smith { 11027c67122SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 11127c67122SBarry Smith Vec work = jac->work; 11227c67122SBarry Smith PetscErrorCode ierr; 11327c67122SBarry Smith 11427c67122SBarry Smith PetscFunctionBegin; 11527c67122SBarry Smith ierr = MatMultTranspose(jac->U,x,work);CHKERRQ(ierr); 11627c67122SBarry Smith ierr = VecPointwiseMult(work,work,jac->diag);CHKERRQ(ierr); 11727c67122SBarry Smith ierr = MatMultTranspose(jac->V,work,y);CHKERRQ(ierr); 11827c67122SBarry Smith PetscFunctionReturn(0); 11927c67122SBarry Smith } 12027c67122SBarry Smith 121*a2d70de2SBarry Smith #undef __FUNCT__ 122*a2d70de2SBarry Smith #define __FUNCT__ "PCReset_SVD" 123*a2d70de2SBarry Smith static PetscErrorCode PCReset_SVD(PC pc) 124*a2d70de2SBarry Smith { 125*a2d70de2SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 126*a2d70de2SBarry Smith PetscErrorCode ierr; 127*a2d70de2SBarry Smith 128*a2d70de2SBarry Smith PetscFunctionBegin; 129*a2d70de2SBarry Smith ierr = MatDestroy(&jac->A);CHKERRQ(ierr); 130*a2d70de2SBarry Smith ierr = MatDestroy(&jac->U);CHKERRQ(ierr); 131*a2d70de2SBarry Smith ierr = MatDestroy(&jac->V);CHKERRQ(ierr); 132*a2d70de2SBarry Smith ierr = VecDestroy(&jac->diag);CHKERRQ(ierr); 133*a2d70de2SBarry Smith ierr = VecDestroy(&jac->work);CHKERRQ(ierr); 134*a2d70de2SBarry Smith PetscFunctionReturn(0); 135*a2d70de2SBarry Smith } 136*a2d70de2SBarry Smith 13727c67122SBarry Smith /* -------------------------------------------------------------------------- */ 13827c67122SBarry Smith /* 13927c67122SBarry Smith PCDestroy_SVD - Destroys the private context for the SVD preconditioner 14027c67122SBarry Smith that was created with PCCreate_SVD(). 14127c67122SBarry Smith 14227c67122SBarry Smith Input Parameter: 14327c67122SBarry Smith . pc - the preconditioner context 14427c67122SBarry Smith 14527c67122SBarry Smith Application Interface Routine: PCDestroy() 14627c67122SBarry Smith */ 14727c67122SBarry Smith #undef __FUNCT__ 14827c67122SBarry Smith #define __FUNCT__ "PCDestroy_SVD" 14927c67122SBarry Smith static PetscErrorCode PCDestroy_SVD(PC pc) 15027c67122SBarry Smith { 15127c67122SBarry Smith PetscErrorCode ierr; 15227c67122SBarry Smith 15327c67122SBarry Smith PetscFunctionBegin; 154*a2d70de2SBarry Smith ierr = PCReset_SVD(pc);CHKERRQ(ierr); 155c31cb41cSBarry Smith ierr = PetscFree(pc->data);CHKERRQ(ierr); 15627c67122SBarry Smith PetscFunctionReturn(0); 15727c67122SBarry Smith } 15827c67122SBarry Smith 15927c67122SBarry Smith #undef __FUNCT__ 16027c67122SBarry Smith #define __FUNCT__ "PCSetFromOptions_SVD" 16127c67122SBarry Smith static PetscErrorCode PCSetFromOptions_SVD(PC pc) 16227c67122SBarry Smith { 16327c67122SBarry Smith PetscErrorCode ierr; 16427c67122SBarry Smith 16527c67122SBarry Smith PetscFunctionBegin; 16627c67122SBarry Smith ierr = PetscOptionsHead("SVD options");CHKERRQ(ierr); 16727c67122SBarry Smith ierr = PetscOptionsTail();CHKERRQ(ierr); 16827c67122SBarry Smith PetscFunctionReturn(0); 16927c67122SBarry Smith } 17027c67122SBarry Smith 17127c67122SBarry Smith /* -------------------------------------------------------------------------- */ 17227c67122SBarry Smith /* 17327c67122SBarry Smith PCCreate_SVD - Creates a SVD preconditioner context, PC_SVD, 17427c67122SBarry Smith and sets this as the private data within the generic preconditioning 17527c67122SBarry Smith context, PC, that was created within PCCreate(). 17627c67122SBarry Smith 17727c67122SBarry Smith Input Parameter: 17827c67122SBarry Smith . pc - the preconditioner context 17927c67122SBarry Smith 18027c67122SBarry Smith Application Interface Routine: PCCreate() 18127c67122SBarry Smith */ 18227c67122SBarry Smith 18327c67122SBarry Smith /*MC 18427c67122SBarry Smith PCSVD - Use pseudo inverse defined by SVD of operator 18527c67122SBarry Smith 18627c67122SBarry Smith Level: advanced 18727c67122SBarry Smith 18827c67122SBarry Smith Concepts: SVD 18927c67122SBarry Smith 19027c67122SBarry Smith Zero entries along the diagonal are replaced with the value 0.0 19127c67122SBarry Smith 19227c67122SBarry Smith .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC 19327c67122SBarry Smith M*/ 19427c67122SBarry Smith 19527c67122SBarry Smith EXTERN_C_BEGIN 19627c67122SBarry Smith #undef __FUNCT__ 19727c67122SBarry Smith #define __FUNCT__ "PCCreate_SVD" 1987087cfbeSBarry Smith PetscErrorCode PCCreate_SVD(PC pc) 19927c67122SBarry Smith { 20027c67122SBarry Smith PC_SVD *jac; 20127c67122SBarry Smith PetscErrorCode ierr; 20227c67122SBarry Smith 20327c67122SBarry Smith PetscFunctionBegin; 20427c67122SBarry Smith /* 20527c67122SBarry Smith Creates the private data structure for this preconditioner and 20627c67122SBarry Smith attach it to the PC object. 20727c67122SBarry Smith */ 20827c67122SBarry Smith ierr = PetscNewLog(pc,PC_SVD,&jac);CHKERRQ(ierr); 20927c67122SBarry Smith pc->data = (void*)jac; 21027c67122SBarry Smith 21127c67122SBarry Smith /* 21227c67122SBarry Smith Set the pointers for the functions that are provided above. 21327c67122SBarry Smith Now when the user-level routines (such as PCApply(), PCDestroy(), etc.) 21427c67122SBarry Smith are called, they will automatically call these functions. Note we 21527c67122SBarry Smith choose not to provide a couple of these functions since they are 21627c67122SBarry Smith not needed. 21727c67122SBarry Smith */ 21827c67122SBarry Smith pc->ops->apply = PCApply_SVD; 21927c67122SBarry Smith pc->ops->applytranspose = PCApply_SVD; 22027c67122SBarry Smith pc->ops->setup = PCSetUp_SVD; 221*a2d70de2SBarry Smith pc->ops->reset = PCReset_SVD; 22227c67122SBarry Smith pc->ops->destroy = PCDestroy_SVD; 22327c67122SBarry Smith pc->ops->setfromoptions = PCSetFromOptions_SVD; 22427c67122SBarry Smith pc->ops->view = 0; 22527c67122SBarry Smith pc->ops->applyrichardson = 0; 22627c67122SBarry Smith PetscFunctionReturn(0); 22727c67122SBarry Smith } 22827c67122SBarry Smith EXTERN_C_END 22927c67122SBarry Smith 230