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 } 47*6bf464f9SBarry 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 12127c67122SBarry Smith /* -------------------------------------------------------------------------- */ 12227c67122SBarry Smith /* 12327c67122SBarry Smith PCDestroy_SVD - Destroys the private context for the SVD preconditioner 12427c67122SBarry Smith that was created with PCCreate_SVD(). 12527c67122SBarry Smith 12627c67122SBarry Smith Input Parameter: 12727c67122SBarry Smith . pc - the preconditioner context 12827c67122SBarry Smith 12927c67122SBarry Smith Application Interface Routine: PCDestroy() 13027c67122SBarry Smith */ 13127c67122SBarry Smith #undef __FUNCT__ 13227c67122SBarry Smith #define __FUNCT__ "PCDestroy_SVD" 13327c67122SBarry Smith static PetscErrorCode PCDestroy_SVD(PC pc) 13427c67122SBarry Smith { 13527c67122SBarry Smith PC_SVD *jac = (PC_SVD*)pc->data; 13627c67122SBarry Smith PetscErrorCode ierr; 13727c67122SBarry Smith 13827c67122SBarry Smith PetscFunctionBegin; 139*6bf464f9SBarry Smith ierr = MatDestroy(&jac->A);CHKERRQ(ierr); 140*6bf464f9SBarry Smith ierr = MatDestroy(&jac->U);CHKERRQ(ierr); 141*6bf464f9SBarry Smith ierr = MatDestroy(&jac->V);CHKERRQ(ierr); 142*6bf464f9SBarry Smith ierr = VecDestroy(&jac->diag);CHKERRQ(ierr); 143c31cb41cSBarry Smith ierr = PetscFree(pc->data);CHKERRQ(ierr); 14427c67122SBarry Smith PetscFunctionReturn(0); 14527c67122SBarry Smith } 14627c67122SBarry Smith 14727c67122SBarry Smith #undef __FUNCT__ 14827c67122SBarry Smith #define __FUNCT__ "PCSetFromOptions_SVD" 14927c67122SBarry Smith static PetscErrorCode PCSetFromOptions_SVD(PC pc) 15027c67122SBarry Smith { 15127c67122SBarry Smith PetscErrorCode ierr; 15227c67122SBarry Smith 15327c67122SBarry Smith PetscFunctionBegin; 15427c67122SBarry Smith ierr = PetscOptionsHead("SVD options");CHKERRQ(ierr); 15527c67122SBarry Smith ierr = PetscOptionsTail();CHKERRQ(ierr); 15627c67122SBarry Smith PetscFunctionReturn(0); 15727c67122SBarry Smith } 15827c67122SBarry Smith 15927c67122SBarry Smith /* -------------------------------------------------------------------------- */ 16027c67122SBarry Smith /* 16127c67122SBarry Smith PCCreate_SVD - Creates a SVD preconditioner context, PC_SVD, 16227c67122SBarry Smith and sets this as the private data within the generic preconditioning 16327c67122SBarry Smith context, PC, that was created within PCCreate(). 16427c67122SBarry Smith 16527c67122SBarry Smith Input Parameter: 16627c67122SBarry Smith . pc - the preconditioner context 16727c67122SBarry Smith 16827c67122SBarry Smith Application Interface Routine: PCCreate() 16927c67122SBarry Smith */ 17027c67122SBarry Smith 17127c67122SBarry Smith /*MC 17227c67122SBarry Smith PCSVD - Use pseudo inverse defined by SVD of operator 17327c67122SBarry Smith 17427c67122SBarry Smith Level: advanced 17527c67122SBarry Smith 17627c67122SBarry Smith Concepts: SVD 17727c67122SBarry Smith 17827c67122SBarry Smith Zero entries along the diagonal are replaced with the value 0.0 17927c67122SBarry Smith 18027c67122SBarry Smith .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC 18127c67122SBarry Smith M*/ 18227c67122SBarry Smith 18327c67122SBarry Smith EXTERN_C_BEGIN 18427c67122SBarry Smith #undef __FUNCT__ 18527c67122SBarry Smith #define __FUNCT__ "PCCreate_SVD" 1867087cfbeSBarry Smith PetscErrorCode PCCreate_SVD(PC pc) 18727c67122SBarry Smith { 18827c67122SBarry Smith PC_SVD *jac; 18927c67122SBarry Smith PetscErrorCode ierr; 19027c67122SBarry Smith 19127c67122SBarry Smith PetscFunctionBegin; 19227c67122SBarry Smith /* 19327c67122SBarry Smith Creates the private data structure for this preconditioner and 19427c67122SBarry Smith attach it to the PC object. 19527c67122SBarry Smith */ 19627c67122SBarry Smith ierr = PetscNewLog(pc,PC_SVD,&jac);CHKERRQ(ierr); 19727c67122SBarry Smith pc->data = (void*)jac; 19827c67122SBarry Smith 19927c67122SBarry Smith /* 20027c67122SBarry Smith Set the pointers for the functions that are provided above. 20127c67122SBarry Smith Now when the user-level routines (such as PCApply(), PCDestroy(), etc.) 20227c67122SBarry Smith are called, they will automatically call these functions. Note we 20327c67122SBarry Smith choose not to provide a couple of these functions since they are 20427c67122SBarry Smith not needed. 20527c67122SBarry Smith */ 20627c67122SBarry Smith pc->ops->apply = PCApply_SVD; 20727c67122SBarry Smith pc->ops->applytranspose = PCApply_SVD; 20827c67122SBarry Smith pc->ops->setup = PCSetUp_SVD; 20927c67122SBarry Smith pc->ops->destroy = PCDestroy_SVD; 21027c67122SBarry Smith pc->ops->setfromoptions = PCSetFromOptions_SVD; 21127c67122SBarry Smith pc->ops->view = 0; 21227c67122SBarry Smith pc->ops->applyrichardson = 0; 21327c67122SBarry Smith PetscFunctionReturn(0); 21427c67122SBarry Smith } 21527c67122SBarry Smith EXTERN_C_END 21627c67122SBarry Smith 217