xref: /petsc/src/ksp/pc/impls/bddc/bddcschurs.c (revision a64f4aa4610dd4ec03fac46179ae53980bc33f9b)
134a97f8cSStefano Zampini #include <../src/ksp/pc/impls/bddc/bddc.h>
234a97f8cSStefano Zampini #include <../src/ksp/pc/impls/bddc/bddcprivate.h>
308122e43SStefano Zampini #include <petscblaslapack.h>
434a97f8cSStefano Zampini 
53202ece2SStefano Zampini PETSC_STATIC_INLINE PetscErrorCode PCBDDCAdjGetNextLayer_Private(PetscInt*,PetscInt,PetscBT,PetscInt*,PetscInt*,PetscInt*);
65ec10c6aSStefano Zampini static PetscErrorCode PCBDDCComputeExplicitSchur(Mat,PetscBool,MatReuse,Mat*);
7d5574798SStefano Zampini static PetscErrorCode PCBDDCMumpsInteriorDestroy(PC);
8d5574798SStefano Zampini static PetscErrorCode PCBDDCMumpsInteriorSolve(PC,Vec,Vec);
9d5574798SStefano Zampini 
10d5574798SStefano Zampini #undef __FUNCT__
11d5574798SStefano Zampini #define __FUNCT__ "PCBDDCMumpsInteriorSolve"
12d5574798SStefano Zampini static PetscErrorCode PCBDDCMumpsInteriorSolve(PC pc, Vec rhs, Vec sol)
13d5574798SStefano Zampini {
14d5574798SStefano Zampini   PCBDDCMumpsInterior ctx;
15d5574798SStefano Zampini   PetscScalar         *array,*array_mumps;
16d5574798SStefano Zampini   PetscInt            ival;
17d5574798SStefano Zampini   PetscErrorCode      ierr;
18d5574798SStefano Zampini 
19d5574798SStefano Zampini   PetscFunctionBegin;
20d5574798SStefano Zampini   ierr = PCShellGetContext(pc,(void **)&ctx);CHKERRQ(ierr);
21d5574798SStefano Zampini   ierr = MatMumpsGetIcntl(ctx->F,26,&ival);CHKERRQ(ierr);
22d5574798SStefano Zampini   ierr = MatMumpsSetIcntl(ctx->F,26,0);CHKERRQ(ierr);
23d5574798SStefano Zampini   /* copy rhs into factored matrix workspace (can it be avoided?, MatSolve_MUMPS has another copy b->x internally) */
24d5574798SStefano Zampini   ierr = VecGetArrayRead(rhs,(const PetscScalar**)&array);CHKERRQ(ierr);
25d5574798SStefano Zampini   ierr = VecGetArray(ctx->rhs,&array_mumps);CHKERRQ(ierr);
26d5574798SStefano Zampini   ierr = PetscMemcpy(array_mumps,array,ctx->n*sizeof(PetscScalar));CHKERRQ(ierr);
27d5574798SStefano Zampini   ierr = VecRestoreArray(ctx->rhs,&array_mumps);CHKERRQ(ierr);
28d5574798SStefano Zampini   ierr = VecRestoreArrayRead(rhs,(const PetscScalar**)&array);CHKERRQ(ierr);
29d5574798SStefano Zampini 
30d5574798SStefano Zampini   ierr = MatSolve(ctx->F,ctx->rhs,ctx->sol);CHKERRQ(ierr);
31d5574798SStefano Zampini 
32d5574798SStefano Zampini   /* get back data to caller worskpace */
33d5574798SStefano Zampini   ierr = VecGetArrayRead(ctx->sol,(const PetscScalar**)&array_mumps);CHKERRQ(ierr);
34d5574798SStefano Zampini   ierr = VecGetArray(sol,&array);CHKERRQ(ierr);
35d5574798SStefano Zampini   ierr = PetscMemcpy(array,array_mumps,ctx->n*sizeof(PetscScalar));CHKERRQ(ierr);
36d5574798SStefano Zampini   ierr = VecRestoreArray(sol,&array);CHKERRQ(ierr);
37d5574798SStefano Zampini   ierr = VecRestoreArrayRead(ctx->sol,(const PetscScalar**)&array_mumps);CHKERRQ(ierr);
38d5574798SStefano Zampini   ierr = MatMumpsSetIcntl(ctx->F,26,ival);CHKERRQ(ierr);
39d5574798SStefano Zampini   PetscFunctionReturn(0);
40d5574798SStefano Zampini }
41d5574798SStefano Zampini 
42d5574798SStefano Zampini #undef __FUNCT__
43d5574798SStefano Zampini #define __FUNCT__ "PCBDDCMumpsInteriorDestroy"
44d5574798SStefano Zampini static PetscErrorCode PCBDDCMumpsInteriorDestroy(PC pc)
45d5574798SStefano Zampini {
46d5574798SStefano Zampini   PCBDDCMumpsInterior ctx;
47d5574798SStefano Zampini   PetscErrorCode ierr;
48d5574798SStefano Zampini 
49d5574798SStefano Zampini   PetscFunctionBegin;
50d5574798SStefano Zampini   ierr = PCShellGetContext(pc,(void **)&ctx);CHKERRQ(ierr);
51d5574798SStefano Zampini   ierr = MatDestroy(&ctx->F);CHKERRQ(ierr);
52d5574798SStefano Zampini   ierr = VecDestroy(&ctx->sol);CHKERRQ(ierr);
53d5574798SStefano Zampini   ierr = VecDestroy(&ctx->rhs);CHKERRQ(ierr);
54d5574798SStefano Zampini   ierr = PetscFree(ctx);CHKERRQ(ierr);
55d5574798SStefano Zampini   PetscFunctionReturn(0);
56d5574798SStefano Zampini }
573202ece2SStefano Zampini 
583202ece2SStefano Zampini #undef __FUNCT__
593202ece2SStefano Zampini #define __FUNCT__ "PCBDDCComputeExplicitSchur"
605ec10c6aSStefano Zampini static PetscErrorCode PCBDDCComputeExplicitSchur(Mat M, PetscBool issym, MatReuse reuse, Mat *S)
613202ece2SStefano Zampini {
623202ece2SStefano Zampini   Mat            B, C, D, Bd, Cd, AinvBd;
633202ece2SStefano Zampini   KSP            ksp;
643202ece2SStefano Zampini   PC             pc;
653202ece2SStefano Zampini   PetscBool      isLU, isILU, isCHOL, Bdense, Cdense;
663202ece2SStefano Zampini   PetscReal      fill = 2.0;
67f11841e3SStefano Zampini   PetscInt       n_I;
683202ece2SStefano Zampini   PetscMPIInt    size;
693202ece2SStefano Zampini   PetscErrorCode ierr;
703202ece2SStefano Zampini 
713202ece2SStefano Zampini   PetscFunctionBegin;
723202ece2SStefano Zampini   ierr = MPI_Comm_size(PetscObjectComm((PetscObject)M),&size);CHKERRQ(ierr);
733202ece2SStefano Zampini   if (size != 1) {
743202ece2SStefano Zampini     SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not for parallel matrices");
753202ece2SStefano Zampini   }
76f11841e3SStefano Zampini   if (reuse == MAT_REUSE_MATRIX) {
77f11841e3SStefano Zampini     PetscBool Sdense;
78f11841e3SStefano Zampini 
79f11841e3SStefano Zampini     ierr = PetscObjectTypeCompare((PetscObject)*S, MATSEQDENSE, &Sdense);CHKERRQ(ierr);
80f11841e3SStefano Zampini     if (!Sdense) {
81f11841e3SStefano Zampini       SETERRQ(PetscObjectComm((PetscObject)M),PETSC_ERR_SUP,"S should dense");
82f11841e3SStefano Zampini     }
83f11841e3SStefano Zampini   }
843202ece2SStefano Zampini   ierr = MatSchurComplementGetSubMatrices(M, NULL, NULL, &B, &C, &D);CHKERRQ(ierr);
853202ece2SStefano Zampini   ierr = MatSchurComplementGetKSP(M, &ksp);CHKERRQ(ierr);
863202ece2SStefano Zampini   ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr);
873202ece2SStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject) pc, PCLU, &isLU);CHKERRQ(ierr);
883202ece2SStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject) pc, PCILU, &isILU);CHKERRQ(ierr);
893202ece2SStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject) pc, PCCHOLESKY, &isCHOL);CHKERRQ(ierr);
903202ece2SStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject) B, MATSEQDENSE, &Bdense);CHKERRQ(ierr);
913202ece2SStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject) C, MATSEQDENSE, &Cdense);CHKERRQ(ierr);
92f11841e3SStefano Zampini   ierr = MatGetSize(B,&n_I,NULL);CHKERRQ(ierr);
93f11841e3SStefano Zampini   if (n_I) {
943202ece2SStefano Zampini     if (!Bdense) {
953202ece2SStefano Zampini       ierr = MatConvert(B, MATSEQDENSE, MAT_INITIAL_MATRIX, &Bd);CHKERRQ(ierr);
963202ece2SStefano Zampini     } else {
973202ece2SStefano Zampini       Bd = B;
983202ece2SStefano Zampini     }
993202ece2SStefano Zampini 
1003202ece2SStefano Zampini     if (isLU || isILU || isCHOL) {
1013202ece2SStefano Zampini       Mat fact;
1023202ece2SStefano Zampini       ierr = KSPSetUp(ksp);CHKERRQ(ierr);
1033202ece2SStefano Zampini       ierr = PCFactorGetMatrix(pc, &fact);CHKERRQ(ierr);
1043202ece2SStefano Zampini       ierr = MatDuplicate(Bd, MAT_DO_NOT_COPY_VALUES, &AinvBd);CHKERRQ(ierr);
1053202ece2SStefano Zampini       ierr = MatMatSolve(fact, Bd, AinvBd);CHKERRQ(ierr);
1063202ece2SStefano Zampini     } else {
10707b1e237SStefano Zampini       PetscBool ex = PETSC_TRUE;
10807b1e237SStefano Zampini 
10907b1e237SStefano Zampini       if (ex) {
1103202ece2SStefano Zampini         Mat Ainvd;
1113202ece2SStefano Zampini 
1123202ece2SStefano Zampini         ierr = PCComputeExplicitOperator(pc, &Ainvd);CHKERRQ(ierr);
1133202ece2SStefano Zampini         ierr = MatMatMult(Ainvd, Bd, MAT_INITIAL_MATRIX, fill, &AinvBd);CHKERRQ(ierr);
1143202ece2SStefano Zampini         ierr = MatDestroy(&Ainvd);CHKERRQ(ierr);
11507b1e237SStefano Zampini       } else {
11607b1e237SStefano Zampini         Vec         sol,rhs;
11707b1e237SStefano Zampini         PetscScalar *arrayrhs,*arraysol;
11807b1e237SStefano Zampini         PetscInt    i,nrhs,n;
11907b1e237SStefano Zampini 
12007b1e237SStefano Zampini         ierr = MatDuplicate(Bd, MAT_DO_NOT_COPY_VALUES, &AinvBd);CHKERRQ(ierr);
12107b1e237SStefano Zampini         ierr = MatGetSize(Bd,&n,&nrhs);CHKERRQ(ierr);
12207b1e237SStefano Zampini         ierr = MatDenseGetArray(Bd,&arrayrhs);CHKERRQ(ierr);
12307b1e237SStefano Zampini         ierr = MatDenseGetArray(AinvBd,&arraysol);CHKERRQ(ierr);
12407b1e237SStefano Zampini         ierr = KSPGetSolution(ksp,&sol);CHKERRQ(ierr);
12507b1e237SStefano Zampini         ierr = KSPGetRhs(ksp,&rhs);CHKERRQ(ierr);
12607b1e237SStefano Zampini         for (i=0;i<nrhs;i++) {
12707b1e237SStefano Zampini           ierr = VecPlaceArray(rhs,arrayrhs+i*n);CHKERRQ(ierr);
12807b1e237SStefano Zampini           ierr = VecPlaceArray(sol,arraysol+i*n);CHKERRQ(ierr);
12907b1e237SStefano Zampini           ierr = KSPSolve(ksp,rhs,sol);CHKERRQ(ierr);
13007b1e237SStefano Zampini           ierr = VecResetArray(rhs);CHKERRQ(ierr);
13107b1e237SStefano Zampini           ierr = VecResetArray(sol);CHKERRQ(ierr);
13207b1e237SStefano Zampini         }
13307b1e237SStefano Zampini         ierr = MatDenseRestoreArray(Bd,&arrayrhs);CHKERRQ(ierr);
13407b1e237SStefano Zampini         ierr = MatDenseRestoreArray(AinvBd,&arrayrhs);CHKERRQ(ierr);
13507b1e237SStefano Zampini       }
1363202ece2SStefano Zampini     }
1375ec10c6aSStefano Zampini     if (!Bdense & !issym) {
1383202ece2SStefano Zampini       ierr = MatDestroy(&Bd);CHKERRQ(ierr);
1393202ece2SStefano Zampini     }
1405ec10c6aSStefano Zampini 
1415ec10c6aSStefano Zampini     if (!issym) {
1423202ece2SStefano Zampini       if (!Cdense) {
1433202ece2SStefano Zampini         ierr = MatConvert(C, MATSEQDENSE, MAT_INITIAL_MATRIX, &Cd);CHKERRQ(ierr);
1443202ece2SStefano Zampini       } else {
1453202ece2SStefano Zampini         Cd = C;
1463202ece2SStefano Zampini       }
1475ec10c6aSStefano Zampini       ierr = MatMatMult(Cd, AinvBd, reuse, fill, S);CHKERRQ(ierr);
1483202ece2SStefano Zampini       if (!Cdense) {
1493202ece2SStefano Zampini         ierr = MatDestroy(&Cd);CHKERRQ(ierr);
1503202ece2SStefano Zampini       }
1515ec10c6aSStefano Zampini     } else {
1525ec10c6aSStefano Zampini       ierr = MatTransposeMatMult(Bd, AinvBd, reuse, fill, S);CHKERRQ(ierr);
1535ec10c6aSStefano Zampini       if (!Bdense) {
1545ec10c6aSStefano Zampini         ierr = MatDestroy(&Bd);CHKERRQ(ierr);
1555ec10c6aSStefano Zampini       }
1565ec10c6aSStefano Zampini     }
1575ec10c6aSStefano Zampini     ierr = MatDestroy(&AinvBd);CHKERRQ(ierr);
158f11841e3SStefano Zampini   }
1593202ece2SStefano Zampini 
1603202ece2SStefano Zampini   if (D) {
1613202ece2SStefano Zampini     Mat       Dd;
1623202ece2SStefano Zampini     PetscBool Ddense;
1633202ece2SStefano Zampini 
1643202ece2SStefano Zampini     ierr = PetscObjectTypeCompare((PetscObject)D,MATSEQDENSE,&Ddense);CHKERRQ(ierr);
1653202ece2SStefano Zampini     if (!Ddense) {
1663202ece2SStefano Zampini       ierr = MatConvert(D, MATSEQDENSE, MAT_INITIAL_MATRIX, &Dd);CHKERRQ(ierr);
1673202ece2SStefano Zampini     } else {
1683202ece2SStefano Zampini       Dd = D;
1693202ece2SStefano Zampini     }
170f11841e3SStefano Zampini     if (n_I) {
1713202ece2SStefano Zampini       ierr = MatAYPX(*S,-1.0,Dd,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
172f11841e3SStefano Zampini     } else {
173f11841e3SStefano Zampini       if (reuse == MAT_INITIAL_MATRIX) {
174f11841e3SStefano Zampini         ierr = MatDuplicate(Dd,MAT_COPY_VALUES,S);CHKERRQ(ierr);
175f11841e3SStefano Zampini       } else {
176f11841e3SStefano Zampini         ierr = MatCopy(Dd,*S,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
177f11841e3SStefano Zampini       }
178f11841e3SStefano Zampini     }
1793202ece2SStefano Zampini     if (!Ddense) {
1803202ece2SStefano Zampini       ierr = MatDestroy(&Dd);CHKERRQ(ierr);
1813202ece2SStefano Zampini     }
1823202ece2SStefano Zampini   } else {
1833202ece2SStefano Zampini     ierr = MatScale(*S,-1.0);CHKERRQ(ierr);
1843202ece2SStefano Zampini   }
1853202ece2SStefano Zampini   PetscFunctionReturn(0);
1863202ece2SStefano Zampini }
18734a97f8cSStefano Zampini 
18834a97f8cSStefano Zampini #undef __FUNCT__
1891580ed26SStefano Zampini #define __FUNCT__ "PCBDDCSubSchursSetUp"
190*a64f4aa4SStefano Zampini PetscErrorCode PCBDDCSubSchursSetUp(PCBDDCSubSchurs sub_schurs, Mat Ain, Mat Sin, PetscInt xadj[], PetscInt adjncy[], PetscInt nlayers, PetscBool faster_deluxe, PetscBool compute_Stilda, PetscBool use_edges, PetscBool use_faces)
191b1b3d7a2SStefano Zampini {
1925a95e1ceSStefano Zampini   Mat                    A_II,A_IB,A_BI,A_BB,AE_II;
193d2627357SStefano Zampini   Mat                    S_all,S_all_inv;
194d2627357SStefano Zampini   Mat                    global_schur_subsets,work_mat;
19508122e43SStefano Zampini   Mat                    S_Ej_tilda_all,S_Ej_inv_all;
1965db18549SStefano Zampini   ISLocalToGlobalMapping l2gmap_subsets;
1975a95e1ceSStefano Zampini   IS                     is_I,temp_is;
198d648f858SStefano Zampini   PetscInt               *nnz,*all_local_idx_G,*all_local_idx_N;
199eb595f79SStefano Zampini   PetscInt               *auxnum1,*auxnum2,*all_local_idx_G_rep;
2005a95e1ceSStefano Zampini   PetscInt               i,subset_size,max_subset_size;
201883469d8SStefano Zampini   PetscInt               extra,local_size,global_size;
20208122e43SStefano Zampini   PetscBLASInt           B_N,B_ierr,B_lwork,*pivots;
20306a4b1faSStefano Zampini   PetscScalar            *Bwork;
2045a95e1ceSStefano Zampini   PetscSubcomm           subcomm;
2055a95e1ceSStefano Zampini   PetscMPIInt            color,rank;
2065a95e1ceSStefano Zampini   MPI_Comm               comm_n;
207b1b3d7a2SStefano Zampini   PetscErrorCode         ierr;
208b1b3d7a2SStefano Zampini 
209b1b3d7a2SStefano Zampini   PetscFunctionBegin;
210*a64f4aa4SStefano Zampini   /* update info in sub_schurs */
211*a64f4aa4SStefano Zampini   ierr = MatDestroy(&sub_schurs->A);CHKERRQ(ierr);
212*a64f4aa4SStefano Zampini   ierr = MatDestroy(&sub_schurs->S);CHKERRQ(ierr);
213*a64f4aa4SStefano Zampini   if (Ain) {
214*a64f4aa4SStefano Zampini     PetscBool isseqaij;
215*a64f4aa4SStefano Zampini 
216*a64f4aa4SStefano Zampini     ierr = PetscObjectTypeCompare((PetscObject)Ain,MATSEQAIJ,&isseqaij);CHKERRQ(ierr);
217*a64f4aa4SStefano Zampini     if (isseqaij) {
218*a64f4aa4SStefano Zampini       ierr = PetscObjectReference((PetscObject)Ain);CHKERRQ(ierr);
219*a64f4aa4SStefano Zampini       sub_schurs->A = Ain;
220*a64f4aa4SStefano Zampini     } else { /* SeqBAIJ matrices does not support symmetry checking, SeqSBAIJ does not support MatPermute */
221*a64f4aa4SStefano Zampini       ierr = MatConvert(Ain,MATSEQAIJ,MAT_INITIAL_MATRIX,&sub_schurs->A);CHKERRQ(ierr);
222*a64f4aa4SStefano Zampini     }
223*a64f4aa4SStefano Zampini   }
224*a64f4aa4SStefano Zampini   ierr = PetscObjectReference((PetscObject)Sin);CHKERRQ(ierr);
225*a64f4aa4SStefano Zampini   sub_schurs->S = Sin;
226*a64f4aa4SStefano Zampini   if (sub_schurs->use_mumps) {
227*a64f4aa4SStefano Zampini     sub_schurs->use_mumps = (PetscBool)(!!sub_schurs->A);
228*a64f4aa4SStefano Zampini   }
229*a64f4aa4SStefano Zampini 
2305a95e1ceSStefano Zampini   /* preliminary checks */
2315a95e1ceSStefano Zampini   if (!sub_schurs->use_mumps && compute_Stilda) {
2325a95e1ceSStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)sub_schurs->l2gmap),PETSC_ERR_SUP,"Adaptive selection of constraints requires MUMPS");
2335a95e1ceSStefano Zampini   }
2345a95e1ceSStefano Zampini   /* determine if we are dealing with hermitian positive definite problems */
2355a95e1ceSStefano Zampini   sub_schurs->is_hermitian = PETSC_FALSE;
2365a95e1ceSStefano Zampini   sub_schurs->is_posdef = PETSC_FALSE;
2375a95e1ceSStefano Zampini   if (sub_schurs->A) {
2385a95e1ceSStefano Zampini     PetscInt lsize;
2395a95e1ceSStefano Zampini 
2405a95e1ceSStefano Zampini     ierr = MatGetSize(sub_schurs->A,&lsize,NULL);CHKERRQ(ierr);
2415a95e1ceSStefano Zampini     if (lsize) {
2425a95e1ceSStefano Zampini       ierr = MatIsHermitian(sub_schurs->A,0.0,&sub_schurs->is_hermitian);CHKERRQ(ierr);
2435a95e1ceSStefano Zampini       if (sub_schurs->is_hermitian) {
2445a95e1ceSStefano Zampini         PetscScalar val;
2455a95e1ceSStefano Zampini         Vec         vec1,vec2;
2465a95e1ceSStefano Zampini 
2475a95e1ceSStefano Zampini         ierr = MatCreateVecs(sub_schurs->A,&vec1,&vec2);CHKERRQ(ierr);
2485a95e1ceSStefano Zampini         ierr = VecSetRandom(vec1,NULL);
2495a95e1ceSStefano Zampini         ierr = VecCopy(vec1,vec2);CHKERRQ(ierr);
2505a95e1ceSStefano Zampini         ierr = MatMult(sub_schurs->A,vec2,vec1);CHKERRQ(ierr);
2515a95e1ceSStefano Zampini         ierr = VecDot(vec1,vec2,&val);CHKERRQ(ierr);
2525a95e1ceSStefano Zampini         if (PetscRealPart(val) > 0. && PetscImaginaryPart(val) == 0.) sub_schurs->is_posdef = PETSC_TRUE;
2535a95e1ceSStefano Zampini         ierr = VecDestroy(&vec1);CHKERRQ(ierr);
2545a95e1ceSStefano Zampini         ierr = VecDestroy(&vec2);CHKERRQ(ierr);
2555a95e1ceSStefano Zampini       }
2565a95e1ceSStefano Zampini     } else {
2575a95e1ceSStefano Zampini       sub_schurs->is_hermitian = PETSC_TRUE;
2585a95e1ceSStefano Zampini       sub_schurs->is_posdef = PETSC_TRUE;
2595a95e1ceSStefano Zampini     }
2605a95e1ceSStefano Zampini     if (compute_Stilda && (!sub_schurs->is_hermitian || !sub_schurs->is_posdef)) {
2615a95e1ceSStefano Zampini       SETERRQ(PetscObjectComm((PetscObject)sub_schurs->l2gmap),PETSC_ERR_SUP,"General matrix pencils are not currently supported");
2625a95e1ceSStefano Zampini     }
2635a95e1ceSStefano Zampini   }
2645a95e1ceSStefano Zampini   /* restrict work on active processes */
2655a95e1ceSStefano Zampini   color = 0;
2665a95e1ceSStefano Zampini   if (!sub_schurs->n_subs) color = 1; /* this can happen if we are in a multilevel case or if the subdomain is disconnected */
2675a95e1ceSStefano Zampini   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject)sub_schurs->l2gmap),&rank);CHKERRQ(ierr);
2685a95e1ceSStefano Zampini   ierr = PetscSubcommCreate(PetscObjectComm((PetscObject)sub_schurs->l2gmap),&subcomm);CHKERRQ(ierr);
2695a95e1ceSStefano Zampini   ierr = PetscSubcommSetNumber(subcomm,2);CHKERRQ(ierr);
2705a95e1ceSStefano Zampini   ierr = PetscSubcommSetTypeGeneral(subcomm,color,rank);CHKERRQ(ierr);
2715a95e1ceSStefano Zampini   ierr = PetscCommDuplicate(PetscSubcommChild(subcomm),&comm_n,NULL);CHKERRQ(ierr);
2725a95e1ceSStefano Zampini   ierr = PetscSubcommDestroy(&subcomm);CHKERRQ(ierr);
2735a95e1ceSStefano Zampini   if (!sub_schurs->n_subs) {
2745a95e1ceSStefano Zampini     ierr = PetscCommDestroy(&comm_n);CHKERRQ(ierr);
2755a95e1ceSStefano Zampini     PetscFunctionReturn(0);
2765a95e1ceSStefano Zampini   }
2775a95e1ceSStefano Zampini 
278b1b3d7a2SStefano Zampini   /* get Schur complement matrices */
279883469d8SStefano Zampini   if (!sub_schurs->use_mumps) {
280*a64f4aa4SStefano Zampini     Mat       tA_IB,tA_BI,tA_BB;
281f11841e3SStefano Zampini     PetscBool isseqaij;
282*a64f4aa4SStefano Zampini     ierr = MatSchurComplementGetSubMatrices(sub_schurs->S,&A_II,NULL,&tA_IB,&tA_BI,&tA_BB);CHKERRQ(ierr);
283*a64f4aa4SStefano Zampini     ierr = PetscObjectTypeCompare((PetscObject)tA_BB,MATSEQAIJ,&isseqaij);CHKERRQ(ierr);
284f11841e3SStefano Zampini     if (!isseqaij) {
285*a64f4aa4SStefano Zampini       ierr = MatConvert(tA_BB,MATSEQAIJ,MAT_INITIAL_MATRIX,&A_BB);CHKERRQ(ierr);
286*a64f4aa4SStefano Zampini       ierr = MatConvert(tA_IB,MATSEQAIJ,MAT_INITIAL_MATRIX,&A_IB);CHKERRQ(ierr);
287*a64f4aa4SStefano Zampini       ierr = MatConvert(tA_BI,MATSEQAIJ,MAT_INITIAL_MATRIX,&A_BI);CHKERRQ(ierr);
288*a64f4aa4SStefano Zampini     } else {
289*a64f4aa4SStefano Zampini       ierr = PetscObjectReference((PetscObject)tA_BB);CHKERRQ(ierr);
290*a64f4aa4SStefano Zampini       A_BB = tA_BB;
291*a64f4aa4SStefano Zampini       ierr = PetscObjectReference((PetscObject)tA_IB);CHKERRQ(ierr);
292*a64f4aa4SStefano Zampini       A_IB = tA_IB;
293*a64f4aa4SStefano Zampini       ierr = PetscObjectReference((PetscObject)tA_BI);CHKERRQ(ierr);
294*a64f4aa4SStefano Zampini       A_BI = tA_BI;
295f11841e3SStefano Zampini     }
296a58a30b4SStefano Zampini   } else {
2975a95e1ceSStefano Zampini     A_II = NULL;
2985a95e1ceSStefano Zampini     A_IB = NULL;
2995a95e1ceSStefano Zampini     A_BI = NULL;
3005a95e1ceSStefano Zampini     A_BB = NULL;
301b1b3d7a2SStefano Zampini   }
3025a95e1ceSStefano Zampini   S_all = NULL;
3035a95e1ceSStefano Zampini   S_all_inv = NULL;
3045a95e1ceSStefano Zampini   S_Ej_tilda_all = NULL;
3055a95e1ceSStefano Zampini   S_Ej_inv_all = NULL;
306b1b3d7a2SStefano Zampini 
307b1b3d7a2SStefano Zampini   /* determine interior problems */
308b96c3477SStefano Zampini   ierr = ISDestroy(&sub_schurs->is_I_layer);CHKERRQ(ierr);
3093dc780c3SStefano Zampini   ierr = ISGetLocalSize(sub_schurs->is_I,&i);CHKERRQ(ierr);
3103dc780c3SStefano Zampini   if (nlayers >= 0 && i) { /* Interior problems can be different from the original one */
311b1b3d7a2SStefano Zampini     PetscBT                touched;
312b1b3d7a2SStefano Zampini     const PetscInt*        idx_B;
313b1b3d7a2SStefano Zampini     PetscInt               n_I,n_B,n_local_dofs,n_prev_added,j,layer,*local_numbering;
314b1b3d7a2SStefano Zampini 
3153dc780c3SStefano Zampini     if (xadj == NULL || adjncy == NULL) {
3163dc780c3SStefano Zampini       SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Cannot request layering without adjacency");
3173dc780c3SStefano Zampini     }
318b1b3d7a2SStefano Zampini     /* get sizes */
319b1b3d7a2SStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_I,&n_I);CHKERRQ(ierr);
320b1b3d7a2SStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_B,&n_B);CHKERRQ(ierr);
321b1b3d7a2SStefano Zampini 
322b1b3d7a2SStefano Zampini     ierr = PetscMalloc1(n_I+n_B,&local_numbering);CHKERRQ(ierr);
323b1b3d7a2SStefano Zampini     ierr = PetscBTCreate(n_I+n_B,&touched);CHKERRQ(ierr);
324b1b3d7a2SStefano Zampini     ierr = PetscBTMemzero(n_I+n_B,touched);CHKERRQ(ierr);
325b1b3d7a2SStefano Zampini 
326b1b3d7a2SStefano Zampini     /* all boundary dofs must be skipped when adding layers */
327b1b3d7a2SStefano Zampini     ierr = ISGetIndices(sub_schurs->is_B,&idx_B);CHKERRQ(ierr);
328b1b3d7a2SStefano Zampini     for (j=0;j<n_B;j++) {
329b1b3d7a2SStefano Zampini       ierr = PetscBTSet(touched,idx_B[j]);CHKERRQ(ierr);
330b1b3d7a2SStefano Zampini     }
331b1b3d7a2SStefano Zampini     ierr = PetscMemcpy(local_numbering,idx_B,n_B*sizeof(PetscInt));CHKERRQ(ierr);
332b1b3d7a2SStefano Zampini     ierr = ISRestoreIndices(sub_schurs->is_B,&idx_B);CHKERRQ(ierr);
333b1b3d7a2SStefano Zampini 
334b1b3d7a2SStefano Zampini     /* add prescribed number of layers of dofs */
335b1b3d7a2SStefano Zampini     n_local_dofs = n_B;
336b1b3d7a2SStefano Zampini     n_prev_added = n_B;
337b1b3d7a2SStefano Zampini     for (layer=0;layer<nlayers;layer++) {
338b1b3d7a2SStefano Zampini       PetscInt n_added;
339b1b3d7a2SStefano Zampini       if (n_local_dofs == n_I+n_B) break;
340b1b3d7a2SStefano Zampini       if (n_local_dofs > n_I+n_B) {
341b1b3d7a2SStefano Zampini         SETERRQ3(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error querying layer %d. Out of bound access (%d > %d)",layer,n_local_dofs,n_I+n_B);
342b1b3d7a2SStefano Zampini       }
343b1b3d7a2SStefano Zampini       ierr = PCBDDCAdjGetNextLayer_Private(local_numbering+n_local_dofs,n_prev_added,touched,xadj,adjncy,&n_added);CHKERRQ(ierr);
344b1b3d7a2SStefano Zampini       n_prev_added = n_added;
345b1b3d7a2SStefano Zampini       n_local_dofs += n_added;
346b1b3d7a2SStefano Zampini       if (!n_added) break;
347b1b3d7a2SStefano Zampini     }
348b1b3d7a2SStefano Zampini     ierr = PetscBTDestroy(&touched);CHKERRQ(ierr);
349b1b3d7a2SStefano Zampini 
350883469d8SStefano Zampini     /* IS for I layer dofs in original numbering */
35168270318SStefano Zampini     ierr = ISCreateGeneral(PetscObjectComm((PetscObject)sub_schurs->is_I),n_local_dofs-n_B,local_numbering+n_B,PETSC_COPY_VALUES,&sub_schurs->is_I_layer);CHKERRQ(ierr);
352b1b3d7a2SStefano Zampini     ierr = PetscFree(local_numbering);CHKERRQ(ierr);
35368270318SStefano Zampini     ierr = ISSort(sub_schurs->is_I_layer);CHKERRQ(ierr);
354883469d8SStefano Zampini     /* IS for I layer dofs in I numbering */
355883469d8SStefano Zampini     if (!sub_schurs->use_mumps) {
356b1b3d7a2SStefano Zampini       ISLocalToGlobalMapping ItoNmap;
357b1b3d7a2SStefano Zampini       ierr = ISLocalToGlobalMappingCreateIS(sub_schurs->is_I,&ItoNmap);CHKERRQ(ierr);
35868270318SStefano Zampini       ierr = ISGlobalToLocalMappingApplyIS(ItoNmap,IS_GTOLM_DROP,sub_schurs->is_I_layer,&is_I);CHKERRQ(ierr);
359b1b3d7a2SStefano Zampini       ierr = ISLocalToGlobalMappingDestroy(&ItoNmap);CHKERRQ(ierr);
360b1b3d7a2SStefano Zampini 
361b1b3d7a2SStefano Zampini       /* II block */
362b1b3d7a2SStefano Zampini       ierr = MatGetSubMatrix(A_II,is_I,is_I,MAT_INITIAL_MATRIX,&AE_II);CHKERRQ(ierr);
363b1b3d7a2SStefano Zampini     }
364b1b3d7a2SStefano Zampini   } else {
365b1b3d7a2SStefano Zampini     PetscInt n_I;
366b1b3d7a2SStefano Zampini 
367b1b3d7a2SStefano Zampini     /* IS for I dofs in original numbering */
368b1b3d7a2SStefano Zampini     ierr = PetscObjectReference((PetscObject)sub_schurs->is_I);CHKERRQ(ierr);
36968270318SStefano Zampini     sub_schurs->is_I_layer = sub_schurs->is_I;
370b1b3d7a2SStefano Zampini 
371b1b3d7a2SStefano Zampini     /* IS for I dofs in I numbering (strided 1) */
372883469d8SStefano Zampini     if (!sub_schurs->use_mumps) {
373b1b3d7a2SStefano Zampini       ierr = ISGetSize(sub_schurs->is_I,&n_I);CHKERRQ(ierr);
374b1b3d7a2SStefano Zampini       ierr = ISCreateStride(PetscObjectComm((PetscObject)sub_schurs->is_I),n_I,0,1,&is_I);CHKERRQ(ierr);
375b1b3d7a2SStefano Zampini 
376b1b3d7a2SStefano Zampini       /* II block is the same */
377b1b3d7a2SStefano Zampini       ierr = PetscObjectReference((PetscObject)A_II);CHKERRQ(ierr);
378b1b3d7a2SStefano Zampini       AE_II = A_II;
379b1b3d7a2SStefano Zampini     }
380b1b3d7a2SStefano Zampini   }
3815a95e1ceSStefano Zampini 
382883469d8SStefano Zampini   /* Get info on subset sizes and sum of all subsets sizes */
3835a95e1ceSStefano Zampini   max_subset_size = 0;
384883469d8SStefano Zampini   local_size = 0;
3855a95e1ceSStefano Zampini   for (i=0;i<sub_schurs->n_subs;i++) {
3865a95e1ceSStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);CHKERRQ(ierr);
3875a95e1ceSStefano Zampini     max_subset_size = PetscMax(subset_size,max_subset_size);
388883469d8SStefano Zampini     local_size += subset_size;
389883469d8SStefano Zampini   }
390883469d8SStefano Zampini 
391883469d8SStefano Zampini   /* Work arrays for local indices */
392883469d8SStefano Zampini   extra = 0;
393883469d8SStefano Zampini   if (sub_schurs->use_mumps) {
394883469d8SStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_I_layer,&extra);CHKERRQ(ierr);
395883469d8SStefano Zampini   }
396883469d8SStefano Zampini   ierr = PetscMalloc1(local_size+extra,&all_local_idx_N);CHKERRQ(ierr);
397883469d8SStefano Zampini   if (extra) {
398883469d8SStefano Zampini     const PetscInt *idxs;
399883469d8SStefano Zampini     ierr = ISGetIndices(sub_schurs->is_I_layer,&idxs);CHKERRQ(ierr);
400883469d8SStefano Zampini     ierr = PetscMemcpy(all_local_idx_N,idxs,extra*sizeof(PetscInt));CHKERRQ(ierr);
401883469d8SStefano Zampini     ierr = ISRestoreIndices(sub_schurs->is_I_layer,&idxs);CHKERRQ(ierr);
402883469d8SStefano Zampini   }
403883469d8SStefano Zampini   ierr = PetscMalloc1(local_size,&nnz);CHKERRQ(ierr);
404eb595f79SStefano Zampini   ierr = PetscMalloc2(sub_schurs->n_subs,&auxnum1,sub_schurs->n_subs,&auxnum2);CHKERRQ(ierr);
405883469d8SStefano Zampini 
406883469d8SStefano Zampini   /* Get local indices in local numbering */
407883469d8SStefano Zampini   local_size = 0;
4085a95e1ceSStefano Zampini   for (i=0;i<sub_schurs->n_subs;i++) {
409883469d8SStefano Zampini     PetscInt j;
410883469d8SStefano Zampini     const    PetscInt *idxs;
411883469d8SStefano Zampini 
4125a95e1ceSStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);CHKERRQ(ierr);
4135a95e1ceSStefano Zampini     ierr = ISGetIndices(sub_schurs->is_subs[i],&idxs);CHKERRQ(ierr);
414eb595f79SStefano Zampini     /* start (smallest in global ordering) and multiplicity */
415eb595f79SStefano Zampini     auxnum1[i] = idxs[0];
416eb595f79SStefano Zampini     auxnum2[i] = subset_size;
417883469d8SStefano Zampini     /* subset indices in local numbering */
418883469d8SStefano Zampini     ierr = PetscMemcpy(all_local_idx_N+local_size+extra,idxs,subset_size*sizeof(PetscInt));CHKERRQ(ierr);
4195a95e1ceSStefano Zampini     ierr = ISRestoreIndices(sub_schurs->is_subs[i],&idxs);CHKERRQ(ierr);
420883469d8SStefano Zampini     for (j=0;j<subset_size;j++) nnz[local_size+j] = subset_size;
421883469d8SStefano Zampini     local_size += subset_size;
422883469d8SStefano Zampini   }
423883469d8SStefano Zampini 
4245a95e1ceSStefano Zampini   /* allocate extra workspace needed only for GETRI */
425d2627357SStefano Zampini   Bwork = NULL;
426d2627357SStefano Zampini   pivots = NULL;
4275a95e1ceSStefano Zampini   if (sub_schurs->n_subs && !sub_schurs->is_hermitian) {
428d2627357SStefano Zampini     PetscScalar lwork;
429d2627357SStefano Zampini 
430d2627357SStefano Zampini     B_lwork = -1;
431d2627357SStefano Zampini     ierr = PetscBLASIntCast(local_size,&B_N);CHKERRQ(ierr);
432d2627357SStefano Zampini     ierr = PetscFPTrapPush(PETSC_FP_TRAP_OFF);CHKERRQ(ierr);
433d2627357SStefano Zampini     PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,Bwork,&B_N,pivots,&lwork,&B_lwork,&B_ierr));
434d2627357SStefano Zampini     ierr = PetscFPTrapPop();CHKERRQ(ierr);
435d2627357SStefano Zampini     if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in query to GETRI Lapack routine %d",(int)B_ierr);
436d2627357SStefano Zampini     ierr = PetscBLASIntCast((PetscInt)PetscRealPart(lwork),&B_lwork);CHKERRQ(ierr);
437d2627357SStefano Zampini     ierr = PetscMalloc2(B_lwork,&Bwork,B_N,&pivots);CHKERRQ(ierr);
438d2627357SStefano Zampini   }
439d2627357SStefano Zampini 
440d2627357SStefano Zampini   /* prepare parallel matrices for summing up properly schurs on subsets */
441eb595f79SStefano Zampini   ierr = PCBDDCSubsetNumbering(comm_n,sub_schurs->l2gmap,sub_schurs->n_subs,auxnum1,auxnum2,&global_size,&all_local_idx_G_rep);CHKERRQ(ierr);
442eb595f79SStefano Zampini   ierr = PetscMalloc1(local_size,&all_local_idx_G);CHKERRQ(ierr);
443eb595f79SStefano Zampini   local_size = 0;
444eb595f79SStefano Zampini   for (i=0;i<sub_schurs->n_subs;i++) {
445eb595f79SStefano Zampini     PetscInt j;
446eb595f79SStefano Zampini     for (j=0;j<auxnum2[i];j++) all_local_idx_G[local_size++] = all_local_idx_G_rep[i] + j;
447eb595f79SStefano Zampini   }
448eb595f79SStefano Zampini   ierr = PetscFree(all_local_idx_G_rep);CHKERRQ(ierr);
449eb595f79SStefano Zampini   ierr = PetscFree2(auxnum1,auxnum2);CHKERRQ(ierr);
4505a95e1ceSStefano Zampini   ierr = ISLocalToGlobalMappingCreate(comm_n,1,local_size,all_local_idx_G,PETSC_COPY_VALUES,&l2gmap_subsets);CHKERRQ(ierr);
4515a95e1ceSStefano Zampini   ierr = MatCreateIS(comm_n,1,PETSC_DECIDE,PETSC_DECIDE,global_size,global_size,l2gmap_subsets,&work_mat);CHKERRQ(ierr);
452d2627357SStefano Zampini   ierr = ISLocalToGlobalMappingDestroy(&l2gmap_subsets);CHKERRQ(ierr);
453d2627357SStefano Zampini   ierr = MatCreate(PetscObjectComm((PetscObject)work_mat),&global_schur_subsets);CHKERRQ(ierr);
454d2627357SStefano Zampini   ierr = MatSetSizes(global_schur_subsets,PETSC_DECIDE,PETSC_DECIDE,global_size,global_size);CHKERRQ(ierr);
455d2627357SStefano Zampini   ierr = MatSetType(global_schur_subsets,MATMPIAIJ);CHKERRQ(ierr);
4562972d61bSStefano Zampini 
4575a95e1ceSStefano Zampini   /* subset indices in local boundary numbering */
4585a95e1ceSStefano Zampini   if (!sub_schurs->is_Ej_all) {
4595a95e1ceSStefano Zampini     PetscInt *all_local_idx_B;
4605a95e1ceSStefano Zampini 
4615a95e1ceSStefano Zampini     ierr = PetscMalloc1(local_size,&all_local_idx_B);CHKERRQ(ierr);
4625a95e1ceSStefano Zampini     ierr = ISGlobalToLocalMappingApply(sub_schurs->BtoNmap,IS_GTOLM_DROP,local_size,all_local_idx_N+extra,&subset_size,all_local_idx_B);CHKERRQ(ierr);
4635a95e1ceSStefano Zampini     if (subset_size != local_size) {
4645a95e1ceSStefano Zampini       SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Error in sub_schurs serial (BtoNmap)! %d != %d\n",subset_size,local_size);
4655a95e1ceSStefano Zampini     }
4665a95e1ceSStefano Zampini     ierr = ISCreateGeneral(PETSC_COMM_SELF,local_size,all_local_idx_B,PETSC_OWN_POINTER,&sub_schurs->is_Ej_all);CHKERRQ(ierr);
467b1b3d7a2SStefano Zampini   }
468b1b3d7a2SStefano Zampini 
4695a95e1ceSStefano Zampini   /* Local matrix of all local Schur on subsets (transposed) */
4705a95e1ceSStefano Zampini   if (!sub_schurs->S_Ej_all) {
4715a95e1ceSStefano Zampini     ierr = MatCreate(PETSC_COMM_SELF,&sub_schurs->S_Ej_all);CHKERRQ(ierr);
4725a95e1ceSStefano Zampini     ierr = MatSetSizes(sub_schurs->S_Ej_all,PETSC_DECIDE,PETSC_DECIDE,local_size,local_size);CHKERRQ(ierr);
4735a95e1ceSStefano Zampini     ierr = MatSetType(sub_schurs->S_Ej_all,MATAIJ);CHKERRQ(ierr);
4745a95e1ceSStefano Zampini     ierr = MatSeqAIJSetPreallocation(sub_schurs->S_Ej_all,0,nnz);CHKERRQ(ierr);
475aa83b6aeSStefano Zampini   } else {
4765a95e1ceSStefano Zampini     ierr = MatZeroEntries(sub_schurs->S_Ej_all);CHKERRQ(ierr);
477aa83b6aeSStefano Zampini   }
478b1b3d7a2SStefano Zampini 
4795a95e1ceSStefano Zampini   /* Compute Schur complements explicitly */
4805a95e1ceSStefano Zampini   ierr = PetscBTMemzero(sub_schurs->n_subs,sub_schurs->computed_Stilda_subs);CHKERRQ(ierr);
4815a95e1ceSStefano Zampini   if (!sub_schurs->use_mumps) {
4825a95e1ceSStefano Zampini     Mat         S_Ej_expl;
4835a95e1ceSStefano Zampini     PetscScalar *work;
4845a95e1ceSStefano Zampini     PetscInt    j,*dummy_idx;
4855a95e1ceSStefano Zampini     PetscBool   Sdense;
4865a95e1ceSStefano Zampini 
4875a95e1ceSStefano Zampini     ierr = PetscMalloc2(max_subset_size,&dummy_idx,max_subset_size*max_subset_size,&work);CHKERRQ(ierr);
4885a95e1ceSStefano Zampini     local_size = 0;
489b1b3d7a2SStefano Zampini     for (i=0;i<sub_schurs->n_subs;i++) {
4905a95e1ceSStefano Zampini       IS  is_subset_B;
4915a95e1ceSStefano Zampini       Mat AE_EE,AE_IE,AE_EI,S_Ej;
4925a95e1ceSStefano Zampini 
4935a95e1ceSStefano Zampini       /* subsets in original and boundary numbering */
4945a95e1ceSStefano Zampini       ierr = ISGlobalToLocalMappingApplyIS(sub_schurs->BtoNmap,IS_GTOLM_DROP,sub_schurs->is_subs[i],&is_subset_B);CHKERRQ(ierr);
4955a95e1ceSStefano Zampini       /* EE block */
4965a95e1ceSStefano Zampini       ierr = MatGetSubMatrix(A_BB,is_subset_B,is_subset_B,MAT_INITIAL_MATRIX,&AE_EE);CHKERRQ(ierr);
4975a95e1ceSStefano Zampini       /* IE block */
4985a95e1ceSStefano Zampini       ierr = MatGetSubMatrix(A_IB,is_I,is_subset_B,MAT_INITIAL_MATRIX,&AE_IE);CHKERRQ(ierr);
4995a95e1ceSStefano Zampini       /* EI block */
5005a95e1ceSStefano Zampini       if (sub_schurs->is_hermitian) {
5015a95e1ceSStefano Zampini         ierr = MatCreateTranspose(AE_IE,&AE_EI);CHKERRQ(ierr);
5025a95e1ceSStefano Zampini       } else {
5035a95e1ceSStefano Zampini         ierr = MatGetSubMatrix(A_BI,is_subset_B,is_I,MAT_INITIAL_MATRIX,&AE_EI);CHKERRQ(ierr);
5045a95e1ceSStefano Zampini       }
505*a64f4aa4SStefano Zampini       ierr = ISDestroy(&is_subset_B);CHKERRQ(ierr);
5065a95e1ceSStefano Zampini       ierr = MatCreateSchurComplement(AE_II,AE_II,AE_IE,AE_EI,AE_EE,&S_Ej);CHKERRQ(ierr);
5075a95e1ceSStefano Zampini       ierr = MatDestroy(&AE_EE);CHKERRQ(ierr);
5085a95e1ceSStefano Zampini       ierr = MatDestroy(&AE_IE);CHKERRQ(ierr);
5095a95e1ceSStefano Zampini       ierr = MatDestroy(&AE_EI);CHKERRQ(ierr);
510b1b3d7a2SStefano Zampini       if (AE_II == A_II) { /* we can reuse the same ksp */
511b1b3d7a2SStefano Zampini         KSP ksp;
512b1b3d7a2SStefano Zampini         ierr = MatSchurComplementGetKSP(sub_schurs->S,&ksp);CHKERRQ(ierr);
5135a95e1ceSStefano Zampini         ierr = MatSchurComplementSetKSP(S_Ej,ksp);CHKERRQ(ierr);
514b1b3d7a2SStefano Zampini       } else { /* build new ksp object which inherits ksp and pc types from the original one */
515b1b3d7a2SStefano Zampini         KSP       origksp,schurksp;
516b1b3d7a2SStefano Zampini         PC        origpc,schurpc;
517b1b3d7a2SStefano Zampini         KSPType   ksp_type;
518b1b3d7a2SStefano Zampini         PetscInt  n_internal;
5195a95e1ceSStefano Zampini         PetscBool ispcnone;
520b1b3d7a2SStefano Zampini 
521b1b3d7a2SStefano Zampini         ierr = MatSchurComplementGetKSP(sub_schurs->S,&origksp);CHKERRQ(ierr);
5225a95e1ceSStefano Zampini         ierr = MatSchurComplementGetKSP(S_Ej,&schurksp);CHKERRQ(ierr);
523b1b3d7a2SStefano Zampini         ierr = KSPGetType(origksp,&ksp_type);CHKERRQ(ierr);
524b1b3d7a2SStefano Zampini         ierr = KSPSetType(schurksp,ksp_type);CHKERRQ(ierr);
525b1b3d7a2SStefano Zampini         ierr = KSPGetPC(schurksp,&schurpc);CHKERRQ(ierr);
526b1b3d7a2SStefano Zampini         ierr = KSPGetPC(origksp,&origpc);CHKERRQ(ierr);
5275a95e1ceSStefano Zampini         ierr = PetscObjectTypeCompare((PetscObject)origpc,PCNONE,&ispcnone);CHKERRQ(ierr);
5285a95e1ceSStefano Zampini         if (!ispcnone) {
5295a95e1ceSStefano Zampini           PCType pc_type;
530b1b3d7a2SStefano Zampini           ierr = PCGetType(origpc,&pc_type);CHKERRQ(ierr);
531b1b3d7a2SStefano Zampini           ierr = PCSetType(schurpc,pc_type);CHKERRQ(ierr);
5325a95e1ceSStefano Zampini         } else {
5335a95e1ceSStefano Zampini           ierr = PCSetType(schurpc,PCLU);CHKERRQ(ierr);
5345a95e1ceSStefano Zampini         }
535b1b3d7a2SStefano Zampini         ierr = ISGetSize(is_I,&n_internal);CHKERRQ(ierr);
536b1b3d7a2SStefano Zampini         if (n_internal) { /* UMFPACK gives error with 0 sized problems */
537b1b3d7a2SStefano Zampini           MatSolverPackage solver=NULL;
538b1b3d7a2SStefano Zampini           ierr = PCFactorGetMatSolverPackage(origpc,(const MatSolverPackage*)&solver);CHKERRQ(ierr);
539b1b3d7a2SStefano Zampini           if (solver) {
540b1b3d7a2SStefano Zampini             ierr = PCFactorSetMatSolverPackage(schurpc,solver);CHKERRQ(ierr);
541b1b3d7a2SStefano Zampini           }
542b1b3d7a2SStefano Zampini         }
543b1b3d7a2SStefano Zampini         ierr = KSPSetUp(schurksp);CHKERRQ(ierr);
544b1b3d7a2SStefano Zampini       }
5455a95e1ceSStefano Zampini       ierr = ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);CHKERRQ(ierr);
5465a95e1ceSStefano Zampini       ierr = MatCreateSeqDense(PETSC_COMM_SELF,subset_size,subset_size,work,&S_Ej_expl);CHKERRQ(ierr);
5475a95e1ceSStefano Zampini       ierr = PCBDDCComputeExplicitSchur(S_Ej,sub_schurs->is_hermitian,MAT_REUSE_MATRIX,&S_Ej_expl);CHKERRQ(ierr);
5485a95e1ceSStefano Zampini       ierr = PetscObjectTypeCompare((PetscObject)S_Ej_expl,MATSEQDENSE,&Sdense);CHKERRQ(ierr);
5495a95e1ceSStefano Zampini       if (Sdense) {
5505a95e1ceSStefano Zampini         for (j=0;j<subset_size;j++) {
5515a95e1ceSStefano Zampini           dummy_idx[j]=local_size+j;
552b1b3d7a2SStefano Zampini         }
5535a95e1ceSStefano Zampini         ierr = MatSetValues(sub_schurs->S_Ej_all,subset_size,dummy_idx,subset_size,dummy_idx,work,INSERT_VALUES);CHKERRQ(ierr);
5545a95e1ceSStefano Zampini       } else {
5555a95e1ceSStefano Zampini         SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Not yet implemented for sparse matrices");
5565a95e1ceSStefano Zampini       }
5575a95e1ceSStefano Zampini       ierr = MatDestroy(&S_Ej);CHKERRQ(ierr);
558*a64f4aa4SStefano Zampini       ierr = MatDestroy(&S_Ej_expl);CHKERRQ(ierr);
5595a95e1ceSStefano Zampini       local_size += subset_size;
5605a95e1ceSStefano Zampini     }
5615a95e1ceSStefano Zampini     ierr = PetscFree2(dummy_idx,work);CHKERRQ(ierr);
562b1b3d7a2SStefano Zampini     /* free */
563b1b3d7a2SStefano Zampini     ierr = ISDestroy(&is_I);CHKERRQ(ierr);
564b1b3d7a2SStefano Zampini     ierr = MatDestroy(&AE_II);CHKERRQ(ierr);
5655a95e1ceSStefano Zampini     ierr = PetscFree(all_local_idx_N);CHKERRQ(ierr);
566883469d8SStefano Zampini   } else {
567883469d8SStefano Zampini     Mat         A,F;
568883469d8SStefano Zampini     IS          is_A_all;
5695a95e1ceSStefano Zampini     PetscScalar *work;
570d5574798SStefano Zampini     PetscInt    *idxs_schur,n_I,n_I_all,*dummy_idx;
571883469d8SStefano Zampini 
572883469d8SStefano Zampini     /* get working mat */
573883469d8SStefano Zampini     ierr = ISGetLocalSize(sub_schurs->is_I_layer,&n_I);CHKERRQ(ierr);
574883469d8SStefano Zampini     ierr = ISCreateGeneral(PETSC_COMM_SELF,local_size+n_I,all_local_idx_N,PETSC_COPY_VALUES,&is_A_all);CHKERRQ(ierr);
575d648f858SStefano Zampini     ierr = MatGetSubMatrixUnsorted(sub_schurs->A,is_A_all,is_A_all,&A);CHKERRQ(ierr);
576883469d8SStefano Zampini     ierr = ISDestroy(&is_A_all);CHKERRQ(ierr);
577883469d8SStefano Zampini 
57808122e43SStefano Zampini     if (n_I) {
5799ab7bb16SStefano Zampini       if (sub_schurs->is_hermitian && sub_schurs->is_posdef) {
580883469d8SStefano Zampini         ierr = MatGetFactor(A,MATSOLVERMUMPS,MAT_FACTOR_CHOLESKY,&F);CHKERRQ(ierr);
581883469d8SStefano Zampini       } else {
582883469d8SStefano Zampini         ierr = MatGetFactor(A,MATSOLVERMUMPS,MAT_FACTOR_LU,&F);CHKERRQ(ierr);
583883469d8SStefano Zampini       }
584883469d8SStefano Zampini 
585883469d8SStefano Zampini       /* subsets ordered last */
586883469d8SStefano Zampini       ierr = PetscMalloc1(local_size,&idxs_schur);CHKERRQ(ierr);
587883469d8SStefano Zampini       for (i=0;i<local_size;i++) {
588883469d8SStefano Zampini         idxs_schur[i] = n_I+i+1;
589883469d8SStefano Zampini       }
5905a95e1ceSStefano Zampini #if defined(PETSC_HAVE_MUMPS)
591883469d8SStefano Zampini       ierr = MatMumpsSetSchurIndices(F,local_size,idxs_schur);CHKERRQ(ierr);
5925a95e1ceSStefano Zampini #endif
593883469d8SStefano Zampini       ierr = PetscFree(idxs_schur);CHKERRQ(ierr);
594883469d8SStefano Zampini 
595883469d8SStefano Zampini       /* factorization step */
5969ab7bb16SStefano Zampini       if (sub_schurs->is_hermitian && sub_schurs->is_posdef) {
597883469d8SStefano Zampini         ierr = MatCholeskyFactorSymbolic(F,A,NULL,NULL);CHKERRQ(ierr);
598883469d8SStefano Zampini         ierr = MatCholeskyFactorNumeric(F,A,NULL);CHKERRQ(ierr);
599883469d8SStefano Zampini       } else {
600883469d8SStefano Zampini         ierr = MatLUFactorSymbolic(F,A,NULL,NULL,NULL);CHKERRQ(ierr);
601883469d8SStefano Zampini         ierr = MatLUFactorNumeric(F,A,NULL);CHKERRQ(ierr);
602883469d8SStefano Zampini       }
603883469d8SStefano Zampini 
604883469d8SStefano Zampini       /* get explicit Schur Complement computed during numeric factorization */
6055a95e1ceSStefano Zampini #if defined(PETSC_HAVE_MUMPS)
606883469d8SStefano Zampini       ierr = MatMumpsGetSchurComplement(F,&S_all);CHKERRQ(ierr);
6075a95e1ceSStefano Zampini #endif
608d5574798SStefano Zampini 
609d5574798SStefano Zampini       /* we can reuse the interior solver if we are not using the economic version */
610d5574798SStefano Zampini       ierr = ISGetLocalSize(sub_schurs->is_I,&n_I_all);CHKERRQ(ierr);
611d5574798SStefano Zampini       if (n_I == n_I_all) {
612d5574798SStefano Zampini         PCBDDCMumpsInterior msolv_ctx;
613d5574798SStefano Zampini 
614*a64f4aa4SStefano Zampini         ierr = PCDestroy(&sub_schurs->interior_solver);CHKERRQ(ierr);
615d5574798SStefano Zampini         ierr = PetscNew(&msolv_ctx);CHKERRQ(ierr);
616d5574798SStefano Zampini         msolv_ctx->n = n_I;
617d5574798SStefano Zampini         ierr = PetscObjectReference((PetscObject)F);CHKERRQ(ierr);
618d5574798SStefano Zampini         msolv_ctx->F = F;
619d5574798SStefano Zampini         ierr = MatCreateVecs(F,&msolv_ctx->sol,&msolv_ctx->rhs);CHKERRQ(ierr);
620d5574798SStefano Zampini         ierr = PCCreate(PETSC_COMM_SELF,&sub_schurs->interior_solver);CHKERRQ(ierr);
621d5574798SStefano Zampini         ierr = MatSchurComplementGetSubMatrices(sub_schurs->S,&A_II,NULL,NULL,NULL,NULL);CHKERRQ(ierr);
622d5574798SStefano Zampini         ierr = PCSetOperators(sub_schurs->interior_solver,A_II,A_II);CHKERRQ(ierr);
623d5574798SStefano Zampini         ierr = PCSetType(sub_schurs->interior_solver,PCSHELL);CHKERRQ(ierr);
624d5574798SStefano Zampini         ierr = PCShellSetContext(sub_schurs->interior_solver,msolv_ctx);CHKERRQ(ierr);
625d5574798SStefano Zampini         ierr = PCShellSetApply(sub_schurs->interior_solver,PCBDDCMumpsInteriorSolve);CHKERRQ(ierr);
626d5574798SStefano Zampini         ierr = PCShellSetDestroy(sub_schurs->interior_solver,PCBDDCMumpsInteriorDestroy);CHKERRQ(ierr);
627d5574798SStefano Zampini       }
628883469d8SStefano Zampini       ierr = MatDestroy(&F);CHKERRQ(ierr);
62908122e43SStefano Zampini     } else {
63008122e43SStefano Zampini       ierr = MatConvert(A,MATSEQDENSE,MAT_INITIAL_MATRIX,&S_all);CHKERRQ(ierr);
63108122e43SStefano Zampini     }
63208122e43SStefano Zampini     ierr = MatDestroy(&A);CHKERRQ(ierr);
633d2627357SStefano Zampini     ierr = PetscFree(all_local_idx_N);CHKERRQ(ierr);
6345db18549SStefano Zampini 
63512d906b1SStefano Zampini     if (compute_Stilda) {
636a1337663SStefano Zampini       ierr = MatCreate(PETSC_COMM_SELF,&S_Ej_tilda_all);CHKERRQ(ierr);
637a1337663SStefano Zampini       ierr = MatSetSizes(S_Ej_tilda_all,PETSC_DECIDE,PETSC_DECIDE,local_size,local_size);CHKERRQ(ierr);
638a1337663SStefano Zampini       ierr = MatSetType(S_Ej_tilda_all,MATAIJ);CHKERRQ(ierr);
639a1337663SStefano Zampini       ierr = MatSeqAIJSetPreallocation(S_Ej_tilda_all,0,nnz);CHKERRQ(ierr);
64008122e43SStefano Zampini       ierr = MatCreate(PETSC_COMM_SELF,&S_Ej_inv_all);CHKERRQ(ierr);
64108122e43SStefano Zampini       ierr = MatSetSizes(S_Ej_inv_all,PETSC_DECIDE,PETSC_DECIDE,local_size,local_size);CHKERRQ(ierr);
64208122e43SStefano Zampini       ierr = MatSetType(S_Ej_inv_all,MATAIJ);CHKERRQ(ierr);
64308122e43SStefano Zampini       ierr = MatSeqAIJSetPreallocation(S_Ej_inv_all,0,nnz);CHKERRQ(ierr);
64406a4b1faSStefano Zampini 
64512d906b1SStefano Zampini       /* compute St^-1 */
64612d906b1SStefano Zampini       if (local_size) { /* multilevel guard */
647d2627357SStefano Zampini         PetscScalar *vals;
648f6f667cfSStefano Zampini 
6495a95e1ceSStefano Zampini         ierr = PetscBLASIntCast(local_size,&B_N);CHKERRQ(ierr);
650d2627357SStefano Zampini         ierr = MatDuplicate(S_all,MAT_COPY_VALUES,&S_all_inv);CHKERRQ(ierr);
651d2627357SStefano Zampini         ierr = MatDenseGetArray(S_all_inv,&vals);CHKERRQ(ierr);
652d2627357SStefano Zampini         if (!sub_schurs->is_hermitian) {
653d2627357SStefano Zampini           PetscStackCallBLAS("LAPACKgetrf",LAPACKgetrf_(&B_N,&B_N,vals,&B_N,pivots,&B_ierr));
654d2627357SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRF Lapack routine %d",(int)B_ierr);
655d2627357SStefano Zampini           PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,vals,&B_N,pivots,Bwork,&B_lwork,&B_ierr));
656d2627357SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRI Lapack routine %d",(int)B_ierr);
657d2627357SStefano Zampini         } else {
658d2627357SStefano Zampini           PetscStackCallBLAS("LAPACKpotrf",LAPACKpotrf_("L",&B_N,vals,&B_N,&B_ierr));
659d2627357SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRF Lapack routine %d",(int)B_ierr);
660d2627357SStefano Zampini           PetscStackCallBLAS("LAPACKpotri",LAPACKpotri_("L",&B_N,vals,&B_N,&B_ierr));
661d2627357SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRI Lapack routine %d",(int)B_ierr);
662d2627357SStefano Zampini         }
663d2627357SStefano Zampini         ierr = MatDenseRestoreArray(S_all_inv,&vals);CHKERRQ(ierr);
664d2627357SStefano Zampini       }
66512d906b1SStefano Zampini     }
666d2627357SStefano Zampini 
6679087bf02SStefano Zampini     /* Work arrays */
6689087bf02SStefano Zampini     if (sub_schurs->n_subs == 1) {
6699087bf02SStefano Zampini       ierr = PetscMalloc1(max_subset_size,&dummy_idx);CHKERRQ(ierr);
6709087bf02SStefano Zampini     } else {
6719087bf02SStefano Zampini       ierr = PetscMalloc2(max_subset_size,&dummy_idx,max_subset_size*max_subset_size,&work);CHKERRQ(ierr);
6729087bf02SStefano Zampini     }
6739087bf02SStefano Zampini 
6745a95e1ceSStefano Zampini     local_size = 0;
67565d8bf0aSStefano Zampini     for (i=0;i<sub_schurs->n_subs;i++) {
6765a95e1ceSStefano Zampini       Mat S_Ej;
67765d8bf0aSStefano Zampini       IS  is_E;
67865d8bf0aSStefano Zampini       PetscInt j;
67965d8bf0aSStefano Zampini 
6805a95e1ceSStefano Zampini       /* get S_E */
681b96c3477SStefano Zampini       ierr = ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);CHKERRQ(ierr);
6829087bf02SStefano Zampini       if (sub_schurs->n_subs == 1) {
6839087bf02SStefano Zampini         ierr = MatDenseGetArray(S_all,&work);CHKERRQ(ierr);
6849087bf02SStefano Zampini         S_Ej = NULL;
6859087bf02SStefano Zampini         is_E = NULL;
6869087bf02SStefano Zampini       } else {
6875a95e1ceSStefano Zampini         ierr = ISCreateStride(PETSC_COMM_SELF,subset_size,local_size,1,&is_E);CHKERRQ(ierr);
6885a95e1ceSStefano Zampini         ierr = MatCreateSeqDense(PETSC_COMM_SELF,subset_size,subset_size,work,&S_Ej);CHKERRQ(ierr);
6895a95e1ceSStefano Zampini         ierr = MatGetSubMatrix(S_all,is_E,is_E,MAT_REUSE_MATRIX,&S_Ej);CHKERRQ(ierr);
6909087bf02SStefano Zampini       }
6915a95e1ceSStefano Zampini       /* insert S_E values */
692a1337663SStefano Zampini       for (j=0;j<subset_size;j++) {
693a1337663SStefano Zampini         dummy_idx[j]=local_size+j;
694a1337663SStefano Zampini       }
6955a95e1ceSStefano Zampini       ierr = MatSetValues(sub_schurs->S_Ej_all,subset_size,dummy_idx,subset_size,dummy_idx,work,INSERT_VALUES);CHKERRQ(ierr);
696a1337663SStefano Zampini 
6975a95e1ceSStefano Zampini       /* if adaptivity is requested, invert S_E and insert St_E^-1 blocks */
698d2627357SStefano Zampini       if (compute_Stilda && ((PetscBTLookup(sub_schurs->is_edge,i) && use_edges) || (!PetscBTLookup(sub_schurs->is_edge,i) && use_faces))) {
6995a95e1ceSStefano Zampini         /* get S_E^-1 */
70008122e43SStefano Zampini         ierr = PetscBLASIntCast(subset_size,&B_N);CHKERRQ(ierr);
70108122e43SStefano Zampini         ierr = PetscFPTrapPush(PETSC_FP_TRAP_OFF);CHKERRQ(ierr);
7022972d61bSStefano Zampini         if (!sub_schurs->is_hermitian) {
7035a95e1ceSStefano Zampini           PetscStackCallBLAS("LAPACKgetrf",LAPACKgetrf_(&B_N,&B_N,work,&B_N,pivots,&B_ierr));
70408122e43SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRF Lapack routine %d",(int)B_ierr);
7055a95e1ceSStefano Zampini           PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,work,&B_N,pivots,Bwork,&B_lwork,&B_ierr));
70608122e43SStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRI Lapack routine %d",(int)B_ierr);
7072972d61bSStefano Zampini         } else {
7085a95e1ceSStefano Zampini           PetscStackCallBLAS("LAPACKpotrf",LAPACKpotrf_("L",&B_N,work,&B_N,&B_ierr));
7092972d61bSStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRF Lapack routine %d",(int)B_ierr);
7105a95e1ceSStefano Zampini           PetscStackCallBLAS("LAPACKpotri",LAPACKpotri_("L",&B_N,work,&B_N,&B_ierr));
7112972d61bSStefano Zampini           if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRI Lapack routine %d",(int)B_ierr);
7122972d61bSStefano Zampini         }
71308122e43SStefano Zampini         ierr = PetscFPTrapPop();CHKERRQ(ierr);
7145a95e1ceSStefano Zampini         ierr = MatSetValues(S_Ej_inv_all,subset_size,dummy_idx,subset_size,dummy_idx,work,INSERT_VALUES);CHKERRQ(ierr);
7155a95e1ceSStefano Zampini 
7165a95e1ceSStefano Zampini         /* get St_E^-1 */
7179087bf02SStefano Zampini         if (sub_schurs->n_subs == 1) {
7189087bf02SStefano Zampini           ierr = MatDenseRestoreArray(S_all,&work);CHKERRQ(ierr);
7199087bf02SStefano Zampini           ierr = MatDenseGetArray(S_all_inv,&work);CHKERRQ(ierr);
7209087bf02SStefano Zampini         } else {
7215a95e1ceSStefano Zampini           ierr = MatGetSubMatrix(S_all_inv,is_E,is_E,MAT_REUSE_MATRIX,&S_Ej);CHKERRQ(ierr);
7229087bf02SStefano Zampini         }
7235a95e1ceSStefano Zampini         ierr = MatSetValues(S_Ej_tilda_all,subset_size,dummy_idx,subset_size,dummy_idx,work,INSERT_VALUES);CHKERRQ(ierr);
7249087bf02SStefano Zampini         if (sub_schurs->n_subs == 1) {
7259087bf02SStefano Zampini           ierr = MatDenseRestoreArray(S_all_inv,&work);CHKERRQ(ierr);
7269087bf02SStefano Zampini         }
7279087bf02SStefano Zampini         ierr = PetscBTSet(sub_schurs->computed_Stilda_subs,i);CHKERRQ(ierr);
7289087bf02SStefano Zampini       } else if (sub_schurs->n_subs == 1) {
7299087bf02SStefano Zampini         ierr = MatDenseRestoreArray(S_all,&work);CHKERRQ(ierr);
73008122e43SStefano Zampini       }
7315a95e1ceSStefano Zampini       ierr = MatDestroy(&S_Ej);CHKERRQ(ierr);
73265d8bf0aSStefano Zampini       ierr = ISDestroy(&is_E);CHKERRQ(ierr);
733883469d8SStefano Zampini       local_size += subset_size;
734883469d8SStefano Zampini     }
7359087bf02SStefano Zampini     if (sub_schurs->n_subs == 1) {
7369087bf02SStefano Zampini       ierr = PetscFree(dummy_idx);CHKERRQ(ierr);
7379087bf02SStefano Zampini     } else {
7385ec10c6aSStefano Zampini       ierr = PetscFree2(dummy_idx,work);CHKERRQ(ierr);
7395db18549SStefano Zampini     }
7409087bf02SStefano Zampini   }
741a1337663SStefano Zampini   ierr = PetscFree(nnz);CHKERRQ(ierr);
742a1337663SStefano Zampini   ierr = MatDestroy(&S_all);CHKERRQ(ierr);
743d2627357SStefano Zampini   ierr = MatDestroy(&S_all_inv);CHKERRQ(ierr);
744*a64f4aa4SStefano Zampini   ierr = MatDestroy(&A_BB);CHKERRQ(ierr);
745*a64f4aa4SStefano Zampini   ierr = MatDestroy(&A_IB);CHKERRQ(ierr);
746*a64f4aa4SStefano Zampini   ierr = MatDestroy(&A_BI);CHKERRQ(ierr);
7475db18549SStefano Zampini   ierr = MatAssemblyBegin(sub_schurs->S_Ej_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
7485db18549SStefano Zampini   ierr = MatAssemblyEnd(sub_schurs->S_Ej_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
7495a95e1ceSStefano Zampini   if (compute_Stilda) {
750a1337663SStefano Zampini     ierr = MatAssemblyBegin(S_Ej_tilda_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
751a1337663SStefano Zampini     ierr = MatAssemblyEnd(S_Ej_tilda_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
75208122e43SStefano Zampini     ierr = MatAssemblyBegin(S_Ej_inv_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
75308122e43SStefano Zampini     ierr = MatAssemblyEnd(S_Ej_inv_all,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
75408122e43SStefano Zampini   }
755a1337663SStefano Zampini 
7565db18549SStefano Zampini   /* Global matrix of all assembled Schur on subsets */
7575db18549SStefano Zampini   ierr = MatISSetLocalMat(work_mat,sub_schurs->S_Ej_all);CHKERRQ(ierr);
7583927de2eSStefano Zampini   ierr = MatISSetMPIXAIJPreallocation_Private(work_mat,global_schur_subsets,PETSC_TRUE);CHKERRQ(ierr);
7593927de2eSStefano Zampini   ierr = MatISGetMPIXAIJ(work_mat,MAT_REUSE_MATRIX,&global_schur_subsets);CHKERRQ(ierr);
7605a95e1ceSStefano Zampini 
7615db18549SStefano Zampini   /* Get local part of (\sum_j S_Ej) */
7625a95e1ceSStefano Zampini   ierr = ISCreateGeneral(comm_n,local_size,all_local_idx_G,PETSC_OWN_POINTER,&temp_is);CHKERRQ(ierr);
763d648f858SStefano Zampini   ierr = MatDestroy(&sub_schurs->sum_S_Ej_all);CHKERRQ(ierr);
764d648f858SStefano Zampini   ierr = MatGetSubMatrixUnsorted(global_schur_subsets,temp_is,temp_is,&sub_schurs->sum_S_Ej_all);CHKERRQ(ierr);
76508122e43SStefano Zampini 
766ac632422SStefano Zampini   /* Compute explicitly (\sum_j S_Ej)^-1 (faster scaling during PCApply, needs extra work when doing setup) */
767ac632422SStefano Zampini   if (faster_deluxe) {
7685a95e1ceSStefano Zampini     Mat         tmpmat;
7695a95e1ceSStefano Zampini     PetscScalar *array;
7705a95e1ceSStefano Zampini     PetscInt    cum;
7715a95e1ceSStefano Zampini 
7725a95e1ceSStefano Zampini     ierr = MatSeqAIJGetArray(sub_schurs->sum_S_Ej_all,&array);CHKERRQ(ierr);
7735a95e1ceSStefano Zampini     cum = 0;
7745a95e1ceSStefano Zampini     for (i=0;i<sub_schurs->n_subs;i++) {
7755a95e1ceSStefano Zampini       ierr = ISGetLocalSize(sub_schurs->is_subs[i],&subset_size);CHKERRQ(ierr);
7765a95e1ceSStefano Zampini       ierr = PetscBLASIntCast(subset_size,&B_N);CHKERRQ(ierr);
7775a95e1ceSStefano Zampini       ierr = PetscFPTrapPush(PETSC_FP_TRAP_OFF);CHKERRQ(ierr);
7785a95e1ceSStefano Zampini       if (!sub_schurs->is_hermitian) {
7795a95e1ceSStefano Zampini         PetscStackCallBLAS("LAPACKgetrf",LAPACKgetrf_(&B_N,&B_N,array+cum,&B_N,pivots,&B_ierr));
7805a95e1ceSStefano Zampini         if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRF Lapack routine %d",(int)B_ierr);
7815a95e1ceSStefano Zampini         PetscStackCallBLAS("LAPACKgetri",LAPACKgetri_(&B_N,array+cum,&B_N,pivots,Bwork,&B_lwork,&B_ierr));
7825a95e1ceSStefano Zampini         if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in GETRI Lapack routine %d",(int)B_ierr);
7835a95e1ceSStefano Zampini       } else {
7845a95e1ceSStefano Zampini         PetscInt j,k;
7855a95e1ceSStefano Zampini 
7865a95e1ceSStefano Zampini         PetscStackCallBLAS("LAPACKpotrf",LAPACKpotrf_("L",&B_N,array+cum,&B_N,&B_ierr));
7875a95e1ceSStefano Zampini         if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRF Lapack routine %d",(int)B_ierr);
7885a95e1ceSStefano Zampini         PetscStackCallBLAS("LAPACKpotri",LAPACKpotri_("L",&B_N,array+cum,&B_N,&B_ierr));
7895a95e1ceSStefano Zampini         if (B_ierr) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_LIB,"Error in POTRI Lapack routine %d",(int)B_ierr);
7905a95e1ceSStefano Zampini         for (j=0;j<B_N;j++) {
7915a95e1ceSStefano Zampini           for (k=j+1;k<B_N;k++) {
7925a95e1ceSStefano Zampini             array[k*B_N+j+cum] = array[j*B_N+k+cum];
7935a95e1ceSStefano Zampini           }
7945a95e1ceSStefano Zampini         }
7955a95e1ceSStefano Zampini       }
7965a95e1ceSStefano Zampini       ierr = PetscFPTrapPop();CHKERRQ(ierr);
7975a95e1ceSStefano Zampini       cum += subset_size*subset_size;
7985a95e1ceSStefano Zampini     }
7995a95e1ceSStefano Zampini     ierr = MatSeqAIJRestoreArray(sub_schurs->sum_S_Ej_all,&array);CHKERRQ(ierr);
8005a95e1ceSStefano Zampini     ierr = MatMatMult(sub_schurs->S_Ej_all,sub_schurs->sum_S_Ej_all,MAT_INITIAL_MATRIX,1.0,&tmpmat);CHKERRQ(ierr);
8015a95e1ceSStefano Zampini     ierr = MatDestroy(&sub_schurs->S_Ej_all);CHKERRQ(ierr);
802ac632422SStefano Zampini     ierr = MatDestroy(&sub_schurs->sum_S_Ej_all);CHKERRQ(ierr);
8035a95e1ceSStefano Zampini     sub_schurs->S_Ej_all = tmpmat;
8045a95e1ceSStefano Zampini   }
8055a95e1ceSStefano Zampini 
806f6f667cfSStefano Zampini   /* Get local part of (\sum_j S^-1_Ej) (\sum_j St^-1_Ej) */
8075a95e1ceSStefano Zampini   if (compute_Stilda) {
808a1337663SStefano Zampini     ierr = MatISSetLocalMat(work_mat,S_Ej_tilda_all);CHKERRQ(ierr);
809a1337663SStefano Zampini     ierr = MatISGetMPIXAIJ(work_mat,MAT_REUSE_MATRIX,&global_schur_subsets);CHKERRQ(ierr);
810d648f858SStefano Zampini     ierr = MatDestroy(&sub_schurs->sum_S_Ej_tilda_all);CHKERRQ(ierr);
811d648f858SStefano Zampini     ierr = MatGetSubMatrixUnsorted(global_schur_subsets,temp_is,temp_is,&sub_schurs->sum_S_Ej_tilda_all);CHKERRQ(ierr);
81208122e43SStefano Zampini     ierr = MatISSetLocalMat(work_mat,S_Ej_inv_all);CHKERRQ(ierr);
81308122e43SStefano Zampini     ierr = MatISGetMPIXAIJ(work_mat,MAT_REUSE_MATRIX,&global_schur_subsets);CHKERRQ(ierr);
814d648f858SStefano Zampini     ierr = MatDestroy(&sub_schurs->sum_S_Ej_inv_all);CHKERRQ(ierr);
815d648f858SStefano Zampini     ierr = MatGetSubMatrixUnsorted(global_schur_subsets,temp_is,temp_is,&sub_schurs->sum_S_Ej_inv_all);CHKERRQ(ierr);
81608122e43SStefano Zampini   }
8173202ece2SStefano Zampini 
8185a95e1ceSStefano Zampini   /* free workspace */
81906a4b1faSStefano Zampini   ierr = PetscFree2(Bwork,pivots);CHKERRQ(ierr);
820a1337663SStefano Zampini   ierr = MatDestroy(&global_schur_subsets);CHKERRQ(ierr);
821a1337663SStefano Zampini   ierr = MatDestroy(&S_Ej_tilda_all);CHKERRQ(ierr);
82208122e43SStefano Zampini   ierr = MatDestroy(&S_Ej_inv_all);CHKERRQ(ierr);
8233202ece2SStefano Zampini   ierr = MatDestroy(&work_mat);CHKERRQ(ierr);
8245db18549SStefano Zampini   ierr = ISDestroy(&temp_is);CHKERRQ(ierr);
8255a95e1ceSStefano Zampini   ierr = PetscCommDestroy(&comm_n);CHKERRQ(ierr);
826b1b3d7a2SStefano Zampini   PetscFunctionReturn(0);
827b1b3d7a2SStefano Zampini }
828b1b3d7a2SStefano Zampini 
829b1b3d7a2SStefano Zampini #undef __FUNCT__
830b1b3d7a2SStefano Zampini #define __FUNCT__ "PCBDDCSubSchursInit"
831*a64f4aa4SStefano Zampini PetscErrorCode PCBDDCSubSchursInit(PCBDDCSubSchurs sub_schurs, IS is_I, IS is_B, PCBDDCGraph graph, ISLocalToGlobalMapping BtoNmap)
832b1b3d7a2SStefano Zampini {
8339bb4a8caSStefano Zampini   IS              *faces,*edges,*all_cc,vertices;
8345a95e1ceSStefano Zampini   PetscInt        i,n_faces,n_edges,n_all_cc;
835b1b3d7a2SStefano Zampini   PetscBool       is_sorted;
836b1b3d7a2SStefano Zampini   PetscErrorCode  ierr;
837b1b3d7a2SStefano Zampini 
838b1b3d7a2SStefano Zampini   PetscFunctionBegin;
839b1b3d7a2SStefano Zampini   ierr = ISSorted(is_I,&is_sorted);CHKERRQ(ierr);
840b1b3d7a2SStefano Zampini   if (!is_sorted) {
841b1b3d7a2SStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)is_I),PETSC_ERR_PLIB,"IS for I dofs should be shorted");
842b1b3d7a2SStefano Zampini   }
843b1b3d7a2SStefano Zampini   ierr = ISSorted(is_B,&is_sorted);CHKERRQ(ierr);
844b1b3d7a2SStefano Zampini   if (!is_sorted) {
845b1b3d7a2SStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)is_B),PETSC_ERR_PLIB,"IS for B dofs should be shorted");
846b1b3d7a2SStefano Zampini   }
847b1b3d7a2SStefano Zampini 
848b1b3d7a2SStefano Zampini   /* reset any previous data */
849b1b3d7a2SStefano Zampini   ierr = PCBDDCSubSchursReset(sub_schurs);CHKERRQ(ierr);
850b1b3d7a2SStefano Zampini 
8515a95e1ceSStefano Zampini   /* get index sets for faces and edges (already sorted by global ordering) */
8529bb4a8caSStefano Zampini   ierr = PCBDDCGraphGetCandidatesIS(graph,&n_faces,&faces,&n_edges,&edges,&vertices);CHKERRQ(ierr);
853b1b3d7a2SStefano Zampini   n_all_cc = n_faces+n_edges;
85408122e43SStefano Zampini   ierr = PetscBTCreate(n_all_cc,&sub_schurs->is_edge);CHKERRQ(ierr);
85508122e43SStefano Zampini   ierr = PetscBTCreate(n_all_cc,&sub_schurs->computed_Stilda_subs);CHKERRQ(ierr);
856b1b3d7a2SStefano Zampini   ierr = PetscMalloc1(n_all_cc,&all_cc);CHKERRQ(ierr);
857b1b3d7a2SStefano Zampini   for (i=0;i<n_faces;i++) {
858b1b3d7a2SStefano Zampini     all_cc[i] = faces[i];
859b1b3d7a2SStefano Zampini   }
860b1b3d7a2SStefano Zampini   for (i=0;i<n_edges;i++) {
861b1b3d7a2SStefano Zampini     all_cc[n_faces+i] = edges[i];
86208122e43SStefano Zampini     ierr = PetscBTSet(sub_schurs->is_edge,n_faces+i);CHKERRQ(ierr);
863b1b3d7a2SStefano Zampini   }
864b1b3d7a2SStefano Zampini   ierr = PetscFree(faces);CHKERRQ(ierr);
865b1b3d7a2SStefano Zampini   ierr = PetscFree(edges);CHKERRQ(ierr);
866b1b3d7a2SStefano Zampini 
8675a95e1ceSStefano Zampini   /* Determine if MUMPS cane be used */
868883469d8SStefano Zampini   sub_schurs->use_mumps = PETSC_FALSE;
869883469d8SStefano Zampini #if defined(PETSC_HAVE_MUMPS)
870*a64f4aa4SStefano Zampini   sub_schurs->use_mumps = PETSC_TRUE;
871883469d8SStefano Zampini #endif
872b1b3d7a2SStefano Zampini 
873b1b3d7a2SStefano Zampini   ierr = PetscObjectReference((PetscObject)is_I);CHKERRQ(ierr);
874b1b3d7a2SStefano Zampini   sub_schurs->is_I = is_I;
875b1b3d7a2SStefano Zampini   ierr = PetscObjectReference((PetscObject)is_B);CHKERRQ(ierr);
876b1b3d7a2SStefano Zampini   sub_schurs->is_B = is_B;
8775db18549SStefano Zampini   ierr = PetscObjectReference((PetscObject)graph->l2gmap);CHKERRQ(ierr);
8785db18549SStefano Zampini   sub_schurs->l2gmap = graph->l2gmap;
8795db18549SStefano Zampini   ierr = PetscObjectReference((PetscObject)BtoNmap);CHKERRQ(ierr);
8805db18549SStefano Zampini   sub_schurs->BtoNmap = BtoNmap;
8815a95e1ceSStefano Zampini   sub_schurs->n_subs = n_all_cc;
882b1b3d7a2SStefano Zampini   sub_schurs->is_subs = all_cc;
883*a64f4aa4SStefano Zampini   if (!sub_schurs->use_mumps) { /* sort by local ordering mumps is not present */
884b96c3477SStefano Zampini     for (i=0;i<sub_schurs->n_subs;i++) {
885b96c3477SStefano Zampini       ierr = ISSort(sub_schurs->is_subs[i]);CHKERRQ(ierr);
886b96c3477SStefano Zampini     }
8879bb4a8caSStefano Zampini   }
8889bb4a8caSStefano Zampini   sub_schurs->is_Ej_com = vertices;
889b1b3d7a2SStefano Zampini 
890b96c3477SStefano Zampini   /* allocate space for schur complements */
891b96c3477SStefano Zampini   sub_schurs->S_Ej_all = NULL;
892b96c3477SStefano Zampini   sub_schurs->sum_S_Ej_all = NULL;
89308122e43SStefano Zampini   sub_schurs->sum_S_Ej_inv_all = NULL;
894b96c3477SStefano Zampini   sub_schurs->sum_S_Ej_tilda_all = NULL;
895b96c3477SStefano Zampini   sub_schurs->is_Ej_all = NULL;
896b1b3d7a2SStefano Zampini   PetscFunctionReturn(0);
897b1b3d7a2SStefano Zampini }
898b1b3d7a2SStefano Zampini 
899b1b3d7a2SStefano Zampini #undef __FUNCT__
90034a97f8cSStefano Zampini #define __FUNCT__ "PCBDDCSubSchursCreate"
90134a97f8cSStefano Zampini PetscErrorCode PCBDDCSubSchursCreate(PCBDDCSubSchurs *sub_schurs)
90234a97f8cSStefano Zampini {
90334a97f8cSStefano Zampini   PCBDDCSubSchurs schurs_ctx;
90434a97f8cSStefano Zampini   PetscErrorCode  ierr;
90534a97f8cSStefano Zampini 
90634a97f8cSStefano Zampini   PetscFunctionBegin;
90734a97f8cSStefano Zampini   ierr = PetscNew(&schurs_ctx);CHKERRQ(ierr);
9085ff63025SStefano Zampini   schurs_ctx->n_subs = 0;
90934a97f8cSStefano Zampini   *sub_schurs = schurs_ctx;
91034a97f8cSStefano Zampini   PetscFunctionReturn(0);
91134a97f8cSStefano Zampini }
91234a97f8cSStefano Zampini 
91334a97f8cSStefano Zampini #undef __FUNCT__
91434a97f8cSStefano Zampini #define __FUNCT__ "PCBDDCSubSchursDestroy"
91534a97f8cSStefano Zampini PetscErrorCode PCBDDCSubSchursDestroy(PCBDDCSubSchurs *sub_schurs)
91634a97f8cSStefano Zampini {
91734a97f8cSStefano Zampini   PetscErrorCode ierr;
91834a97f8cSStefano Zampini 
91934a97f8cSStefano Zampini   PetscFunctionBegin;
92034a97f8cSStefano Zampini   ierr = PCBDDCSubSchursReset(*sub_schurs);CHKERRQ(ierr);
92134a97f8cSStefano Zampini   ierr = PetscFree(*sub_schurs);CHKERRQ(ierr);
92234a97f8cSStefano Zampini   PetscFunctionReturn(0);
92334a97f8cSStefano Zampini }
92434a97f8cSStefano Zampini 
92534a97f8cSStefano Zampini #undef __FUNCT__
92634a97f8cSStefano Zampini #define __FUNCT__ "PCBDDCSubSchursReset"
92734a97f8cSStefano Zampini PetscErrorCode PCBDDCSubSchursReset(PCBDDCSubSchurs sub_schurs)
92834a97f8cSStefano Zampini {
92934a97f8cSStefano Zampini   PetscInt       i;
93034a97f8cSStefano Zampini   PetscErrorCode ierr;
93134a97f8cSStefano Zampini 
93234a97f8cSStefano Zampini   PetscFunctionBegin;
9331e9c79c2SStefano Zampini   ierr = MatDestroy(&sub_schurs->A);CHKERRQ(ierr);
934b1b3d7a2SStefano Zampini   ierr = MatDestroy(&sub_schurs->S);CHKERRQ(ierr);
935b1b3d7a2SStefano Zampini   ierr = ISDestroy(&sub_schurs->is_I);CHKERRQ(ierr);
936b1b3d7a2SStefano Zampini   ierr = ISDestroy(&sub_schurs->is_B);CHKERRQ(ierr);
9375db18549SStefano Zampini   ierr = ISLocalToGlobalMappingDestroy(&sub_schurs->l2gmap);CHKERRQ(ierr);
9385db18549SStefano Zampini   ierr = ISLocalToGlobalMappingDestroy(&sub_schurs->BtoNmap);CHKERRQ(ierr);
93941c3ba1bSStefano Zampini   ierr = MatDestroy(&sub_schurs->S_Ej_all);CHKERRQ(ierr);
94041c3ba1bSStefano Zampini   ierr = MatDestroy(&sub_schurs->sum_S_Ej_all);CHKERRQ(ierr);
94108122e43SStefano Zampini   ierr = MatDestroy(&sub_schurs->sum_S_Ej_inv_all);CHKERRQ(ierr);
942a1337663SStefano Zampini   ierr = MatDestroy(&sub_schurs->sum_S_Ej_tilda_all);CHKERRQ(ierr);
9435db18549SStefano Zampini   ierr = ISDestroy(&sub_schurs->is_Ej_all);CHKERRQ(ierr);
9449bb4a8caSStefano Zampini   ierr = ISDestroy(&sub_schurs->is_Ej_com);CHKERRQ(ierr);
94508122e43SStefano Zampini   ierr = PetscBTDestroy(&sub_schurs->is_edge);CHKERRQ(ierr);
94608122e43SStefano Zampini   ierr = PetscBTDestroy(&sub_schurs->computed_Stilda_subs);CHKERRQ(ierr);
94734a97f8cSStefano Zampini   for (i=0;i<sub_schurs->n_subs;i++) {
948b1b3d7a2SStefano Zampini     ierr = ISDestroy(&sub_schurs->is_subs[i]);CHKERRQ(ierr);
94934a97f8cSStefano Zampini   }
95068270318SStefano Zampini   ierr = ISDestroy(&sub_schurs->is_I_layer);CHKERRQ(ierr);
9515ff63025SStefano Zampini   if (sub_schurs->n_subs) {
952b1b3d7a2SStefano Zampini     ierr = PetscFree(sub_schurs->is_subs);CHKERRQ(ierr);
9533dc780c3SStefano Zampini   }
954d5574798SStefano Zampini   ierr = PCDestroy(&sub_schurs->interior_solver);CHKERRQ(ierr);
95534a97f8cSStefano Zampini   sub_schurs->n_subs = 0;
95634a97f8cSStefano Zampini   PetscFunctionReturn(0);
95734a97f8cSStefano Zampini }
95834a97f8cSStefano Zampini 
95934a97f8cSStefano Zampini #undef __FUNCT__
96034a97f8cSStefano Zampini #define __FUNCT__ "PCBDDCAdjGetNextLayer_Private"
9612a155e38SStefano Zampini PETSC_STATIC_INLINE PetscErrorCode PCBDDCAdjGetNextLayer_Private(PetscInt* queue_tip,PetscInt n_prev,PetscBT touched,PetscInt* xadj,PetscInt* adjncy,PetscInt* n_added)
96234a97f8cSStefano Zampini {
96334a97f8cSStefano Zampini   PetscInt       i,j,n;
96434a97f8cSStefano Zampini   PetscErrorCode ierr;
96534a97f8cSStefano Zampini 
96634a97f8cSStefano Zampini   PetscFunctionBegin;
96734a97f8cSStefano Zampini   n = 0;
96834a97f8cSStefano Zampini   for (i=-n_prev;i<0;i++) {
96934a97f8cSStefano Zampini     PetscInt start_dof = queue_tip[i];
97034a97f8cSStefano Zampini     for (j=xadj[start_dof];j<xadj[start_dof+1];j++) {
97134a97f8cSStefano Zampini       PetscInt dof = adjncy[j];
97234a97f8cSStefano Zampini       if (!PetscBTLookup(touched,dof)) {
97334a97f8cSStefano Zampini         ierr = PetscBTSet(touched,dof);CHKERRQ(ierr);
97434a97f8cSStefano Zampini         queue_tip[n] = dof;
97534a97f8cSStefano Zampini         n++;
97634a97f8cSStefano Zampini       }
97734a97f8cSStefano Zampini     }
97834a97f8cSStefano Zampini   }
97934a97f8cSStefano Zampini   *n_added = n;
98034a97f8cSStefano Zampini   PetscFunctionReturn(0);
98134a97f8cSStefano Zampini }
982