Actual source code: svdksvd.c
slepc-3.21.1 2024-04-26
1: /*
2: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
3: SLEPc - Scalable Library for Eigenvalue Problem Computations
4: Copyright (c) 2002-, Universitat Politecnica de Valencia, Spain
6: This file is part of SLEPc.
7: SLEPc is distributed under a 2-clause BSD license (see LICENSE).
8: - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
9: */
10: /*
11: This file implements a wrapper to the KSVD SVD solver
12: */
14: #include <slepc/private/svdimpl.h>
15: #include <slepc/private/slepcscalapack.h>
16: #include <ksvd.h>
18: typedef struct {
19: Mat As; /* converted matrix */
20: SVDKSVDEigenMethod eigen;
21: SVDKSVDPolarMethod polar;
22: } SVD_KSVD;
24: static PetscErrorCode SVDSetUp_KSVD(SVD svd)
25: {
26: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
27: PetscInt M,N;
29: PetscFunctionBegin;
30: SVDCheckStandard(svd);
31: SVDCheckDefinite(svd);
32: PetscCall(MatGetSize(svd->A,&M,&N));
33: PetscCheck(M==N,PetscObjectComm((PetscObject)svd),PETSC_ERR_SUP,"The interface to KSVD does not support rectangular matrices");
34: svd->ncv = N;
35: if (svd->mpd!=PETSC_DEFAULT) PetscCall(PetscInfo(svd,"Warning: parameter mpd ignored\n"));
36: if (svd->max_it==PETSC_DEFAULT) svd->max_it = 1;
37: svd->leftbasis = PETSC_TRUE;
38: SVDCheckUnsupported(svd,SVD_FEATURE_STOPPING);
39: PetscCall(SVDAllocateSolution(svd,0));
41: /* default methods */
42: if (!ctx->eigen) ctx->eigen = SVD_KSVD_EIGEN_MRRR;
43: if (!ctx->polar) ctx->polar = SVD_KSVD_POLAR_QDWH;
45: /* convert matrix */
46: PetscCall(MatDestroy(&ctx->As));
47: PetscCall(MatConvert(svd->OP,MATSCALAPACK,MAT_INITIAL_MATRIX,&ctx->As));
48: PetscFunctionReturn(PETSC_SUCCESS);
49: }
51: static PetscErrorCode SVDSolve_KSVD(SVD svd)
52: {
53: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
54: Mat A = ctx->As,Z,Q,U,V;
55: Mat_ScaLAPACK *a = (Mat_ScaLAPACK*)A->data,*q,*z;
56: PetscScalar *work,minlwork;
57: PetscBLASInt info,lwork=-1,*iwork,liwork=-1,minliwork,one=1;
58: PetscInt M,N,m,n,mn;
59: char *eigen;
60: #if defined(PETSC_USE_COMPLEX)
61: PetscBLASInt lrwork;
62: PetscReal *rwork,dummy;
63: #endif
65: PetscFunctionBegin;
66: PetscCall(MatGetSize(A,&M,&N));
67: PetscCall(MatGetLocalSize(A,&m,&n));
68: mn = (M>=N)? n: m;
69: PetscCall(MatCreate(PetscObjectComm((PetscObject)A),&Z));
70: PetscCall(MatSetSizes(Z,m,mn,PETSC_DECIDE,PETSC_DECIDE));
71: PetscCall(MatSetType(Z,MATSCALAPACK));
72: PetscCall(MatAssemblyBegin(Z,MAT_FINAL_ASSEMBLY));
73: PetscCall(MatAssemblyEnd(Z,MAT_FINAL_ASSEMBLY));
74: z = (Mat_ScaLAPACK*)Z->data;
75: PetscCall(MatCreate(PetscObjectComm((PetscObject)A),&Q));
76: PetscCall(MatSetSizes(Q,mn,n,PETSC_DECIDE,PETSC_DECIDE));
77: PetscCall(MatSetType(Q,MATSCALAPACK));
78: PetscCall(MatAssemblyBegin(Q,MAT_FINAL_ASSEMBLY));
79: PetscCall(MatAssemblyEnd(Q,MAT_FINAL_ASSEMBLY));
80: q = (Mat_ScaLAPACK*)Q->data;
82: /* configure solver */
83: setPolarAlgorithm((int)ctx->polar);
84: switch (ctx->eigen) {
85: case SVD_KSVD_EIGEN_MRRR: eigen = "r"; break;
86: case SVD_KSVD_EIGEN_DC: eigen = "d"; break;
87: case SVD_KSVD_EIGEN_ELPA: eigen = "e"; break;
88: }
90: PetscCall(PetscFPTrapPush(PETSC_FP_TRAP_OFF));
91: /* allocate workspace */
92: PetscStackCallExternalVoid("pdgeqsvd",pdgeqsvd("V","V",eigen,a->M,a->N,a->loc,one,one,a->desc,svd->sigma,z->loc,one,one,z->desc,q->loc,one,one,q->desc,&minlwork,lwork,&minliwork,liwork,&info));
93: PetscCheck(!info,PetscObjectComm((PetscObject)svd),PETSC_ERR_LIB,"Error in KSVD subroutine pdgeqsvd: info=%d",(int)info);
94: PetscCall(PetscBLASIntCast((PetscInt)minlwork,&lwork));
95: PetscCall(PetscBLASIntCast(minliwork,&liwork));
96: PetscCall(PetscMalloc2(lwork,&work,liwork,&iwork));
97: /* call computational routine */
98: PetscStackCallExternalVoid("pdgeqsvd",pdgeqsvd("V","V",eigen,a->M,a->N,a->loc,one,one,a->desc,svd->sigma,z->loc,one,one,z->desc,q->loc,one,one,q->desc,work,lwork,iwork,liwork,&info));
99: PetscCheck(!info,PetscObjectComm((PetscObject)svd),PETSC_ERR_LIB,"Error in KSVD subroutine pdgeqsvd: info=%d",(int)info);
100: PetscCall(PetscFree2(work,iwork));
101: PetscCall(PetscFPTrapPop());
103: PetscCall(BVGetMat(svd->U,&U));
104: PetscCall(BVGetMat(svd->V,&V));
105: if (M>=N) {
106: PetscCall(MatConvert(Z,MATDENSE,MAT_REUSE_MATRIX,&U));
107: PetscCall(MatConvert(Q,MATDENSE,MAT_REUSE_MATRIX,&V));
108: } else {
109: PetscCall(MatConvert(Q,MATDENSE,MAT_REUSE_MATRIX,&U));
110: PetscCall(MatConvert(Z,MATDENSE,MAT_REUSE_MATRIX,&V));
111: }
112: PetscCall(BVRestoreMat(svd->U,&U));
113: PetscCall(BVRestoreMat(svd->V,&V));
114: PetscCall(MatDestroy(&Z));
115: PetscCall(MatDestroy(&Q));
117: svd->nconv = svd->ncv;
118: svd->its = 1;
119: svd->reason = SVD_CONVERGED_TOL;
120: PetscFunctionReturn(PETSC_SUCCESS);
121: }
123: static PetscErrorCode SVDDestroy_KSVD(SVD svd)
124: {
125: PetscFunctionBegin;
126: PetscCall(PetscFree(svd->data));
127: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDSetEigenMethod_C",NULL));
128: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDGetEigenMethod_C",NULL));
129: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDSetPolarMethod_C",NULL));
130: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDGetPolarMethod_C",NULL));
131: PetscFunctionReturn(PETSC_SUCCESS);
132: }
134: static PetscErrorCode SVDReset_KSVD(SVD svd)
135: {
136: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
138: PetscFunctionBegin;
139: PetscCall(MatDestroy(&ctx->As));
140: PetscFunctionReturn(PETSC_SUCCESS);
141: }
143: static PetscErrorCode SVDView_KSVD(SVD svd,PetscViewer viewer)
144: {
145: PetscBool isascii;
146: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
147: PetscMPIInt rank;
149: PetscFunctionBegin;
150: PetscCall(PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&isascii));
151: if (isascii) {
152: PetscCall(PetscViewerASCIIPrintf(viewer," eigensolver method: %s\n",SVDKSVDEigenMethods[ctx->eigen]));
153: PetscCall(PetscViewerASCIIPrintf(viewer," polar decomposition method: %s\n",SVDKSVDPolarMethods[ctx->polar]));
154: }
155: PetscFunctionReturn(PETSC_SUCCESS);
156: }
158: static PetscErrorCode SVDSetFromOptions_KSVD(SVD svd,PetscOptionItems *PetscOptionsObject)
159: {
160: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
161: SVDKSVDEigenMethod eigen;
162: SVDKSVDPolarMethod polar;
163: PetscBool flg;
165: PetscFunctionBegin;
166: PetscOptionsHeadBegin(PetscOptionsObject,"SVD KSVD Options");
168: PetscCall(PetscOptionsEnum("-svd_ksvd_eigen_method","Method for solving the internal eigenvalue problem","SVDKSVDSetEigenMethod",SVDKSVDEigenMethods,(PetscEnum)ctx->eigen,(PetscEnum*)&eigen,&flg));
169: if (flg) PetscCall(SVDKSVDSetEigenMethod(svd,eigen));
170: PetscCall(PetscOptionsEnum("-svd_ksvd_polar_method","Method for computing the polar decomposition","SVDKSVDSetPolarMethod",SVDKSVDPolarMethods,(PetscEnum)ctx->polar,(PetscEnum*)&polar,&flg));
171: if (flg) PetscCall(SVDKSVDSetPolarMethod(svd,polar));
173: PetscOptionsHeadEnd();
174: PetscFunctionReturn(PETSC_SUCCESS);
175: }
177: static PetscErrorCode SVDKSVDSetEigenMethod_KSVD(SVD svd,SVDKSVDEigenMethod eigen)
178: {
179: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
181: PetscFunctionBegin;
182: ctx->eigen = eigen;
183: PetscFunctionReturn(PETSC_SUCCESS);
184: }
186: /*@
187: SVDKSVDSetEigenMethod - Sets the method to solve the internal eigenproblem within the KSVD solver.
189: Logically Collective
191: Input Parameters:
192: + svd - the singular value solver context
193: - eigen - method that will be used by KSVD for the eigenproblem
195: Options Database Key:
196: . -svd_ksvd_eigen_method - Sets the method for the KSVD eigensolver
198: If not set, the method defaults to SVD_KSVD_EIGEN_MRRR.
200: Level: advanced
202: .seealso: SVDKSVDGetEigenMethod(), SVDKSVDEigenMethod
203: @*/
204: PetscErrorCode SVDKSVDSetEigenMethod(SVD svd,SVDKSVDEigenMethod eigen)
205: {
206: PetscFunctionBegin;
209: PetscTryMethod(svd,"SVDKSVDSetEigenMethod_C",(SVD,SVDKSVDEigenMethod),(svd,eigen));
210: PetscFunctionReturn(PETSC_SUCCESS);
211: }
213: static PetscErrorCode SVDKSVDGetEigenMethod_KSVD(SVD svd,SVDKSVDEigenMethod *eigen)
214: {
215: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
217: PetscFunctionBegin;
218: *eigen = ctx->eigen;
219: PetscFunctionReturn(PETSC_SUCCESS);
220: }
222: /*@
223: SVDKSVDGetEigenMethod - Gets the method for the KSVD eigensolver.
225: Not Collective
227: Input Parameter:
228: . svd - the singular value solver context
230: Output Parameter:
231: . eigen - method that will be used by KSVD for the eigenproblem
233: Level: advanced
235: .seealso: SVDKSVDSetEigenMethod(), SVDKSVDEigenMethod
236: @*/
237: PetscErrorCode SVDKSVDGetEigenMethod(SVD svd,SVDKSVDEigenMethod *eigen)
238: {
239: PetscFunctionBegin;
241: PetscAssertPointer(eigen,2);
242: PetscUseMethod(svd,"SVDKSVDGetEigenMethod_C",(SVD,SVDKSVDEigenMethod*),(svd,eigen));
243: PetscFunctionReturn(PETSC_SUCCESS);
244: }
246: static PetscErrorCode SVDKSVDSetPolarMethod_KSVD(SVD svd,SVDKSVDPolarMethod polar)
247: {
248: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
250: PetscFunctionBegin;
251: ctx->polar = polar;
252: PetscFunctionReturn(PETSC_SUCCESS);
253: }
255: /*@
256: SVDKSVDSetPolarMethod - Sets the method to compute the polar decomposition within the KSVD solver.
258: Logically Collective
260: Input Parameters:
261: + svd - the singular value solver context
262: - polar - method that will be used by KSVD for the polar decomposition
264: Options Database Key:
265: . -svd_ksvd_polar_method - Sets the method for the KSVD polar decomposition
267: If not set, the method defaults to SVD_KSVD_POLAR_QDWH.
269: Level: advanced
271: .seealso: SVDKSVDGetPolarMethod(), SVDKSVDPolarMethod
272: @*/
273: PetscErrorCode SVDKSVDSetPolarMethod(SVD svd,SVDKSVDPolarMethod polar)
274: {
275: PetscFunctionBegin;
278: PetscTryMethod(svd,"SVDKSVDSetPolarMethod_C",(SVD,SVDKSVDPolarMethod),(svd,polar));
279: PetscFunctionReturn(PETSC_SUCCESS);
280: }
282: static PetscErrorCode SVDKSVDGetPolarMethod_KSVD(SVD svd,SVDKSVDPolarMethod *polar)
283: {
284: SVD_KSVD *ctx = (SVD_KSVD*)svd->data;
286: PetscFunctionBegin;
287: *polar = ctx->polar;
288: PetscFunctionReturn(PETSC_SUCCESS);
289: }
291: /*@
292: SVDKSVDGetPolarMethod - Gets the method for the KSVD polar decomposition.
294: Not Collective
296: Input Parameter:
297: . svd - the singular value solver context
299: Output Parameter:
300: . polar - method that will be used by KSVD for the polar decomposition
302: Level: advanced
304: .seealso: SVDKSVDSetPolarMethod(), SVDKSVDPolarMethod
305: @*/
306: PetscErrorCode SVDKSVDGetPolarMethod(SVD svd,SVDKSVDPolarMethod *polar)
307: {
308: PetscFunctionBegin;
310: PetscAssertPointer(polar,2);
311: PetscUseMethod(svd,"SVDKSVDGetPolarMethod_C",(SVD,SVDKSVDPolarMethod*),(svd,polar));
312: PetscFunctionReturn(PETSC_SUCCESS);
313: }
315: SLEPC_EXTERN PetscErrorCode SVDCreate_KSVD(SVD svd)
316: {
317: SVD_KSVD *ctx;
319: PetscFunctionBegin;
320: PetscCall(PetscNew(&ctx));
321: svd->data = (void*)ctx;
323: svd->ops->solve = SVDSolve_KSVD;
324: svd->ops->setup = SVDSetUp_KSVD;
325: svd->ops->setfromoptions = SVDSetFromOptions_KSVD;
326: svd->ops->destroy = SVDDestroy_KSVD;
327: svd->ops->reset = SVDReset_KSVD;
328: svd->ops->view = SVDView_KSVD;
330: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDSetEigenMethod_C",SVDKSVDSetEigenMethod_KSVD));
331: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDGetEigenMethod_C",SVDKSVDGetEigenMethod_KSVD));
332: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDSetPolarMethod_C",SVDKSVDSetPolarMethod_KSVD));
333: PetscCall(PetscObjectComposeFunction((PetscObject)svd,"SVDKSVDGetPolarMethod_C",SVDKSVDGetPolarMethod_KSVD));
334: PetscFunctionReturn(PETSC_SUCCESS);
335: }