xref: /petsc/src/ksp/pc/impls/bddc/bddc.c (revision 3301b35fa709e6765b4611c958433aae76439c43)
153cdbc3dSStefano Zampini /* TODOLIST
2eb97c9d2SStefano Zampini 
3eb97c9d2SStefano Zampini    ConstraintsSetup
4eb97c9d2SStefano Zampini    - tolerances for constraints as an option (take care of single precision!)
5eb97c9d2SStefano Zampini 
6eb97c9d2SStefano Zampini    Solvers
7a0d3c3abSStefano Zampini    - Add support for cholesky for coarse solver (similar to local solvers)
8eb97c9d2SStefano Zampini    - Propagate ksp prefixes for solvers to mat objects?
9eb97c9d2SStefano Zampini    - Propagate nearnullspace info among levels
10eb97c9d2SStefano Zampini 
11eb97c9d2SStefano Zampini    User interface
12b9b85e73SStefano Zampini    - ** DofSplitting and DM attached to pc?
13eb97c9d2SStefano Zampini 
14eb97c9d2SStefano Zampini    Debugging output
15b9b85e73SStefano Zampini    - * Better management of verbosity levels of debugging output
16eb97c9d2SStefano Zampini 
17eb97c9d2SStefano Zampini    Extra
18b9b85e73SStefano Zampini    - *** Is it possible to work with PCBDDCGraph on boundary indices only (less memory consumed)?
19eb97c9d2SStefano Zampini    - BDDC with MG framework?
20eb97c9d2SStefano Zampini 
21eb97c9d2SStefano Zampini    FETIDP
22eb97c9d2SStefano Zampini    - Move FETIDP code to its own classes
23eb97c9d2SStefano Zampini 
24eb97c9d2SStefano Zampini    MATIS related operations contained in BDDC code
25eb97c9d2SStefano Zampini    - Provide general case for subassembling
26eb97c9d2SStefano Zampini 
2753cdbc3dSStefano Zampini */
280c7d97c5SJed Brown 
2953cdbc3dSStefano Zampini /* ----------------------------------------------------------------------------------------------------------------------------------------------
300c7d97c5SJed Brown    Implementation of BDDC preconditioner based on:
310c7d97c5SJed Brown    C. Dohrmann "An approximate BDDC preconditioner", Numerical Linear Algebra with Applications Volume 14, Issue 2, pages 149-168, March 2007
3253cdbc3dSStefano Zampini    ---------------------------------------------------------------------------------------------------------------------------------------------- */
3353cdbc3dSStefano Zampini 
34ab5c6b0cSJed Brown #include <../src/ksp/pc/impls/bddc/bddc.h> /*I "petscpc.h" I*/  /* includes for fortran wrappers */
35ab5c6b0cSJed Brown #include <../src/ksp/pc/impls/bddc/bddcprivate.h>
363b03a366Sstefano_zampini #include <petscblaslapack.h>
37674ae819SStefano Zampini 
380c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
390c7d97c5SJed Brown #undef __FUNCT__
400c7d97c5SJed Brown #define __FUNCT__ "PCSetFromOptions_BDDC"
418c34d3f5SBarry Smith PetscErrorCode PCSetFromOptions_BDDC(PetscOptions *PetscOptionsObject,PC pc)
420c7d97c5SJed Brown {
430c7d97c5SJed Brown   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
440c7d97c5SJed Brown   PetscErrorCode ierr;
450c7d97c5SJed Brown 
460c7d97c5SJed Brown   PetscFunctionBegin;
47e55864a3SBarry Smith   ierr = PetscOptionsHead(PetscOptionsObject,"BDDC options");CHKERRQ(ierr);
488eeda7d8SStefano Zampini   /* Verbose debugging */
498eeda7d8SStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_check_level","Verbose output for PCBDDC (intended for debug)","none",pcbddc->dbg_flag,&pcbddc->dbg_flag,NULL);CHKERRQ(ierr);
508eeda7d8SStefano Zampini   /* Primal space cumstomization */
5108a5cf49SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_local_mat_graph","Use or not adjacency graph of local mat for interface analysis","none",pcbddc->use_local_adj,&pcbddc->use_local_adj,NULL);CHKERRQ(ierr);
528eeda7d8SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_vertices","Use or not corner dofs in coarse space","none",pcbddc->use_vertices,&pcbddc->use_vertices,NULL);CHKERRQ(ierr);
538eeda7d8SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_edges","Use or not edge constraints in coarse space","none",pcbddc->use_edges,&pcbddc->use_edges,NULL);CHKERRQ(ierr);
548eeda7d8SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_faces","Use or not face constraints in coarse space","none",pcbddc->use_faces,&pcbddc->use_faces,NULL);CHKERRQ(ierr);
556661aa1dSStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_true_nnsp","Use near null space attached to the matrix without modifications","none",pcbddc->use_nnsp_true,&pcbddc->use_nnsp_true,NULL);CHKERRQ(ierr);
56ac632422SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_qr_single","Use QR factorization for single constraints on cc (QR is used when multiple constraints are present)","none",pcbddc->use_qr_single,&pcbddc->use_qr_single,NULL);CHKERRQ(ierr);
578eeda7d8SStefano Zampini   /* Change of basis */
58b9b85e73SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_change_of_basis","Use or not internal change of basis on local edge nodes","none",pcbddc->use_change_of_basis,&pcbddc->use_change_of_basis,NULL);CHKERRQ(ierr);
59b9b85e73SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_change_on_faces","Use or not internal change of basis on local face nodes","none",pcbddc->use_change_on_faces,&pcbddc->use_change_on_faces,NULL);CHKERRQ(ierr);
60674ae819SStefano Zampini   if (!pcbddc->use_change_of_basis) {
61674ae819SStefano Zampini     pcbddc->use_change_on_faces = PETSC_FALSE;
62674ae819SStefano Zampini   }
638eeda7d8SStefano Zampini   /* Switch between M_2 (default) and M_3 preconditioners (as defined by C. Dohrmann in the ref. article) */
648eeda7d8SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_switch_static","Switch on static condensation ops around the interface preconditioner","none",pcbddc->switch_static,&pcbddc->switch_static,NULL);CHKERRQ(ierr);
6574e2c79eSStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_coarse_redistribute","Number of procs where to redistribute coarse problem","none",pcbddc->redistribute_coarse,&pcbddc->redistribute_coarse,NULL);CHKERRQ(ierr);
660298fd71SBarry Smith   ierr = PetscOptionsInt("-pc_bddc_coarsening_ratio","Set coarsening ratio used in multilevel coarsening","none",pcbddc->coarsening_ratio,&pcbddc->coarsening_ratio,NULL);CHKERRQ(ierr);
672b510759SStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_levels","Set maximum number of levels for multilevel","none",pcbddc->max_levels,&pcbddc->max_levels,NULL);CHKERRQ(ierr);
68323d395dSStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_coarse_estimates","Use estimated eigenvalues for coarse problem","none",pcbddc->use_coarse_estimates,&pcbddc->use_coarse_estimates,NULL);CHKERRQ(ierr);
69674ae819SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_use_deluxe_scaling","Use deluxe scaling for BDDC","none",pcbddc->use_deluxe_scaling,&pcbddc->use_deluxe_scaling,NULL);CHKERRQ(ierr);
70b96c3477SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_schur_rebuild","Whether or not the interface graph for Schur principal minors has to be rebuilt (i.e. define the interface without any adjacency)","none",pcbddc->sub_schurs_rebuild,&pcbddc->sub_schurs_rebuild,NULL);CHKERRQ(ierr);
71b96c3477SStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_schur_layers","Number of dofs' layers for the computation of principal minors (i.e. -1 uses all dofs)","none",pcbddc->sub_schurs_layers,&pcbddc->sub_schurs_layers,NULL);CHKERRQ(ierr);
72b96c3477SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_schur_use_useradj","Whether or not the CSR graph specified by the user should be used for computing successive layers (default is to use adj of local mat)","none",pcbddc->sub_schurs_use_useradj,&pcbddc->sub_schurs_use_useradj,NULL);CHKERRQ(ierr);
73ac632422SStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_deluxe_faster","Faster application of deluxe scaling (requires extra work during setup)","none",pcbddc->faster_deluxe,&pcbddc->faster_deluxe,NULL);CHKERRQ(ierr);
744c6709b3SStefano Zampini   ierr = PetscOptionsReal("-pc_bddc_adaptive_threshold","Threshold to be used for adaptive selection of constraints","none",pcbddc->adaptive_threshold,&pcbddc->adaptive_threshold,NULL);CHKERRQ(ierr);
7508122e43SStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_adaptive_nmin","Minimum number of constraints per connected components","none",pcbddc->adaptive_nmin,&pcbddc->adaptive_nmin,NULL);CHKERRQ(ierr);
7608122e43SStefano Zampini   ierr = PetscOptionsInt("-pc_bddc_adaptive_nmax","Maximum number of constraints per connected components","none",pcbddc->adaptive_nmax,&pcbddc->adaptive_nmax,NULL);CHKERRQ(ierr);
77*3301b35fSStefano Zampini   ierr = PetscOptionsBool("-pc_bddc_symmetric","Symmetric computation of primal basis functions","none",pcbddc->symmetric_primal,&pcbddc->symmetric_primal,NULL);CHKERRQ(ierr);
780c7d97c5SJed Brown   ierr = PetscOptionsTail();CHKERRQ(ierr);
790c7d97c5SJed Brown   PetscFunctionReturn(0);
800c7d97c5SJed Brown }
810c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
82674ae819SStefano Zampini #undef __FUNCT__
83906d46d4SStefano Zampini #define __FUNCT__ "PCBDDCSetChangeOfBasisMat_BDDC"
84906d46d4SStefano Zampini static PetscErrorCode PCBDDCSetChangeOfBasisMat_BDDC(PC pc, Mat change)
85b9b85e73SStefano Zampini {
86b9b85e73SStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
87b9b85e73SStefano Zampini   PetscErrorCode ierr;
88b9b85e73SStefano Zampini 
89b9b85e73SStefano Zampini   PetscFunctionBegin;
90b9b85e73SStefano Zampini   ierr = MatDestroy(&pcbddc->user_ChangeOfBasisMatrix);CHKERRQ(ierr);
91b9b85e73SStefano Zampini   ierr = PetscObjectReference((PetscObject)change);CHKERRQ(ierr);
92b9b85e73SStefano Zampini   pcbddc->user_ChangeOfBasisMatrix = change;
93b9b85e73SStefano Zampini   PetscFunctionReturn(0);
94b9b85e73SStefano Zampini }
95b9b85e73SStefano Zampini #undef __FUNCT__
96906d46d4SStefano Zampini #define __FUNCT__ "PCBDDCSetChangeOfBasisMat"
97b9b85e73SStefano Zampini /*@
98906d46d4SStefano Zampini  PCBDDCSetChangeOfBasisMat - Set user defined change of basis for dofs
99b9b85e73SStefano Zampini 
100b9b85e73SStefano Zampini    Collective on PC
101b9b85e73SStefano Zampini 
102b9b85e73SStefano Zampini    Input Parameters:
103b9b85e73SStefano Zampini +  pc - the preconditioning context
104906d46d4SStefano Zampini -  change - the change of basis matrix
105b9b85e73SStefano Zampini 
106b9b85e73SStefano Zampini    Level: intermediate
107b9b85e73SStefano Zampini 
108b9b85e73SStefano Zampini    Notes:
109b9b85e73SStefano Zampini 
110b9b85e73SStefano Zampini .seealso: PCBDDC
111b9b85e73SStefano Zampini @*/
112906d46d4SStefano Zampini PetscErrorCode PCBDDCSetChangeOfBasisMat(PC pc, Mat change)
113b9b85e73SStefano Zampini {
114b9b85e73SStefano Zampini   PetscErrorCode ierr;
115b9b85e73SStefano Zampini 
116b9b85e73SStefano Zampini   PetscFunctionBegin;
117b9b85e73SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
118b9b85e73SStefano Zampini   PetscValidHeaderSpecific(change,MAT_CLASSID,2);
119906d46d4SStefano Zampini   PetscCheckSameComm(pc,1,change,2);
120906d46d4SStefano Zampini   if (pc->mat) {
121906d46d4SStefano Zampini     PetscInt rows_c,cols_c,rows,cols;
122906d46d4SStefano Zampini     ierr = MatGetSize(pc->mat,&rows,&cols);CHKERRQ(ierr);
123906d46d4SStefano Zampini     ierr = MatGetSize(change,&rows_c,&cols_c);CHKERRQ(ierr);
124906d46d4SStefano Zampini     if (rows_c != rows) {
125906d46d4SStefano Zampini       SETERRQ2(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Invalid number of rows for change of basis matrix! %d != %d",rows_c,rows);
126906d46d4SStefano Zampini     }
127906d46d4SStefano Zampini     if (cols_c != cols) {
128906d46d4SStefano Zampini       SETERRQ2(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Invalid number of columns for change of basis matrix! %d != %d",cols_c,cols);
129906d46d4SStefano Zampini     }
130906d46d4SStefano Zampini     ierr = MatGetLocalSize(pc->mat,&rows,&cols);CHKERRQ(ierr);
131906d46d4SStefano Zampini     ierr = MatGetLocalSize(change,&rows_c,&cols_c);CHKERRQ(ierr);
132906d46d4SStefano Zampini     if (rows_c != rows) {
133906d46d4SStefano Zampini       SETERRQ2(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Invalid number of local rows for change of basis matrix! %d != %d",rows_c,rows);
134906d46d4SStefano Zampini     }
135906d46d4SStefano Zampini     if (cols_c != cols) {
136906d46d4SStefano Zampini       SETERRQ2(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Invalid number of local columns for change of basis matrix! %d != %d",cols_c,cols);
137906d46d4SStefano Zampini     }
138906d46d4SStefano Zampini   }
139906d46d4SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetChangeOfBasisMat_C",(PC,Mat),(pc,change));CHKERRQ(ierr);
140b9b85e73SStefano Zampini   PetscFunctionReturn(0);
141b9b85e73SStefano Zampini }
142b9b85e73SStefano Zampini /* -------------------------------------------------------------------------- */
143b9b85e73SStefano Zampini #undef __FUNCT__
144674ae819SStefano Zampini #define __FUNCT__ "PCBDDCSetPrimalVerticesLocalIS_BDDC"
145674ae819SStefano Zampini static PetscErrorCode PCBDDCSetPrimalVerticesLocalIS_BDDC(PC pc, IS PrimalVertices)
146674ae819SStefano Zampini {
147674ae819SStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
148674ae819SStefano Zampini   PetscErrorCode ierr;
1491e6b0712SBarry Smith 
150674ae819SStefano Zampini   PetscFunctionBegin;
151674ae819SStefano Zampini   ierr = ISDestroy(&pcbddc->user_primal_vertices);CHKERRQ(ierr);
152674ae819SStefano Zampini   ierr = PetscObjectReference((PetscObject)PrimalVertices);CHKERRQ(ierr);
153674ae819SStefano Zampini   pcbddc->user_primal_vertices = PrimalVertices;
154674ae819SStefano Zampini   PetscFunctionReturn(0);
155674ae819SStefano Zampini }
156674ae819SStefano Zampini #undef __FUNCT__
157674ae819SStefano Zampini #define __FUNCT__ "PCBDDCSetPrimalVerticesLocalIS"
158674ae819SStefano Zampini /*@
15928509bceSStefano Zampini  PCBDDCSetPrimalVerticesLocalIS - Set additional user defined primal vertices in PCBDDC
160674ae819SStefano Zampini 
16117eb1463SStefano Zampini    Collective
162674ae819SStefano Zampini 
163674ae819SStefano Zampini    Input Parameters:
164674ae819SStefano Zampini +  pc - the preconditioning context
16517eb1463SStefano Zampini -  PrimalVertices - index set of primal vertices in local numbering (can be empty)
166674ae819SStefano Zampini 
167674ae819SStefano Zampini    Level: intermediate
168674ae819SStefano Zampini 
169674ae819SStefano Zampini    Notes:
170674ae819SStefano Zampini 
171674ae819SStefano Zampini .seealso: PCBDDC
172674ae819SStefano Zampini @*/
173674ae819SStefano Zampini PetscErrorCode PCBDDCSetPrimalVerticesLocalIS(PC pc, IS PrimalVertices)
174674ae819SStefano Zampini {
175674ae819SStefano Zampini   PetscErrorCode ierr;
176674ae819SStefano Zampini 
177674ae819SStefano Zampini   PetscFunctionBegin;
178674ae819SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
179674ae819SStefano Zampini   PetscValidHeaderSpecific(PrimalVertices,IS_CLASSID,2);
18017eb1463SStefano Zampini   PetscCheckSameComm(pc,1,PrimalVertices,2);
181674ae819SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetPrimalVerticesLocalIS_C",(PC,IS),(pc,PrimalVertices));CHKERRQ(ierr);
182674ae819SStefano Zampini   PetscFunctionReturn(0);
183674ae819SStefano Zampini }
184674ae819SStefano Zampini /* -------------------------------------------------------------------------- */
1850c7d97c5SJed Brown #undef __FUNCT__
1864fad6a16SStefano Zampini #define __FUNCT__ "PCBDDCSetCoarseningRatio_BDDC"
1874fad6a16SStefano Zampini static PetscErrorCode PCBDDCSetCoarseningRatio_BDDC(PC pc,PetscInt k)
1884fad6a16SStefano Zampini {
1894fad6a16SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
1904fad6a16SStefano Zampini 
1914fad6a16SStefano Zampini   PetscFunctionBegin;
1924fad6a16SStefano Zampini   pcbddc->coarsening_ratio = k;
1934fad6a16SStefano Zampini   PetscFunctionReturn(0);
1944fad6a16SStefano Zampini }
1951e6b0712SBarry Smith 
1964fad6a16SStefano Zampini #undef __FUNCT__
1974fad6a16SStefano Zampini #define __FUNCT__ "PCBDDCSetCoarseningRatio"
1984fad6a16SStefano Zampini /*@
19928509bceSStefano Zampini  PCBDDCSetCoarseningRatio - Set coarsening ratio used in multilevel
2004fad6a16SStefano Zampini 
2014fad6a16SStefano Zampini    Logically collective on PC
2024fad6a16SStefano Zampini 
2034fad6a16SStefano Zampini    Input Parameters:
2044fad6a16SStefano Zampini +  pc - the preconditioning context
20528509bceSStefano Zampini -  k - coarsening ratio (H/h at the coarser level)
2064fad6a16SStefano Zampini 
20728509bceSStefano Zampini    Approximatively k subdomains at the finer level will be aggregated into a single subdomain at the coarser level
2084fad6a16SStefano Zampini 
2094fad6a16SStefano Zampini    Level: intermediate
2104fad6a16SStefano Zampini 
2114fad6a16SStefano Zampini    Notes:
2124fad6a16SStefano Zampini 
2134fad6a16SStefano Zampini .seealso: PCBDDC
2144fad6a16SStefano Zampini @*/
2154fad6a16SStefano Zampini PetscErrorCode PCBDDCSetCoarseningRatio(PC pc,PetscInt k)
2164fad6a16SStefano Zampini {
2174fad6a16SStefano Zampini   PetscErrorCode ierr;
2184fad6a16SStefano Zampini 
2194fad6a16SStefano Zampini   PetscFunctionBegin;
2204fad6a16SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
2212b510759SStefano Zampini   PetscValidLogicalCollectiveInt(pc,k,2);
2224fad6a16SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetCoarseningRatio_C",(PC,PetscInt),(pc,k));CHKERRQ(ierr);
2234fad6a16SStefano Zampini   PetscFunctionReturn(0);
2244fad6a16SStefano Zampini }
2252b510759SStefano Zampini 
226b8ffe317SStefano Zampini /* The following functions (PCBDDCSetUseExactDirichlet PCBDDCSetLevel) are not public */
2272b510759SStefano Zampini #undef __FUNCT__
228b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetUseExactDirichlet_BDDC"
229b8ffe317SStefano Zampini static PetscErrorCode PCBDDCSetUseExactDirichlet_BDDC(PC pc,PetscBool flg)
230b8ffe317SStefano Zampini {
231b8ffe317SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
232b8ffe317SStefano Zampini 
233b8ffe317SStefano Zampini   PetscFunctionBegin;
23485c4d303SStefano Zampini   pcbddc->use_exact_dirichlet_trick = flg;
235b8ffe317SStefano Zampini   PetscFunctionReturn(0);
236b8ffe317SStefano Zampini }
237b8ffe317SStefano Zampini 
238b8ffe317SStefano Zampini #undef __FUNCT__
239b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetUseExactDirichlet"
240b8ffe317SStefano Zampini PetscErrorCode PCBDDCSetUseExactDirichlet(PC pc,PetscBool flg)
2412b510759SStefano Zampini {
2422b510759SStefano Zampini   PetscErrorCode ierr;
2432b510759SStefano Zampini 
2442b510759SStefano Zampini   PetscFunctionBegin;
2452b510759SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
246b8ffe317SStefano Zampini   PetscValidLogicalCollectiveBool(pc,flg,2);
247b8ffe317SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetUseExactDirichlet_C",(PC,PetscBool),(pc,flg));CHKERRQ(ierr);
2482b510759SStefano Zampini   PetscFunctionReturn(0);
2492b510759SStefano Zampini }
2501e6b0712SBarry Smith 
2514fad6a16SStefano Zampini #undef __FUNCT__
2522b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevel_BDDC"
2532b510759SStefano Zampini static PetscErrorCode PCBDDCSetLevel_BDDC(PC pc,PetscInt level)
2544fad6a16SStefano Zampini {
2554fad6a16SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
2564fad6a16SStefano Zampini 
2574fad6a16SStefano Zampini   PetscFunctionBegin;
2582b510759SStefano Zampini   pcbddc->current_level = level;
2594fad6a16SStefano Zampini   PetscFunctionReturn(0);
2604fad6a16SStefano Zampini }
2611e6b0712SBarry Smith 
2624fad6a16SStefano Zampini #undef __FUNCT__
263b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetLevel"
264b8ffe317SStefano Zampini PetscErrorCode PCBDDCSetLevel(PC pc,PetscInt level)
265b8ffe317SStefano Zampini {
266b8ffe317SStefano Zampini   PetscErrorCode ierr;
267b8ffe317SStefano Zampini 
268b8ffe317SStefano Zampini   PetscFunctionBegin;
269b8ffe317SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
270b8ffe317SStefano Zampini   PetscValidLogicalCollectiveInt(pc,level,2);
271b8ffe317SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetLevel_C",(PC,PetscInt),(pc,level));CHKERRQ(ierr);
272b8ffe317SStefano Zampini   PetscFunctionReturn(0);
273b8ffe317SStefano Zampini }
274b8ffe317SStefano Zampini 
275b8ffe317SStefano Zampini #undef __FUNCT__
2762b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevels_BDDC"
2772b510759SStefano Zampini static PetscErrorCode PCBDDCSetLevels_BDDC(PC pc,PetscInt levels)
2782b510759SStefano Zampini {
2792b510759SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
2802b510759SStefano Zampini 
2812b510759SStefano Zampini   PetscFunctionBegin;
2822b510759SStefano Zampini   pcbddc->max_levels = levels;
2832b510759SStefano Zampini   PetscFunctionReturn(0);
2842b510759SStefano Zampini }
2852b510759SStefano Zampini 
2862b510759SStefano Zampini #undef __FUNCT__
2872b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevels"
2884fad6a16SStefano Zampini /*@
28928509bceSStefano Zampini  PCBDDCSetLevels - Sets the maximum number of levels for multilevel
2904fad6a16SStefano Zampini 
2914fad6a16SStefano Zampini    Logically collective on PC
2924fad6a16SStefano Zampini 
2934fad6a16SStefano Zampini    Input Parameters:
2944fad6a16SStefano Zampini +  pc - the preconditioning context
29528509bceSStefano Zampini -  levels - the maximum number of levels (max 9)
2964fad6a16SStefano Zampini 
29728509bceSStefano Zampini    Default value is 0, i.e. traditional one-level BDDC
2984fad6a16SStefano Zampini 
2994fad6a16SStefano Zampini    Level: intermediate
3004fad6a16SStefano Zampini 
3014fad6a16SStefano Zampini    Notes:
3024fad6a16SStefano Zampini 
3034fad6a16SStefano Zampini .seealso: PCBDDC
3044fad6a16SStefano Zampini @*/
3052b510759SStefano Zampini PetscErrorCode PCBDDCSetLevels(PC pc,PetscInt levels)
3064fad6a16SStefano Zampini {
3074fad6a16SStefano Zampini   PetscErrorCode ierr;
3084fad6a16SStefano Zampini 
3094fad6a16SStefano Zampini   PetscFunctionBegin;
3104fad6a16SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
3112b510759SStefano Zampini   PetscValidLogicalCollectiveInt(pc,levels,2);
312312be037SStefano Zampini   if (levels > 99) SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Maximum number of levels for bddc is 99\n");
3132b510759SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetLevels_C",(PC,PetscInt),(pc,levels));CHKERRQ(ierr);
3144fad6a16SStefano Zampini   PetscFunctionReturn(0);
3154fad6a16SStefano Zampini }
3164fad6a16SStefano Zampini /* -------------------------------------------------------------------------- */
3171e6b0712SBarry Smith 
3184fad6a16SStefano Zampini #undef __FUNCT__
3190bdf917eSStefano Zampini #define __FUNCT__ "PCBDDCSetNullSpace_BDDC"
3200bdf917eSStefano Zampini static PetscErrorCode PCBDDCSetNullSpace_BDDC(PC pc,MatNullSpace NullSpace)
3210bdf917eSStefano Zampini {
3220bdf917eSStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
3230bdf917eSStefano Zampini   PetscErrorCode ierr;
3240bdf917eSStefano Zampini 
3250bdf917eSStefano Zampini   PetscFunctionBegin;
3260bdf917eSStefano Zampini   ierr = PetscObjectReference((PetscObject)NullSpace);CHKERRQ(ierr);
3270bdf917eSStefano Zampini   ierr = MatNullSpaceDestroy(&pcbddc->NullSpace);CHKERRQ(ierr);
3280bdf917eSStefano Zampini   pcbddc->NullSpace = NullSpace;
3290bdf917eSStefano Zampini   PetscFunctionReturn(0);
3300bdf917eSStefano Zampini }
3311e6b0712SBarry Smith 
3320bdf917eSStefano Zampini #undef __FUNCT__
3330bdf917eSStefano Zampini #define __FUNCT__ "PCBDDCSetNullSpace"
3340bdf917eSStefano Zampini /*@
33528509bceSStefano Zampini  PCBDDCSetNullSpace - Set nullspace for BDDC operator
3360bdf917eSStefano Zampini 
3370bdf917eSStefano Zampini    Logically collective on PC and MatNullSpace
3380bdf917eSStefano Zampini 
3390bdf917eSStefano Zampini    Input Parameters:
3400bdf917eSStefano Zampini +  pc - the preconditioning context
34128509bceSStefano Zampini -  NullSpace - Null space of the linear operator to be preconditioned (Pmat)
3420bdf917eSStefano Zampini 
3430bdf917eSStefano Zampini    Level: intermediate
3440bdf917eSStefano Zampini 
3450bdf917eSStefano Zampini    Notes:
3460bdf917eSStefano Zampini 
3470bdf917eSStefano Zampini .seealso: PCBDDC
3480bdf917eSStefano Zampini @*/
3490bdf917eSStefano Zampini PetscErrorCode PCBDDCSetNullSpace(PC pc,MatNullSpace NullSpace)
3500bdf917eSStefano Zampini {
3510bdf917eSStefano Zampini   PetscErrorCode ierr;
3520bdf917eSStefano Zampini 
3530bdf917eSStefano Zampini   PetscFunctionBegin;
3540bdf917eSStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
355674ae819SStefano Zampini   PetscValidHeaderSpecific(NullSpace,MAT_NULLSPACE_CLASSID,2);
3562b510759SStefano Zampini   PetscCheckSameComm(pc,1,NullSpace,2);
3570bdf917eSStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetNullSpace_C",(PC,MatNullSpace),(pc,NullSpace));CHKERRQ(ierr);
3580bdf917eSStefano Zampini   PetscFunctionReturn(0);
3590bdf917eSStefano Zampini }
3600bdf917eSStefano Zampini /* -------------------------------------------------------------------------- */
3611e6b0712SBarry Smith 
3620bdf917eSStefano Zampini #undef __FUNCT__
3633b03a366Sstefano_zampini #define __FUNCT__ "PCBDDCSetDirichletBoundaries_BDDC"
3643b03a366Sstefano_zampini static PetscErrorCode PCBDDCSetDirichletBoundaries_BDDC(PC pc,IS DirichletBoundaries)
3653b03a366Sstefano_zampini {
3663b03a366Sstefano_zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
3673b03a366Sstefano_zampini   PetscErrorCode ierr;
3683b03a366Sstefano_zampini 
3693b03a366Sstefano_zampini   PetscFunctionBegin;
370785d1243SStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
371785d1243SStefano Zampini   ierr = ISDestroy(&pcbddc->DirichletBoundariesLocal);CHKERRQ(ierr);
3723b03a366Sstefano_zampini   ierr = ISDestroy(&pcbddc->DirichletBoundaries);CHKERRQ(ierr);
37336e030ebSStefano Zampini   ierr = PetscObjectReference((PetscObject)DirichletBoundaries);CHKERRQ(ierr);
37436e030ebSStefano Zampini   pcbddc->DirichletBoundaries = DirichletBoundaries;
375fb180af4SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
3763b03a366Sstefano_zampini   PetscFunctionReturn(0);
3773b03a366Sstefano_zampini }
3781e6b0712SBarry Smith 
3793b03a366Sstefano_zampini #undef __FUNCT__
3803b03a366Sstefano_zampini #define __FUNCT__ "PCBDDCSetDirichletBoundaries"
3813b03a366Sstefano_zampini /*@
38228509bceSStefano Zampini  PCBDDCSetDirichletBoundaries - Set IS defining Dirichlet boundaries for the global problem.
3833b03a366Sstefano_zampini 
384785d1243SStefano Zampini    Collective
3853b03a366Sstefano_zampini 
3863b03a366Sstefano_zampini    Input Parameters:
3873b03a366Sstefano_zampini +  pc - the preconditioning context
388785d1243SStefano Zampini -  DirichletBoundaries - parallel IS defining the Dirichlet boundaries
3893b03a366Sstefano_zampini 
3903b03a366Sstefano_zampini    Level: intermediate
3913b03a366Sstefano_zampini 
392785d1243SStefano Zampini    Notes: Any process can list any global node
3933b03a366Sstefano_zampini 
3943b03a366Sstefano_zampini .seealso: PCBDDC
3953b03a366Sstefano_zampini @*/
3963b03a366Sstefano_zampini PetscErrorCode PCBDDCSetDirichletBoundaries(PC pc,IS DirichletBoundaries)
3973b03a366Sstefano_zampini {
3983b03a366Sstefano_zampini   PetscErrorCode ierr;
3993b03a366Sstefano_zampini 
4003b03a366Sstefano_zampini   PetscFunctionBegin;
4013b03a366Sstefano_zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
402674ae819SStefano Zampini   PetscValidHeaderSpecific(DirichletBoundaries,IS_CLASSID,2);
403785d1243SStefano Zampini   PetscCheckSameComm(pc,1,DirichletBoundaries,2);
4043b03a366Sstefano_zampini   ierr = PetscTryMethod(pc,"PCBDDCSetDirichletBoundaries_C",(PC,IS),(pc,DirichletBoundaries));CHKERRQ(ierr);
4053b03a366Sstefano_zampini   PetscFunctionReturn(0);
4063b03a366Sstefano_zampini }
4073b03a366Sstefano_zampini /* -------------------------------------------------------------------------- */
4081e6b0712SBarry Smith 
4093b03a366Sstefano_zampini #undef __FUNCT__
41082ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCSetDirichletBoundariesLocal_BDDC"
41182ba6b80SStefano Zampini static PetscErrorCode PCBDDCSetDirichletBoundariesLocal_BDDC(PC pc,IS DirichletBoundaries)
4120c7d97c5SJed Brown {
4130c7d97c5SJed Brown   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
4140c7d97c5SJed Brown   PetscErrorCode ierr;
4150c7d97c5SJed Brown 
4160c7d97c5SJed Brown   PetscFunctionBegin;
417785d1243SStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
418785d1243SStefano Zampini   ierr = ISDestroy(&pcbddc->DirichletBoundariesLocal);CHKERRQ(ierr);
4190c7d97c5SJed Brown   ierr = ISDestroy(&pcbddc->DirichletBoundaries);CHKERRQ(ierr);
4200c7d97c5SJed Brown   ierr = PetscObjectReference((PetscObject)DirichletBoundaries);CHKERRQ(ierr);
421785d1243SStefano Zampini   pcbddc->DirichletBoundariesLocal = DirichletBoundaries;
4227d24d155SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
4230c7d97c5SJed Brown   PetscFunctionReturn(0);
4240c7d97c5SJed Brown }
4250c7d97c5SJed Brown 
4260c7d97c5SJed Brown #undef __FUNCT__
42782ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCSetDirichletBoundariesLocal"
4289c0446d6SStefano Zampini /*@
42982ba6b80SStefano Zampini  PCBDDCSetDirichletBoundariesLocal - Set IS defining Dirichlet boundaries for the global problem in local ordering.
4309c0446d6SStefano Zampini 
431785d1243SStefano Zampini    Collective
43253cdbc3dSStefano Zampini 
43353cdbc3dSStefano Zampini    Input Parameters:
43453cdbc3dSStefano Zampini +  pc - the preconditioning context
43582ba6b80SStefano Zampini -  DirichletBoundaries - parallel IS defining the Dirichlet boundaries (in local ordering)
43653cdbc3dSStefano Zampini 
43753cdbc3dSStefano Zampini    Level: intermediate
43853cdbc3dSStefano Zampini 
4399c0446d6SStefano Zampini    Notes:
44053cdbc3dSStefano Zampini 
44153cdbc3dSStefano Zampini .seealso: PCBDDC
44253cdbc3dSStefano Zampini @*/
44382ba6b80SStefano Zampini PetscErrorCode PCBDDCSetDirichletBoundariesLocal(PC pc,IS DirichletBoundaries)
4440c7d97c5SJed Brown {
4450c7d97c5SJed Brown   PetscErrorCode ierr;
4460c7d97c5SJed Brown 
4470c7d97c5SJed Brown   PetscFunctionBegin;
4480c7d97c5SJed Brown   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
4490c7d97c5SJed Brown   PetscValidHeaderSpecific(DirichletBoundaries,IS_CLASSID,2);
45082ba6b80SStefano Zampini   PetscCheckSameComm(pc,1,DirichletBoundaries,2);
45182ba6b80SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetDirichletBoundariesLocal_C",(PC,IS),(pc,DirichletBoundaries));CHKERRQ(ierr);
4520c7d97c5SJed Brown   PetscFunctionReturn(0);
4530c7d97c5SJed Brown }
4540c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
4550c7d97c5SJed Brown 
4560c7d97c5SJed Brown #undef __FUNCT__
4570c7d97c5SJed Brown #define __FUNCT__ "PCBDDCSetNeumannBoundaries_BDDC"
45853cdbc3dSStefano Zampini static PetscErrorCode PCBDDCSetNeumannBoundaries_BDDC(PC pc,IS NeumannBoundaries)
4590c7d97c5SJed Brown {
4600c7d97c5SJed Brown   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
46153cdbc3dSStefano Zampini   PetscErrorCode ierr;
4620c7d97c5SJed Brown 
4630c7d97c5SJed Brown   PetscFunctionBegin;
464785d1243SStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
465785d1243SStefano Zampini   ierr = ISDestroy(&pcbddc->NeumannBoundariesLocal);CHKERRQ(ierr);
46653cdbc3dSStefano Zampini   ierr = ISDestroy(&pcbddc->NeumannBoundaries);CHKERRQ(ierr);
46736e030ebSStefano Zampini   ierr = PetscObjectReference((PetscObject)NeumannBoundaries);CHKERRQ(ierr);
46836e030ebSStefano Zampini   pcbddc->NeumannBoundaries = NeumannBoundaries;
469fb180af4SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
4700c7d97c5SJed Brown   PetscFunctionReturn(0);
4710c7d97c5SJed Brown }
4721e6b0712SBarry Smith 
4730c7d97c5SJed Brown #undef __FUNCT__
4740c7d97c5SJed Brown #define __FUNCT__ "PCBDDCSetNeumannBoundaries"
47557527edcSJed Brown /*@
47628509bceSStefano Zampini  PCBDDCSetNeumannBoundaries - Set IS defining Neumann boundaries for the global problem.
47757527edcSJed Brown 
478785d1243SStefano Zampini    Collective
47957527edcSJed Brown 
48057527edcSJed Brown    Input Parameters:
48157527edcSJed Brown +  pc - the preconditioning context
482785d1243SStefano Zampini -  NeumannBoundaries - parallel IS defining the Neumann boundaries
48357527edcSJed Brown 
48457527edcSJed Brown    Level: intermediate
48557527edcSJed Brown 
486785d1243SStefano Zampini    Notes: Any process can list any global node
48757527edcSJed Brown 
48857527edcSJed Brown .seealso: PCBDDC
48957527edcSJed Brown @*/
49053cdbc3dSStefano Zampini PetscErrorCode PCBDDCSetNeumannBoundaries(PC pc,IS NeumannBoundaries)
4910c7d97c5SJed Brown {
4920c7d97c5SJed Brown   PetscErrorCode ierr;
4930c7d97c5SJed Brown 
4940c7d97c5SJed Brown   PetscFunctionBegin;
4950c7d97c5SJed Brown   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
496674ae819SStefano Zampini   PetscValidHeaderSpecific(NeumannBoundaries,IS_CLASSID,2);
497785d1243SStefano Zampini   PetscCheckSameComm(pc,1,NeumannBoundaries,2);
49853cdbc3dSStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetNeumannBoundaries_C",(PC,IS),(pc,NeumannBoundaries));CHKERRQ(ierr);
49953cdbc3dSStefano Zampini   PetscFunctionReturn(0);
50053cdbc3dSStefano Zampini }
50153cdbc3dSStefano Zampini /* -------------------------------------------------------------------------- */
5021e6b0712SBarry Smith 
50353cdbc3dSStefano Zampini #undef __FUNCT__
50482ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCSetNeumannBoundariesLocal_BDDC"
50582ba6b80SStefano Zampini static PetscErrorCode PCBDDCSetNeumannBoundariesLocal_BDDC(PC pc,IS NeumannBoundaries)
5060c7d97c5SJed Brown {
5070c7d97c5SJed Brown   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
5080c7d97c5SJed Brown   PetscErrorCode ierr;
5090c7d97c5SJed Brown 
5100c7d97c5SJed Brown   PetscFunctionBegin;
511785d1243SStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
512785d1243SStefano Zampini   ierr = ISDestroy(&pcbddc->NeumannBoundariesLocal);CHKERRQ(ierr);
5130c7d97c5SJed Brown   ierr = ISDestroy(&pcbddc->NeumannBoundaries);CHKERRQ(ierr);
5140c7d97c5SJed Brown   ierr = PetscObjectReference((PetscObject)NeumannBoundaries);CHKERRQ(ierr);
515785d1243SStefano Zampini   pcbddc->NeumannBoundariesLocal = NeumannBoundaries;
5167d24d155SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
5170c7d97c5SJed Brown   PetscFunctionReturn(0);
5180c7d97c5SJed Brown }
5190c7d97c5SJed Brown 
5200c7d97c5SJed Brown #undef __FUNCT__
52182ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCSetNeumannBoundariesLocal"
5220c7d97c5SJed Brown /*@
52382ba6b80SStefano Zampini  PCBDDCSetNeumannBoundariesLocal - Set IS defining Neumann boundaries for the global problem in local ordering.
5240c7d97c5SJed Brown 
525785d1243SStefano Zampini    Collective
5260c7d97c5SJed Brown 
5270c7d97c5SJed Brown    Input Parameters:
5280c7d97c5SJed Brown +  pc - the preconditioning context
52982ba6b80SStefano Zampini -  NeumannBoundaries - parallel IS defining the subdomain part of Neumann boundaries (in local ordering)
5300c7d97c5SJed Brown 
5310c7d97c5SJed Brown    Level: intermediate
5320c7d97c5SJed Brown 
5330c7d97c5SJed Brown    Notes:
5340c7d97c5SJed Brown 
5350c7d97c5SJed Brown .seealso: PCBDDC
5360c7d97c5SJed Brown @*/
53782ba6b80SStefano Zampini PetscErrorCode PCBDDCSetNeumannBoundariesLocal(PC pc,IS NeumannBoundaries)
5380c7d97c5SJed Brown {
5390c7d97c5SJed Brown   PetscErrorCode ierr;
5400c7d97c5SJed Brown 
5410c7d97c5SJed Brown   PetscFunctionBegin;
5420c7d97c5SJed Brown   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
5430c7d97c5SJed Brown   PetscValidHeaderSpecific(NeumannBoundaries,IS_CLASSID,2);
54482ba6b80SStefano Zampini   PetscCheckSameComm(pc,1,NeumannBoundaries,2);
54582ba6b80SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetNeumannBoundariesLocal_C",(PC,IS),(pc,NeumannBoundaries));CHKERRQ(ierr);
54653cdbc3dSStefano Zampini   PetscFunctionReturn(0);
54753cdbc3dSStefano Zampini }
54853cdbc3dSStefano Zampini /* -------------------------------------------------------------------------- */
54953cdbc3dSStefano Zampini 
55053cdbc3dSStefano Zampini #undef __FUNCT__
551da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundaries_BDDC"
552da1bb401SStefano Zampini static PetscErrorCode PCBDDCGetDirichletBoundaries_BDDC(PC pc,IS *DirichletBoundaries)
553da1bb401SStefano Zampini {
554da1bb401SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
555da1bb401SStefano Zampini 
556da1bb401SStefano Zampini   PetscFunctionBegin;
557da1bb401SStefano Zampini   *DirichletBoundaries = pcbddc->DirichletBoundaries;
558da1bb401SStefano Zampini   PetscFunctionReturn(0);
559da1bb401SStefano Zampini }
5601e6b0712SBarry Smith 
561da1bb401SStefano Zampini #undef __FUNCT__
562da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundaries"
563da1bb401SStefano Zampini /*@
564785d1243SStefano Zampini  PCBDDCGetDirichletBoundaries - Get parallel IS for Dirichlet boundaries
565da1bb401SStefano Zampini 
566785d1243SStefano Zampini    Collective
567785d1243SStefano Zampini 
568785d1243SStefano Zampini    Input Parameters:
569785d1243SStefano Zampini .  pc - the preconditioning context
570785d1243SStefano Zampini 
571785d1243SStefano Zampini    Output Parameters:
572785d1243SStefano Zampini .  DirichletBoundaries - index set defining the Dirichlet boundaries
573785d1243SStefano Zampini 
574785d1243SStefano Zampini    Level: intermediate
575785d1243SStefano Zampini 
576785d1243SStefano Zampini    Notes: The IS returned (if any) is the same passed in earlier by the user with PCBDDCSetDirichletBoundaries
577785d1243SStefano Zampini 
578785d1243SStefano Zampini .seealso: PCBDDC
579785d1243SStefano Zampini @*/
580785d1243SStefano Zampini PetscErrorCode PCBDDCGetDirichletBoundaries(PC pc,IS *DirichletBoundaries)
581785d1243SStefano Zampini {
582785d1243SStefano Zampini   PetscErrorCode ierr;
583785d1243SStefano Zampini 
584785d1243SStefano Zampini   PetscFunctionBegin;
585785d1243SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
586785d1243SStefano Zampini   ierr = PetscUseMethod(pc,"PCBDDCGetDirichletBoundaries_C",(PC,IS*),(pc,DirichletBoundaries));CHKERRQ(ierr);
587785d1243SStefano Zampini   PetscFunctionReturn(0);
588785d1243SStefano Zampini }
589785d1243SStefano Zampini /* -------------------------------------------------------------------------- */
590785d1243SStefano Zampini 
591785d1243SStefano Zampini #undef __FUNCT__
592785d1243SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundariesLocal_BDDC"
593785d1243SStefano Zampini static PetscErrorCode PCBDDCGetDirichletBoundariesLocal_BDDC(PC pc,IS *DirichletBoundaries)
594785d1243SStefano Zampini {
595785d1243SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
596785d1243SStefano Zampini 
597785d1243SStefano Zampini   PetscFunctionBegin;
598785d1243SStefano Zampini   *DirichletBoundaries = pcbddc->DirichletBoundariesLocal;
599785d1243SStefano Zampini   PetscFunctionReturn(0);
600785d1243SStefano Zampini }
601785d1243SStefano Zampini 
602785d1243SStefano Zampini #undef __FUNCT__
60382ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundariesLocal"
604da1bb401SStefano Zampini /*@
60582ba6b80SStefano Zampini  PCBDDCGetDirichletBoundariesLocal - Get parallel IS for Dirichlet boundaries (in local ordering)
606da1bb401SStefano Zampini 
607785d1243SStefano Zampini    Collective
608da1bb401SStefano Zampini 
609da1bb401SStefano Zampini    Input Parameters:
61028509bceSStefano Zampini .  pc - the preconditioning context
611da1bb401SStefano Zampini 
612da1bb401SStefano Zampini    Output Parameters:
61328509bceSStefano Zampini .  DirichletBoundaries - index set defining the subdomain part of Dirichlet boundaries
614da1bb401SStefano Zampini 
615da1bb401SStefano Zampini    Level: intermediate
616da1bb401SStefano Zampini 
617da1bb401SStefano Zampini    Notes:
618da1bb401SStefano Zampini 
619da1bb401SStefano Zampini .seealso: PCBDDC
620da1bb401SStefano Zampini @*/
62182ba6b80SStefano Zampini PetscErrorCode PCBDDCGetDirichletBoundariesLocal(PC pc,IS *DirichletBoundaries)
622da1bb401SStefano Zampini {
623da1bb401SStefano Zampini   PetscErrorCode ierr;
624da1bb401SStefano Zampini 
625da1bb401SStefano Zampini   PetscFunctionBegin;
626da1bb401SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
62782ba6b80SStefano Zampini   ierr = PetscUseMethod(pc,"PCBDDCGetDirichletBoundariesLocal_C",(PC,IS*),(pc,DirichletBoundaries));CHKERRQ(ierr);
628da1bb401SStefano Zampini   PetscFunctionReturn(0);
629da1bb401SStefano Zampini }
630da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */
6311e6b0712SBarry Smith 
632da1bb401SStefano Zampini #undef __FUNCT__
63353cdbc3dSStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundaries_BDDC"
63453cdbc3dSStefano Zampini static PetscErrorCode PCBDDCGetNeumannBoundaries_BDDC(PC pc,IS *NeumannBoundaries)
63553cdbc3dSStefano Zampini {
63653cdbc3dSStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
63753cdbc3dSStefano Zampini 
63853cdbc3dSStefano Zampini   PetscFunctionBegin;
63953cdbc3dSStefano Zampini   *NeumannBoundaries = pcbddc->NeumannBoundaries;
64053cdbc3dSStefano Zampini   PetscFunctionReturn(0);
64153cdbc3dSStefano Zampini }
6421e6b0712SBarry Smith 
64353cdbc3dSStefano Zampini #undef __FUNCT__
64453cdbc3dSStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundaries"
64553cdbc3dSStefano Zampini /*@
646785d1243SStefano Zampini  PCBDDCGetNeumannBoundaries - Get parallel IS for Neumann boundaries
64753cdbc3dSStefano Zampini 
648785d1243SStefano Zampini    Collective
649785d1243SStefano Zampini 
650785d1243SStefano Zampini    Input Parameters:
651785d1243SStefano Zampini .  pc - the preconditioning context
652785d1243SStefano Zampini 
653785d1243SStefano Zampini    Output Parameters:
654785d1243SStefano Zampini .  NeumannBoundaries - index set defining the Neumann boundaries
655785d1243SStefano Zampini 
656785d1243SStefano Zampini    Level: intermediate
657785d1243SStefano Zampini 
658785d1243SStefano Zampini    Notes: The IS returned (if any) is the same passed in earlier by the user with PCBDDCSetNeumannBoundaries
659785d1243SStefano Zampini 
660785d1243SStefano Zampini .seealso: PCBDDC
661785d1243SStefano Zampini @*/
662785d1243SStefano Zampini PetscErrorCode PCBDDCGetNeumannBoundaries(PC pc,IS *NeumannBoundaries)
663785d1243SStefano Zampini {
664785d1243SStefano Zampini   PetscErrorCode ierr;
665785d1243SStefano Zampini 
666785d1243SStefano Zampini   PetscFunctionBegin;
667785d1243SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
668785d1243SStefano Zampini   ierr = PetscUseMethod(pc,"PCBDDCGetNeumannBoundaries_C",(PC,IS*),(pc,NeumannBoundaries));CHKERRQ(ierr);
669785d1243SStefano Zampini   PetscFunctionReturn(0);
670785d1243SStefano Zampini }
671785d1243SStefano Zampini /* -------------------------------------------------------------------------- */
672785d1243SStefano Zampini 
673785d1243SStefano Zampini #undef __FUNCT__
674785d1243SStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundariesLocal_BDDC"
675785d1243SStefano Zampini static PetscErrorCode PCBDDCGetNeumannBoundariesLocal_BDDC(PC pc,IS *NeumannBoundaries)
676785d1243SStefano Zampini {
677785d1243SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
678785d1243SStefano Zampini 
679785d1243SStefano Zampini   PetscFunctionBegin;
680785d1243SStefano Zampini   *NeumannBoundaries = pcbddc->NeumannBoundariesLocal;
681785d1243SStefano Zampini   PetscFunctionReturn(0);
682785d1243SStefano Zampini }
683785d1243SStefano Zampini 
684785d1243SStefano Zampini #undef __FUNCT__
68582ba6b80SStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundariesLocal"
68653cdbc3dSStefano Zampini /*@
68782ba6b80SStefano Zampini  PCBDDCGetNeumannBoundariesLocal - Get parallel IS for Neumann boundaries (in local ordering)
68853cdbc3dSStefano Zampini 
689785d1243SStefano Zampini    Collective
69053cdbc3dSStefano Zampini 
69153cdbc3dSStefano Zampini    Input Parameters:
69228509bceSStefano Zampini .  pc - the preconditioning context
69353cdbc3dSStefano Zampini 
69453cdbc3dSStefano Zampini    Output Parameters:
69528509bceSStefano Zampini .  NeumannBoundaries - index set defining the subdomain part of Neumann boundaries
69653cdbc3dSStefano Zampini 
69753cdbc3dSStefano Zampini    Level: intermediate
69853cdbc3dSStefano Zampini 
69953cdbc3dSStefano Zampini    Notes:
70053cdbc3dSStefano Zampini 
70153cdbc3dSStefano Zampini .seealso: PCBDDC
70253cdbc3dSStefano Zampini @*/
70382ba6b80SStefano Zampini PetscErrorCode PCBDDCGetNeumannBoundariesLocal(PC pc,IS *NeumannBoundaries)
70453cdbc3dSStefano Zampini {
70553cdbc3dSStefano Zampini   PetscErrorCode ierr;
70653cdbc3dSStefano Zampini 
70753cdbc3dSStefano Zampini   PetscFunctionBegin;
70853cdbc3dSStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
70982ba6b80SStefano Zampini   ierr = PetscUseMethod(pc,"PCBDDCGetNeumannBoundariesLocal_C",(PC,IS*),(pc,NeumannBoundaries));CHKERRQ(ierr);
7100c7d97c5SJed Brown   PetscFunctionReturn(0);
7110c7d97c5SJed Brown }
71236e030ebSStefano Zampini /* -------------------------------------------------------------------------- */
7131e6b0712SBarry Smith 
71436e030ebSStefano Zampini #undef __FUNCT__
715da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCSetLocalAdjacencyGraph_BDDC"
7161a83f524SJed Brown static PetscErrorCode PCBDDCSetLocalAdjacencyGraph_BDDC(PC pc, PetscInt nvtxs,const PetscInt xadj[],const PetscInt adjncy[], PetscCopyMode copymode)
71736e030ebSStefano Zampini {
71836e030ebSStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
719da1bb401SStefano Zampini   PCBDDCGraph    mat_graph = pcbddc->mat_graph;
720da1bb401SStefano Zampini   PetscErrorCode ierr;
72136e030ebSStefano Zampini 
72236e030ebSStefano Zampini   PetscFunctionBegin;
723674ae819SStefano Zampini   /* free old CSR */
724674ae819SStefano Zampini   ierr = PCBDDCGraphResetCSR(mat_graph);CHKERRQ(ierr);
725fb223d50SStefano Zampini   /* TODO: PCBDDCGraphSetAdjacency */
726674ae819SStefano Zampini   /* get CSR into graph structure */
727da1bb401SStefano Zampini   if (copymode == PETSC_COPY_VALUES) {
728854ce69bSBarry Smith     ierr = PetscMalloc1(nvtxs+1,&mat_graph->xadj);CHKERRQ(ierr);
729785e854fSJed Brown     ierr = PetscMalloc1(xadj[nvtxs],&mat_graph->adjncy);CHKERRQ(ierr);
730674ae819SStefano Zampini     ierr = PetscMemcpy(mat_graph->xadj,xadj,(nvtxs+1)*sizeof(PetscInt));CHKERRQ(ierr);
731674ae819SStefano Zampini     ierr = PetscMemcpy(mat_graph->adjncy,adjncy,xadj[nvtxs]*sizeof(PetscInt));CHKERRQ(ierr);
732da1bb401SStefano Zampini   } else if (copymode == PETSC_OWN_POINTER) {
7331a83f524SJed Brown     mat_graph->xadj = (PetscInt*)xadj;
7341a83f524SJed Brown     mat_graph->adjncy = (PetscInt*)adjncy;
735674ae819SStefano Zampini   }
736575ad6abSStefano Zampini   mat_graph->nvtxs_csr = nvtxs;
73736e030ebSStefano Zampini   PetscFunctionReturn(0);
73836e030ebSStefano Zampini }
7391e6b0712SBarry Smith 
74036e030ebSStefano Zampini #undef __FUNCT__
741da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCSetLocalAdjacencyGraph"
74236e030ebSStefano Zampini /*@
74328509bceSStefano Zampini  PCBDDCSetLocalAdjacencyGraph - Set adjacency structure (CSR graph) of the local Neumann matrix
74436e030ebSStefano Zampini 
74536e030ebSStefano Zampini    Not collective
74636e030ebSStefano Zampini 
74736e030ebSStefano Zampini    Input Parameters:
74836e030ebSStefano Zampini +  pc - the preconditioning context
74928509bceSStefano Zampini .  nvtxs - number of local vertices of the graph (i.e., the local size of your problem)
75028509bceSStefano Zampini .  xadj, adjncy - the CSR graph
75128509bceSStefano Zampini -  copymode - either PETSC_COPY_VALUES or PETSC_OWN_POINTER.
75236e030ebSStefano Zampini 
75336e030ebSStefano Zampini    Level: intermediate
75436e030ebSStefano Zampini 
75536e030ebSStefano Zampini    Notes:
75636e030ebSStefano Zampini 
75728509bceSStefano Zampini .seealso: PCBDDC,PetscCopyMode
75836e030ebSStefano Zampini @*/
7591a83f524SJed Brown PetscErrorCode PCBDDCSetLocalAdjacencyGraph(PC pc,PetscInt nvtxs,const PetscInt xadj[],const PetscInt adjncy[], PetscCopyMode copymode)
76036e030ebSStefano Zampini {
761575ad6abSStefano Zampini   void (*f)(void) = 0;
76236e030ebSStefano Zampini   PetscErrorCode ierr;
76336e030ebSStefano Zampini 
76436e030ebSStefano Zampini   PetscFunctionBegin;
76536e030ebSStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
766674ae819SStefano Zampini   PetscValidIntPointer(xadj,3);
767d7de1dd9SStefano Zampini   PetscValidIntPointer(adjncy,4);
768674ae819SStefano Zampini   if (copymode != PETSC_COPY_VALUES && copymode != PETSC_OWN_POINTER) {
769674ae819SStefano Zampini     SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_SUP,"Unsupported copy mode %d in %s\n",copymode,__FUNCT__);
770da1bb401SStefano Zampini   }
77136e030ebSStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetLocalAdjacencyGraph_C",(PC,PetscInt,const PetscInt[],const PetscInt[],PetscCopyMode),(pc,nvtxs,xadj,adjncy,copymode));CHKERRQ(ierr);
772575ad6abSStefano Zampini   /* free arrays if PCBDDC is not the PC type */
773575ad6abSStefano Zampini   ierr = PetscObjectQueryFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",&f);CHKERRQ(ierr);
774575ad6abSStefano Zampini   if (!f && copymode == PETSC_OWN_POINTER) {
775575ad6abSStefano Zampini     ierr = PetscFree(xadj);CHKERRQ(ierr);
776575ad6abSStefano Zampini     ierr = PetscFree(adjncy);CHKERRQ(ierr);
77736e030ebSStefano Zampini   }
77836e030ebSStefano Zampini   PetscFunctionReturn(0);
77936e030ebSStefano Zampini }
7809c0446d6SStefano Zampini /* -------------------------------------------------------------------------- */
7811e6b0712SBarry Smith 
7829c0446d6SStefano Zampini #undef __FUNCT__
78363602bcaSStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplittingLocal_BDDC"
78463602bcaSStefano Zampini static PetscErrorCode PCBDDCSetDofsSplittingLocal_BDDC(PC pc,PetscInt n_is, IS ISForDofs[])
78563602bcaSStefano Zampini {
78663602bcaSStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
78763602bcaSStefano Zampini   PetscInt i;
78863602bcaSStefano Zampini   PetscErrorCode ierr;
78963602bcaSStefano Zampini 
79063602bcaSStefano Zampini   PetscFunctionBegin;
79163602bcaSStefano Zampini   /* Destroy ISes if they were already set */
79263602bcaSStefano Zampini   for (i=0;i<pcbddc->n_ISForDofsLocal;i++) {
79363602bcaSStefano Zampini     ierr = ISDestroy(&pcbddc->ISForDofsLocal[i]);CHKERRQ(ierr);
79463602bcaSStefano Zampini   }
79563602bcaSStefano Zampini   ierr = PetscFree(pcbddc->ISForDofsLocal);CHKERRQ(ierr);
79663602bcaSStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
79763602bcaSStefano Zampini   for (i=0;i<pcbddc->n_ISForDofs;i++) {
79863602bcaSStefano Zampini     ierr = ISDestroy(&pcbddc->ISForDofs[i]);CHKERRQ(ierr);
79963602bcaSStefano Zampini   }
80063602bcaSStefano Zampini   ierr = PetscFree(pcbddc->ISForDofs);CHKERRQ(ierr);
80163602bcaSStefano Zampini   pcbddc->n_ISForDofs = 0;
80263602bcaSStefano Zampini   /* allocate space then set */
803d02579f5SStefano Zampini   if (n_is) {
804d02579f5SStefano Zampini     ierr = PetscMalloc1(n_is,&pcbddc->ISForDofsLocal);CHKERRQ(ierr);
805d02579f5SStefano Zampini   }
80663602bcaSStefano Zampini   for (i=0;i<n_is;i++) {
80763602bcaSStefano Zampini     ierr = PetscObjectReference((PetscObject)ISForDofs[i]);CHKERRQ(ierr);
80863602bcaSStefano Zampini     pcbddc->ISForDofsLocal[i]=ISForDofs[i];
80963602bcaSStefano Zampini   }
81063602bcaSStefano Zampini   pcbddc->n_ISForDofsLocal=n_is;
81163602bcaSStefano Zampini   if (n_is) pcbddc->user_provided_isfordofs = PETSC_TRUE;
8121a8a16d1SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
81363602bcaSStefano Zampini   PetscFunctionReturn(0);
81463602bcaSStefano Zampini }
81563602bcaSStefano Zampini 
81663602bcaSStefano Zampini #undef __FUNCT__
81763602bcaSStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplittingLocal"
81863602bcaSStefano Zampini /*@
81963602bcaSStefano Zampini  PCBDDCSetDofsSplittingLocal - Set index sets defining fields of the local subdomain matrix
82063602bcaSStefano Zampini 
82163602bcaSStefano Zampini    Collective
82263602bcaSStefano Zampini 
82363602bcaSStefano Zampini    Input Parameters:
82463602bcaSStefano Zampini +  pc - the preconditioning context
82563602bcaSStefano Zampini -  n_is - number of index sets defining the fields
82663602bcaSStefano Zampini .  ISForDofs - array of IS describing the fields in local ordering
82763602bcaSStefano Zampini 
82863602bcaSStefano Zampini    Level: intermediate
82963602bcaSStefano Zampini 
83017eb1463SStefano Zampini    Notes: n_is should be the same among processes. Not all nodes need to be listed: unlisted nodes will belong to the complement field.
83163602bcaSStefano Zampini 
83263602bcaSStefano Zampini .seealso: PCBDDC
83363602bcaSStefano Zampini @*/
83463602bcaSStefano Zampini PetscErrorCode PCBDDCSetDofsSplittingLocal(PC pc,PetscInt n_is, IS ISForDofs[])
83563602bcaSStefano Zampini {
83663602bcaSStefano Zampini   PetscInt       i;
83763602bcaSStefano Zampini   PetscErrorCode ierr;
83863602bcaSStefano Zampini 
83963602bcaSStefano Zampini   PetscFunctionBegin;
84063602bcaSStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
84163602bcaSStefano Zampini   PetscValidLogicalCollectiveInt(pc,n_is,2);
84263602bcaSStefano Zampini   for (i=0;i<n_is;i++) {
84363602bcaSStefano Zampini     PetscCheckSameComm(pc,1,ISForDofs[i],3);
84463602bcaSStefano Zampini     PetscValidHeaderSpecific(ISForDofs[i],IS_CLASSID,3);
84563602bcaSStefano Zampini   }
846e71e7a71SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetDofsSplittingLocal_C",(PC,PetscInt,IS[]),(pc,n_is,ISForDofs));CHKERRQ(ierr);
84763602bcaSStefano Zampini   PetscFunctionReturn(0);
84863602bcaSStefano Zampini }
84963602bcaSStefano Zampini /* -------------------------------------------------------------------------- */
85063602bcaSStefano Zampini 
85163602bcaSStefano Zampini #undef __FUNCT__
8529c0446d6SStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplitting_BDDC"
8539c0446d6SStefano Zampini static PetscErrorCode PCBDDCSetDofsSplitting_BDDC(PC pc,PetscInt n_is, IS ISForDofs[])
8549c0446d6SStefano Zampini {
8559c0446d6SStefano Zampini   PC_BDDC  *pcbddc = (PC_BDDC*)pc->data;
8569c0446d6SStefano Zampini   PetscInt i;
8579c0446d6SStefano Zampini   PetscErrorCode ierr;
8589c0446d6SStefano Zampini 
8599c0446d6SStefano Zampini   PetscFunctionBegin;
860da1bb401SStefano Zampini   /* Destroy ISes if they were already set */
8619c0446d6SStefano Zampini   for (i=0;i<pcbddc->n_ISForDofs;i++) {
8629c0446d6SStefano Zampini     ierr = ISDestroy(&pcbddc->ISForDofs[i]);CHKERRQ(ierr);
8639c0446d6SStefano Zampini   }
864d11ae9bbSstefano_zampini   ierr = PetscFree(pcbddc->ISForDofs);CHKERRQ(ierr);
86563602bcaSStefano Zampini   /* last user setting takes precendence -> destroy any other customization */
86663602bcaSStefano Zampini   for (i=0;i<pcbddc->n_ISForDofsLocal;i++) {
86763602bcaSStefano Zampini     ierr = ISDestroy(&pcbddc->ISForDofsLocal[i]);CHKERRQ(ierr);
86863602bcaSStefano Zampini   }
86963602bcaSStefano Zampini   ierr = PetscFree(pcbddc->ISForDofsLocal);CHKERRQ(ierr);
87063602bcaSStefano Zampini   pcbddc->n_ISForDofsLocal = 0;
871da1bb401SStefano Zampini   /* allocate space then set */
872d02579f5SStefano Zampini   if (n_is) {
873785e854fSJed Brown     ierr = PetscMalloc1(n_is,&pcbddc->ISForDofs);CHKERRQ(ierr);
874d02579f5SStefano Zampini   }
8759c0446d6SStefano Zampini   for (i=0;i<n_is;i++) {
876da1bb401SStefano Zampini     ierr = PetscObjectReference((PetscObject)ISForDofs[i]);CHKERRQ(ierr);
877da1bb401SStefano Zampini     pcbddc->ISForDofs[i]=ISForDofs[i];
8789c0446d6SStefano Zampini   }
8799c0446d6SStefano Zampini   pcbddc->n_ISForDofs=n_is;
88063602bcaSStefano Zampini   if (n_is) pcbddc->user_provided_isfordofs = PETSC_TRUE;
8811a8a16d1SStefano Zampini   pcbddc->recompute_topography = PETSC_TRUE;
8829c0446d6SStefano Zampini   PetscFunctionReturn(0);
8839c0446d6SStefano Zampini }
8841e6b0712SBarry Smith 
8859c0446d6SStefano Zampini #undef __FUNCT__
8869c0446d6SStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplitting"
8879c0446d6SStefano Zampini /*@
88863602bcaSStefano Zampini  PCBDDCSetDofsSplitting - Set index sets defining fields of the global matrix
8899c0446d6SStefano Zampini 
89063602bcaSStefano Zampini    Collective
8919c0446d6SStefano Zampini 
8929c0446d6SStefano Zampini    Input Parameters:
8939c0446d6SStefano Zampini +  pc - the preconditioning context
89428509bceSStefano Zampini -  n_is - number of index sets defining the fields
89563602bcaSStefano Zampini .  ISForDofs - array of IS describing the fields in global ordering
8969c0446d6SStefano Zampini 
8979c0446d6SStefano Zampini    Level: intermediate
8989c0446d6SStefano Zampini 
89917eb1463SStefano Zampini    Notes: Any process can list any global node. Not all nodes need to be listed: unlisted nodes will belong to the complement field.
9009c0446d6SStefano Zampini 
9019c0446d6SStefano Zampini .seealso: PCBDDC
9029c0446d6SStefano Zampini @*/
9039c0446d6SStefano Zampini PetscErrorCode PCBDDCSetDofsSplitting(PC pc,PetscInt n_is, IS ISForDofs[])
9049c0446d6SStefano Zampini {
9052b510759SStefano Zampini   PetscInt       i;
9069c0446d6SStefano Zampini   PetscErrorCode ierr;
9079c0446d6SStefano Zampini 
9089c0446d6SStefano Zampini   PetscFunctionBegin;
9099c0446d6SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
91063602bcaSStefano Zampini   PetscValidLogicalCollectiveInt(pc,n_is,2);
9112b510759SStefano Zampini   for (i=0;i<n_is;i++) {
91263602bcaSStefano Zampini     PetscCheckSameComm(pc,1,ISForDofs[i],3);
91363602bcaSStefano Zampini     PetscValidHeaderSpecific(ISForDofs[i],IS_CLASSID,3);
9142b510759SStefano Zampini   }
9159c0446d6SStefano Zampini   ierr = PetscTryMethod(pc,"PCBDDCSetDofsSplitting_C",(PC,PetscInt,IS[]),(pc,n_is,ISForDofs));CHKERRQ(ierr);
9169c0446d6SStefano Zampini   PetscFunctionReturn(0);
9179c0446d6SStefano Zampini }
918906d46d4SStefano Zampini 
919da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */
920534831adSStefano Zampini #undef __FUNCT__
921534831adSStefano Zampini #define __FUNCT__ "PCPreSolve_BDDC"
922534831adSStefano Zampini /* -------------------------------------------------------------------------- */
923534831adSStefano Zampini /*
924534831adSStefano Zampini    PCPreSolve_BDDC - Changes the right hand side and (if necessary) the initial
925534831adSStefano Zampini                      guess if a transformation of basis approach has been selected.
9269c0446d6SStefano Zampini 
927534831adSStefano Zampini    Input Parameter:
928534831adSStefano Zampini +  pc - the preconditioner contex
929534831adSStefano Zampini 
930534831adSStefano Zampini    Application Interface Routine: PCPreSolve()
931534831adSStefano Zampini 
932534831adSStefano Zampini    Notes:
933534831adSStefano Zampini    The interface routine PCPreSolve() is not usually called directly by
934534831adSStefano Zampini    the user, but instead is called by KSPSolve().
935534831adSStefano Zampini */
936534831adSStefano Zampini static PetscErrorCode PCPreSolve_BDDC(PC pc, KSP ksp, Vec rhs, Vec x)
937534831adSStefano Zampini {
938534831adSStefano Zampini   PetscErrorCode ierr;
939534831adSStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
940534831adSStefano Zampini   PC_IS          *pcis = (PC_IS*)(pc->data);
9413972b0daSStefano Zampini   Vec            used_vec;
9428d00608fSStefano Zampini   PetscBool      copy_rhs = PETSC_TRUE;
943534831adSStefano Zampini 
944534831adSStefano Zampini   PetscFunctionBegin;
94585c4d303SStefano Zampini   /* if we are working with cg, one dirichlet solve can be avoided during Krylov iterations */
94685c4d303SStefano Zampini   if (ksp) {
94785c4d303SStefano Zampini     PetscBool iscg;
94885c4d303SStefano Zampini     ierr = PetscObjectTypeCompare((PetscObject)ksp,KSPCG,&iscg);CHKERRQ(ierr);
94985c4d303SStefano Zampini     if (!iscg) {
95085c4d303SStefano Zampini       ierr = PCBDDCSetUseExactDirichlet(pc,PETSC_FALSE);CHKERRQ(ierr);
95185c4d303SStefano Zampini     }
95285c4d303SStefano Zampini   }
95385c4d303SStefano Zampini   /* Creates parallel work vectors used in presolve */
95462a6ff1dSStefano Zampini   if (!pcbddc->original_rhs) {
95562a6ff1dSStefano Zampini     ierr = VecDuplicate(pcis->vec1_global,&pcbddc->original_rhs);CHKERRQ(ierr);
95662a6ff1dSStefano Zampini   }
95762a6ff1dSStefano Zampini   if (!pcbddc->temp_solution) {
95862a6ff1dSStefano Zampini     ierr = VecDuplicate(pcis->vec1_global,&pcbddc->temp_solution);CHKERRQ(ierr);
95962a6ff1dSStefano Zampini   }
9608d00608fSStefano Zampini 
9613972b0daSStefano Zampini   if (x) {
9623972b0daSStefano Zampini     ierr = PetscObjectReference((PetscObject)x);CHKERRQ(ierr);
9633972b0daSStefano Zampini     used_vec = x;
9648d00608fSStefano Zampini   } else { /* it can only happen when calling PCBDDCMatFETIDPGetRHS */
9653972b0daSStefano Zampini     ierr = PetscObjectReference((PetscObject)pcbddc->temp_solution);CHKERRQ(ierr);
9663972b0daSStefano Zampini     used_vec = pcbddc->temp_solution;
9673972b0daSStefano Zampini     ierr = VecSet(used_vec,0.0);CHKERRQ(ierr);
9683972b0daSStefano Zampini   }
9698efcfb23SStefano Zampini 
9708efcfb23SStefano Zampini   /* hack into ksp data structure since PCPreSolve comes earlier than setting to zero the guess in src/ksp/ksp/interface/itfunc.c */
9713972b0daSStefano Zampini   if (ksp) {
972a0cb1b98SStefano Zampini     /* store the flag for the initial guess since it will be restored back during PCPostSolve_BDDC */
9738efcfb23SStefano Zampini     ierr = KSPGetInitialGuessNonzero(ksp,&pcbddc->ksp_guess_nonzero);CHKERRQ(ierr);
9748efcfb23SStefano Zampini     if (!pcbddc->ksp_guess_nonzero) {
9753972b0daSStefano Zampini       ierr = VecSet(used_vec,0.0);CHKERRQ(ierr);
9763972b0daSStefano Zampini     }
9773972b0daSStefano Zampini   }
9783308cffdSStefano Zampini 
9798d00608fSStefano Zampini   pcbddc->rhs_change = PETSC_FALSE;
9803972b0daSStefano Zampini 
9813972b0daSStefano Zampini   /* Take into account zeroed rows -> change rhs and store solution removed */
982a07ea27aSStefano Zampini   if (rhs) {
9833975b054SStefano Zampini     IS dirIS = NULL;
9843975b054SStefano Zampini 
985a07ea27aSStefano Zampini     /* DirichletBoundariesLocal may not be consistent among neighbours; gets a dirichlet dofs IS from graph (may be cached) */
9863975b054SStefano Zampini     ierr = PCBDDCGraphGetDirichletDofs(pcbddc->mat_graph,&dirIS);CHKERRQ(ierr);
9873975b054SStefano Zampini     if (dirIS) {
988906d46d4SStefano Zampini       Mat_IS            *matis = (Mat_IS*)pc->pmat->data;
989785d1243SStefano Zampini       PetscInt          dirsize,i,*is_indices;
9902b095fd8SStefano Zampini       PetscScalar       *array_x;
9912b095fd8SStefano Zampini       const PetscScalar *array_diagonal;
992785d1243SStefano Zampini 
9933972b0daSStefano Zampini       ierr = MatGetDiagonal(pc->pmat,pcis->vec1_global);CHKERRQ(ierr);
9943972b0daSStefano Zampini       ierr = VecPointwiseDivide(pcis->vec1_global,rhs,pcis->vec1_global);CHKERRQ(ierr);
9953972b0daSStefano Zampini       ierr = VecScatterBegin(matis->ctx,pcis->vec1_global,pcis->vec2_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
9963972b0daSStefano Zampini       ierr = VecScatterEnd(matis->ctx,pcis->vec1_global,pcis->vec2_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
9973972b0daSStefano Zampini       ierr = VecScatterBegin(matis->ctx,used_vec,pcis->vec1_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
9983972b0daSStefano Zampini       ierr = VecScatterEnd(matis->ctx,used_vec,pcis->vec1_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
99982ba6b80SStefano Zampini       ierr = ISGetLocalSize(dirIS,&dirsize);CHKERRQ(ierr);
10003972b0daSStefano Zampini       ierr = VecGetArray(pcis->vec1_N,&array_x);CHKERRQ(ierr);
10012b095fd8SStefano Zampini       ierr = VecGetArrayRead(pcis->vec2_N,&array_diagonal);CHKERRQ(ierr);
10023972b0daSStefano Zampini       ierr = ISGetIndices(dirIS,(const PetscInt**)&is_indices);CHKERRQ(ierr);
10032fa5cd67SKarl Rupp       for (i=0; i<dirsize; i++) array_x[is_indices[i]] = array_diagonal[is_indices[i]];
10043972b0daSStefano Zampini       ierr = ISRestoreIndices(dirIS,(const PetscInt**)&is_indices);CHKERRQ(ierr);
10052b095fd8SStefano Zampini       ierr = VecRestoreArrayRead(pcis->vec2_N,&array_diagonal);CHKERRQ(ierr);
10063972b0daSStefano Zampini       ierr = VecRestoreArray(pcis->vec1_N,&array_x);CHKERRQ(ierr);
10073972b0daSStefano Zampini       ierr = VecScatterBegin(matis->ctx,pcis->vec1_N,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
10083972b0daSStefano Zampini       ierr = VecScatterEnd(matis->ctx,pcis->vec1_N,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
10098d00608fSStefano Zampini       pcbddc->rhs_change = PETSC_TRUE;
10101b968477SStefano Zampini       ierr = ISDestroy(&dirIS);CHKERRQ(ierr);
10118efcfb23SStefano Zampini     }
1012a07ea27aSStefano Zampini   }
1013b76ba322SStefano Zampini 
10148efcfb23SStefano Zampini   /* remove the computed solution or the initial guess from the rhs */
10158d00608fSStefano Zampini   if (pcbddc->rhs_change || (ksp && pcbddc->ksp_guess_nonzero) ) {
10168d00608fSStefano Zampini     /* store the original rhs */
10178d00608fSStefano Zampini     if (copy_rhs) {
10188d00608fSStefano Zampini       ierr = VecCopy(rhs,pcbddc->original_rhs);CHKERRQ(ierr);
10198d00608fSStefano Zampini       copy_rhs = PETSC_FALSE;
10208d00608fSStefano Zampini     }
10218d00608fSStefano Zampini     pcbddc->rhs_change = PETSC_TRUE;
10223972b0daSStefano Zampini     ierr = VecScale(used_vec,-1.0);CHKERRQ(ierr);
10233972b0daSStefano Zampini     ierr = MatMultAdd(pc->pmat,used_vec,rhs,rhs);CHKERRQ(ierr);
10243972b0daSStefano Zampini     ierr = VecScale(used_vec,-1.0);CHKERRQ(ierr);
10258efcfb23SStefano Zampini     ierr = VecCopy(used_vec,pcbddc->temp_solution);CHKERRQ(ierr);
10267acc28cbSStefano Zampini     if (ksp) {
10277acc28cbSStefano Zampini       ierr = KSPSetInitialGuessNonzero(ksp,PETSC_FALSE);CHKERRQ(ierr);
10287acc28cbSStefano Zampini     }
10293308cffdSStefano Zampini   }
10308efcfb23SStefano Zampini   ierr = VecDestroy(&used_vec);CHKERRQ(ierr);
1031b76ba322SStefano Zampini 
1032b76ba322SStefano Zampini   /* store partially computed solution and set initial guess */
1033b097fa66SStefano Zampini   if (x && pcbddc->use_exact_dirichlet_trick) {
10348efcfb23SStefano Zampini     ierr = VecSet(x,0.0);CHKERRQ(ierr);
1035b76ba322SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,rhs,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1036b76ba322SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,rhs,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1037b76ba322SStefano Zampini     ierr = KSPSolve(pcbddc->ksp_D,pcis->vec1_D,pcis->vec2_D);CHKERRQ(ierr);
10388efcfb23SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,pcis->vec2_D,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
10398efcfb23SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,pcis->vec2_D,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1040a0cb1b98SStefano Zampini     if (ksp) {
1041b76ba322SStefano Zampini       ierr = KSPSetInitialGuessNonzero(ksp,PETSC_TRUE);CHKERRQ(ierr);
1042b76ba322SStefano Zampini     }
1043b76ba322SStefano Zampini   }
1044b76ba322SStefano Zampini 
1045b9b85e73SStefano Zampini   if (pcbddc->ChangeOfBasisMatrix) {
1046906d46d4SStefano Zampini     PCBDDCChange_ctx change_ctx;
1047906d46d4SStefano Zampini 
1048906d46d4SStefano Zampini     /* get change ctx */
1049906d46d4SStefano Zampini     ierr = MatShellGetContext(pcbddc->new_global_mat,&change_ctx);CHKERRQ(ierr);
1050906d46d4SStefano Zampini 
1051906d46d4SStefano Zampini     /* set current iteration matrix inside change context (change of basis has been already set into the ctx during PCSetUp) */
1052906d46d4SStefano Zampini     ierr = MatDestroy(&change_ctx->original_mat);CHKERRQ(ierr);
1053906d46d4SStefano Zampini     ierr = PetscObjectReference((PetscObject)pc->mat);CHKERRQ(ierr);
1054906d46d4SStefano Zampini     change_ctx->original_mat = pc->mat;
1055906d46d4SStefano Zampini 
1056906d46d4SStefano Zampini     /* change iteration matrix */
1057906d46d4SStefano Zampini     ierr = MatDestroy(&pc->mat);CHKERRQ(ierr);
1058906d46d4SStefano Zampini     ierr = PetscObjectReference((PetscObject)pcbddc->new_global_mat);CHKERRQ(ierr);
1059906d46d4SStefano Zampini     pc->mat = pcbddc->new_global_mat;
1060906d46d4SStefano Zampini 
10618d00608fSStefano Zampini     /* store the original rhs */
10628d00608fSStefano Zampini     if (copy_rhs) {
10638d00608fSStefano Zampini       ierr = VecCopy(rhs,pcbddc->original_rhs);CHKERRQ(ierr);
10648d00608fSStefano Zampini       copy_rhs = PETSC_FALSE;
10658d00608fSStefano Zampini     }
10668d00608fSStefano Zampini 
1067906d46d4SStefano Zampini     /* change rhs */
1068906d46d4SStefano Zampini     ierr = MatMultTranspose(change_ctx->global_change,rhs,pcis->vec1_global);CHKERRQ(ierr);
1069906d46d4SStefano Zampini     ierr = VecCopy(pcis->vec1_global,rhs);CHKERRQ(ierr);
10708d00608fSStefano Zampini     pcbddc->rhs_change = PETSC_TRUE;
107192e3dcfbSStefano Zampini   }
107292e3dcfbSStefano Zampini 
107392e3dcfbSStefano Zampini   /* remove nullspace if present */
10748efcfb23SStefano Zampini   if (ksp && x && pcbddc->NullSpace) {
10758efcfb23SStefano Zampini     ierr = MatNullSpaceRemove(pcbddc->NullSpace,x);CHKERRQ(ierr);
10768d00608fSStefano Zampini     /* store the original rhs */
10778d00608fSStefano Zampini     if (copy_rhs) {
10788d00608fSStefano Zampini       ierr = VecCopy(rhs,pcbddc->original_rhs);CHKERRQ(ierr);
10798d00608fSStefano Zampini       copy_rhs = PETSC_FALSE;
10808d00608fSStefano Zampini     }
10818d00608fSStefano Zampini     pcbddc->rhs_change = PETSC_TRUE;
1082d0195637SJed Brown     ierr = MatNullSpaceRemove(pcbddc->NullSpace,rhs);CHKERRQ(ierr);
1083b76ba322SStefano Zampini   }
1084534831adSStefano Zampini   PetscFunctionReturn(0);
1085534831adSStefano Zampini }
1086906d46d4SStefano Zampini 
1087534831adSStefano Zampini /* -------------------------------------------------------------------------- */
1088534831adSStefano Zampini #undef __FUNCT__
1089534831adSStefano Zampini #define __FUNCT__ "PCPostSolve_BDDC"
1090534831adSStefano Zampini /* -------------------------------------------------------------------------- */
1091534831adSStefano Zampini /*
1092534831adSStefano Zampini    PCPostSolve_BDDC - Changes the computed solution if a transformation of basis
1093534831adSStefano Zampini                      approach has been selected. Also, restores rhs to its original state.
1094534831adSStefano Zampini 
1095534831adSStefano Zampini    Input Parameter:
1096534831adSStefano Zampini +  pc - the preconditioner contex
1097534831adSStefano Zampini 
1098534831adSStefano Zampini    Application Interface Routine: PCPostSolve()
1099534831adSStefano Zampini 
1100534831adSStefano Zampini    Notes:
1101534831adSStefano Zampini    The interface routine PCPostSolve() is not usually called directly by
1102534831adSStefano Zampini    the user, but instead is called by KSPSolve().
1103534831adSStefano Zampini */
1104534831adSStefano Zampini static PetscErrorCode PCPostSolve_BDDC(PC pc, KSP ksp, Vec rhs, Vec x)
1105534831adSStefano Zampini {
1106534831adSStefano Zampini   PetscErrorCode ierr;
1107534831adSStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
1108534831adSStefano Zampini 
1109534831adSStefano Zampini   PetscFunctionBegin;
1110b9b85e73SStefano Zampini   if (pcbddc->ChangeOfBasisMatrix) {
1111906d46d4SStefano Zampini     PCBDDCChange_ctx change_ctx;
1112906d46d4SStefano Zampini 
1113906d46d4SStefano Zampini     /* get change ctx */
1114906d46d4SStefano Zampini     ierr = MatShellGetContext(pcbddc->new_global_mat,&change_ctx);CHKERRQ(ierr);
1115906d46d4SStefano Zampini 
1116906d46d4SStefano Zampini     /* restore iteration matrix */
1117906d46d4SStefano Zampini     ierr = MatDestroy(&pc->mat);CHKERRQ(ierr);
1118906d46d4SStefano Zampini     ierr = PetscObjectReference((PetscObject)change_ctx->original_mat);CHKERRQ(ierr);
1119906d46d4SStefano Zampini     pc->mat = change_ctx->original_mat;
1120906d46d4SStefano Zampini 
1121906d46d4SStefano Zampini     /* get solution in original basis */
1122906d46d4SStefano Zampini     if (x) {
1123906d46d4SStefano Zampini       PC_IS *pcis = (PC_IS*)(pc->data);
1124906d46d4SStefano Zampini       ierr = MatMult(change_ctx->global_change,x,pcis->vec1_global);CHKERRQ(ierr);
1125906d46d4SStefano Zampini       ierr = VecCopy(pcis->vec1_global,x);CHKERRQ(ierr);
11263425bc38SStefano Zampini     }
1127534831adSStefano Zampini   }
1128906d46d4SStefano Zampini 
11293972b0daSStefano Zampini   /* add solution removed in presolve */
11306bcfc461SStefano Zampini   if (x && pcbddc->rhs_change) {
11313425bc38SStefano Zampini     ierr = VecAXPY(x,1.0,pcbddc->temp_solution);CHKERRQ(ierr);
11323425bc38SStefano Zampini   }
1133906d46d4SStefano Zampini 
1134fb223d50SStefano Zampini   /* restore rhs to its original state */
11358d00608fSStefano Zampini   if (rhs && pcbddc->rhs_change) {
1136fb223d50SStefano Zampini     ierr = VecCopy(pcbddc->original_rhs,rhs);CHKERRQ(ierr);
1137fb223d50SStefano Zampini   }
11388d00608fSStefano Zampini   pcbddc->rhs_change = PETSC_FALSE;
11398efcfb23SStefano Zampini 
11408efcfb23SStefano Zampini   /* restore ksp guess state */
11418efcfb23SStefano Zampini   if (ksp) {
11428efcfb23SStefano Zampini     ierr = KSPSetInitialGuessNonzero(ksp,pcbddc->ksp_guess_nonzero);CHKERRQ(ierr);
11438efcfb23SStefano Zampini   }
1144534831adSStefano Zampini   PetscFunctionReturn(0);
1145534831adSStefano Zampini }
1146534831adSStefano Zampini /* -------------------------------------------------------------------------- */
114753cdbc3dSStefano Zampini #undef __FUNCT__
114853cdbc3dSStefano Zampini #define __FUNCT__ "PCSetUp_BDDC"
11490c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
11500c7d97c5SJed Brown /*
11510c7d97c5SJed Brown    PCSetUp_BDDC - Prepares for the use of the BDDC preconditioner
11520c7d97c5SJed Brown                   by setting data structures and options.
11530c7d97c5SJed Brown 
11540c7d97c5SJed Brown    Input Parameter:
115553cdbc3dSStefano Zampini +  pc - the preconditioner context
11560c7d97c5SJed Brown 
11570c7d97c5SJed Brown    Application Interface Routine: PCSetUp()
11580c7d97c5SJed Brown 
11590c7d97c5SJed Brown    Notes:
11600c7d97c5SJed Brown    The interface routine PCSetUp() is not usually called directly by
11610c7d97c5SJed Brown    the user, but instead is called by PCApply() if necessary.
11620c7d97c5SJed Brown */
116353cdbc3dSStefano Zampini PetscErrorCode PCSetUp_BDDC(PC pc)
11640c7d97c5SJed Brown {
11650c7d97c5SJed Brown   PetscErrorCode ierr;
11660c7d97c5SJed Brown   PC_BDDC*       pcbddc = (PC_BDDC*)pc->data;
11675e8657edSStefano Zampini   Mat_IS*        matis;
116808122e43SStefano Zampini   MatNullSpace   nearnullspace;
116908122e43SStefano Zampini   PetscBool      computetopography,computesolvers,computesubschurs;
11708de1fae6SStefano Zampini   PetscBool      computeconstraintsmatrix;
11715e8657edSStefano Zampini   PetscBool      new_nearnullspace_provided,ismatis;
11720c7d97c5SJed Brown 
11730c7d97c5SJed Brown   PetscFunctionBegin;
11745e8657edSStefano Zampini   ierr = PetscObjectTypeCompare((PetscObject)pc->pmat,MATIS,&ismatis);CHKERRQ(ierr);
11755e8657edSStefano Zampini   if (!ismatis) {
11765e8657edSStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_ARG_WRONG,"PCBDDC preconditioner requires matrix of type MATIS");
11775e8657edSStefano Zampini   }
11785e8657edSStefano Zampini   matis = (Mat_IS*)pc->pmat->data;
1179f4ddd8eeSStefano Zampini   /* the following lines of code should be replaced by a better logic between PCIS, PCNN, PCBDDC and other future nonoverlapping preconditioners */
11803b03a366Sstefano_zampini   /* For BDDC we need to define a local "Neumann" problem different to that defined in PCISSetup
1181fcd409f5SStefano Zampini      Also, BDDC directly build the Dirichlet problem */
1182f4ddd8eeSStefano Zampini   /* split work */
1183674ae819SStefano Zampini   if (pc->setupcalled) {
1184d1e9a80fSBarry Smith     if (pc->flag == SAME_NONZERO_PATTERN) {
1185674ae819SStefano Zampini       computetopography = PETSC_FALSE;
1186674ae819SStefano Zampini       computesolvers = PETSC_TRUE;
1187674ae819SStefano Zampini     } else { /* DIFFERENT_NONZERO_PATTERN */
1188674ae819SStefano Zampini       computetopography = PETSC_TRUE;
1189674ae819SStefano Zampini       computesolvers = PETSC_TRUE;
1190674ae819SStefano Zampini     }
1191674ae819SStefano Zampini   } else {
1192674ae819SStefano Zampini     computetopography = PETSC_TRUE;
1193674ae819SStefano Zampini     computesolvers = PETSC_TRUE;
1194674ae819SStefano Zampini   }
1195fb180af4SStefano Zampini   if (pcbddc->recompute_topography) {
1196fb180af4SStefano Zampini     computetopography = PETSC_TRUE;
1197fb180af4SStefano Zampini   }
11988de1fae6SStefano Zampini   computeconstraintsmatrix = PETSC_FALSE;
11995a95e1ceSStefano Zampini   if (pcbddc->adaptive_threshold > 0.0 && !pcbddc->use_deluxe_scaling) {
12005a95e1ceSStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Cannot compute adaptive constraints without deluxe scaling. Rerun with -pc_bddc_use_deluxe_scaling");
12015a95e1ceSStefano Zampini   }
12025a95e1ceSStefano Zampini   pcbddc->adaptive_selection = (PetscBool)(pcbddc->adaptive_threshold > 0.0 && pcbddc->use_deluxe_scaling);
12035a95e1ceSStefano Zampini   computesubschurs = (PetscBool)(pcbddc->adaptive_selection || pcbddc->use_deluxe_scaling);
12046816873aSStefano Zampini   if (pcbddc->faster_deluxe && pcbddc->adaptive_selection && pcbddc->use_change_of_basis) {
12056816873aSStefano Zampini     SETERRQ(PetscObjectComm((PetscObject)pc),PETSC_ERR_SUP,"Cannot compute faster deluxe if adaptivity and change of basis are both requested. Rerun with -pc_bddc_deluxe_faster false");
12066816873aSStefano Zampini   }
1207f4ddd8eeSStefano Zampini   /* Get stdout for dbg */
120870cf5478SStefano Zampini   if (pcbddc->dbg_flag) {
120970cf5478SStefano Zampini     if (!pcbddc->dbg_viewer) {
121058a03d70SStefano Zampini       pcbddc->dbg_viewer = PETSC_VIEWER_STDOUT_(PetscObjectComm((PetscObject)pc));
1211f4ddd8eeSStefano Zampini       ierr = PetscViewerASCIISynchronizedAllow(pcbddc->dbg_viewer,PETSC_TRUE);CHKERRQ(ierr);
1212f4ddd8eeSStefano Zampini     }
121358a03d70SStefano Zampini     ierr = PetscViewerASCIIAddTab(pcbddc->dbg_viewer,2*pcbddc->current_level);CHKERRQ(ierr);
1214f4ddd8eeSStefano Zampini   }
1215f4ddd8eeSStefano Zampini 
12165e8657edSStefano Zampini   if (pcbddc->user_ChangeOfBasisMatrix) {
12175e8657edSStefano Zampini     /* use_change_of_basis flag is used to automatically compute a change of basis from constraints */
12185e8657edSStefano Zampini     pcbddc->use_change_of_basis = PETSC_FALSE;
12195e8657edSStefano Zampini     ierr = PCBDDCComputeLocalMatrix(pc,pcbddc->user_ChangeOfBasisMatrix);CHKERRQ(ierr);
12205e8657edSStefano Zampini   } else {
1221b96c3477SStefano Zampini     ierr = MatDestroy(&pcbddc->local_mat);CHKERRQ(ierr);
12225e8657edSStefano Zampini     ierr = PetscObjectReference((PetscObject)matis->A);CHKERRQ(ierr);
12235e8657edSStefano Zampini     pcbddc->local_mat = matis->A;
1224674ae819SStefano Zampini   }
1225f4ddd8eeSStefano Zampini 
1226e496cd5dSStefano Zampini   /* workaround for reals */
1227e496cd5dSStefano Zampini #if !defined(PETSC_USE_COMPLEX)
1228*3301b35fSStefano Zampini   if (matis->A->symmetric_set) {
1229*3301b35fSStefano Zampini     ierr = MatSetOption(pcbddc->local_mat,MAT_HERMITIAN,matis->A->symmetric);CHKERRQ(ierr);
1230*3301b35fSStefano Zampini   }
1231e496cd5dSStefano Zampini #endif
1232e496cd5dSStefano Zampini 
12335e8657edSStefano Zampini   /* Set up all the "iterative substructuring" common block without computing solvers */
12345e8657edSStefano Zampini   {
12355e8657edSStefano Zampini     Mat temp_mat;
12365e8657edSStefano Zampini 
12375e8657edSStefano Zampini     temp_mat = matis->A;
12385e8657edSStefano Zampini     matis->A = pcbddc->local_mat;
12395e8657edSStefano Zampini     ierr = PCISSetUp(pc,PETSC_FALSE);CHKERRQ(ierr);
12405e8657edSStefano Zampini     pcbddc->local_mat = matis->A;
12415e8657edSStefano Zampini     matis->A = temp_mat;
12425e8657edSStefano Zampini   }
1243684f6988SStefano Zampini 
1244b96c3477SStefano Zampini   /* Analyze interface and setup sub_schurs data */
1245674ae819SStefano Zampini   if (computetopography) {
1246674ae819SStefano Zampini     ierr = PCBDDCAnalyzeInterface(pc);CHKERRQ(ierr);
12478de1fae6SStefano Zampini     computeconstraintsmatrix = PETSC_TRUE;
1248674ae819SStefano Zampini   }
1249fb8d54d4SStefano Zampini 
1250b96c3477SStefano Zampini   /* Setup local dirichlet solver ksp_D and sub_schurs solvers */
1251684f6988SStefano Zampini   if (computesolvers) {
1252d5574798SStefano Zampini     PCBDDCSubSchurs sub_schurs=pcbddc->sub_schurs;
1253d5574798SStefano Zampini 
1254d5574798SStefano Zampini     if (computesubschurs && computetopography) {
125508122e43SStefano Zampini       ierr = PCBDDCInitSubSchurs(pc);CHKERRQ(ierr);
1256b1b3d7a2SStefano Zampini     }
1257d5574798SStefano Zampini     if (sub_schurs->use_mumps) {
12582070dbb6SStefano Zampini       if (computesubschurs) {
125908122e43SStefano Zampini         ierr = PCBDDCSetUpSubSchurs(pc);CHKERRQ(ierr);
12602070dbb6SStefano Zampini       }
1261d5574798SStefano Zampini       ierr = PCBDDCSetUpLocalSolvers(pc,PETSC_TRUE,PETSC_FALSE);CHKERRQ(ierr);
1262d5574798SStefano Zampini     } else {
1263d5574798SStefano Zampini       ierr = PCBDDCSetUpLocalSolvers(pc,PETSC_TRUE,PETSC_FALSE);CHKERRQ(ierr);
12642070dbb6SStefano Zampini       if (computesubschurs) {
1265d5574798SStefano Zampini         ierr = PCBDDCSetUpSubSchurs(pc);CHKERRQ(ierr);
1266d5574798SStefano Zampini       }
12672070dbb6SStefano Zampini     }
126808122e43SStefano Zampini     if (pcbddc->adaptive_selection) {
126908122e43SStefano Zampini       ierr = PCBDDCAdaptiveSelection(pc);CHKERRQ(ierr);
12708de1fae6SStefano Zampini       computeconstraintsmatrix = PETSC_TRUE;
1271b7eb3628SStefano Zampini     }
1272b1b3d7a2SStefano Zampini   }
1273684f6988SStefano Zampini 
1274f4ddd8eeSStefano Zampini   /* infer if NullSpace object attached to Mat via MatSetNearNullSpace has changed */
1275fb8d54d4SStefano Zampini   new_nearnullspace_provided = PETSC_FALSE;
1276f4ddd8eeSStefano Zampini   ierr = MatGetNearNullSpace(pc->pmat,&nearnullspace);CHKERRQ(ierr);
1277f4ddd8eeSStefano Zampini   if (pcbddc->onearnullspace) { /* already used nearnullspace */
1278f4ddd8eeSStefano Zampini     if (!nearnullspace) { /* near null space attached to mat has been destroyed */
1279f4ddd8eeSStefano Zampini       new_nearnullspace_provided = PETSC_TRUE;
1280f4ddd8eeSStefano Zampini     } else {
1281f4ddd8eeSStefano Zampini       /* determine if the two nullspaces are different (should be lightweight) */
1282f4ddd8eeSStefano Zampini       if (nearnullspace != pcbddc->onearnullspace) {
1283f4ddd8eeSStefano Zampini         new_nearnullspace_provided = PETSC_TRUE;
1284165b64e2SStefano Zampini       } else { /* maybe the user has changed the content of the nearnullspace so check vectors ObjectStateId */
1285f4ddd8eeSStefano Zampini         PetscInt         i;
1286165b64e2SStefano Zampini         const Vec        *nearnullvecs;
1287165b64e2SStefano Zampini         PetscObjectState state;
1288165b64e2SStefano Zampini         PetscInt         nnsp_size;
1289165b64e2SStefano Zampini         ierr = MatNullSpaceGetVecs(nearnullspace,NULL,&nnsp_size,&nearnullvecs);CHKERRQ(ierr);
1290f4ddd8eeSStefano Zampini         for (i=0;i<nnsp_size;i++) {
1291f4ddd8eeSStefano Zampini           ierr = PetscObjectStateGet((PetscObject)nearnullvecs[i],&state);CHKERRQ(ierr);
1292165b64e2SStefano Zampini           if (pcbddc->onearnullvecs_state[i] != state) {
1293f4ddd8eeSStefano Zampini             new_nearnullspace_provided = PETSC_TRUE;
1294f4ddd8eeSStefano Zampini             break;
1295f4ddd8eeSStefano Zampini           }
1296f4ddd8eeSStefano Zampini         }
1297f4ddd8eeSStefano Zampini       }
1298f4ddd8eeSStefano Zampini     }
1299f4ddd8eeSStefano Zampini   } else {
1300f4ddd8eeSStefano Zampini     if (!nearnullspace) { /* both nearnullspaces are null */
1301f4ddd8eeSStefano Zampini       new_nearnullspace_provided = PETSC_FALSE;
1302f4ddd8eeSStefano Zampini     } else { /* nearnullspace attached later */
1303f4ddd8eeSStefano Zampini       new_nearnullspace_provided = PETSC_TRUE;
1304f4ddd8eeSStefano Zampini     }
1305f4ddd8eeSStefano Zampini   }
1306f4ddd8eeSStefano Zampini 
1307f4ddd8eeSStefano Zampini   /* Setup constraints and related work vectors */
1308727cdba6SStefano Zampini   /* reset primal space flags */
1309f4ddd8eeSStefano Zampini   pcbddc->new_primal_space = PETSC_FALSE;
1310727cdba6SStefano Zampini   pcbddc->new_primal_space_local = PETSC_FALSE;
13118de1fae6SStefano Zampini   if (computeconstraintsmatrix || new_nearnullspace_provided) {
1312727cdba6SStefano Zampini     /* It also sets the primal space flags */
1313674ae819SStefano Zampini     ierr = PCBDDCConstraintsSetUp(pc);CHKERRQ(ierr);
1314e7b262bdSStefano Zampini     /* Allocate needed local vectors (which depends on quantities defined during ConstraintsSetUp) */
1315f4ddd8eeSStefano Zampini     ierr = PCBDDCSetUpLocalWorkVectors(pc);CHKERRQ(ierr);
13163975b054SStefano Zampini   }
13175e8657edSStefano Zampini 
13183975b054SStefano Zampini   if (computesolvers || pcbddc->new_primal_space) {
13195e8657edSStefano Zampini     if (pcbddc->use_change_of_basis) {
13205e8657edSStefano Zampini       PC_IS *pcis = (PC_IS*)(pc->data);
13215e8657edSStefano Zampini 
13225e8657edSStefano Zampini       ierr = PCBDDCComputeLocalMatrix(pc,pcbddc->ChangeOfBasisMatrix);CHKERRQ(ierr);
13235e8657edSStefano Zampini       /* get submatrices */
13245e8657edSStefano Zampini       ierr = MatDestroy(&pcis->A_IB);CHKERRQ(ierr);
13255e8657edSStefano Zampini       ierr = MatDestroy(&pcis->A_BI);CHKERRQ(ierr);
13265e8657edSStefano Zampini       ierr = MatDestroy(&pcis->A_BB);CHKERRQ(ierr);
13275e8657edSStefano Zampini       ierr = MatGetSubMatrix(pcbddc->local_mat,pcis->is_B_local,pcis->is_B_local,MAT_INITIAL_MATRIX,&pcis->A_BB);CHKERRQ(ierr);
13285e8657edSStefano Zampini       ierr = MatGetSubMatrix(pcbddc->local_mat,pcis->is_I_local,pcis->is_B_local,MAT_INITIAL_MATRIX,&pcis->A_IB);CHKERRQ(ierr);
13295e8657edSStefano Zampini       ierr = MatGetSubMatrix(pcbddc->local_mat,pcis->is_B_local,pcis->is_I_local,MAT_INITIAL_MATRIX,&pcis->A_BI);CHKERRQ(ierr);
13303975b054SStefano Zampini       /* set flag in pcis to not reuse submatrices during PCISCreate */
13313975b054SStefano Zampini       pcis->reusesubmatrices = PETSC_FALSE;
13325e8657edSStefano Zampini     } else if (!pcbddc->user_ChangeOfBasisMatrix) {
1333b96c3477SStefano Zampini       ierr = MatDestroy(&pcbddc->local_mat);CHKERRQ(ierr);
13345e8657edSStefano Zampini       ierr = PetscObjectReference((PetscObject)matis->A);CHKERRQ(ierr);
13355e8657edSStefano Zampini       pcbddc->local_mat = matis->A;
13365e8657edSStefano Zampini     }
1337b96c3477SStefano Zampini     /* SetUp coarse and local Neumann solvers */
133899cc7994SStefano Zampini     ierr = PCBDDCSetUpSolvers(pc);CHKERRQ(ierr);
1339b96c3477SStefano Zampini     /* SetUp Scaling operator */
1340674ae819SStefano Zampini     ierr = PCBDDCScalingSetUp(pc);CHKERRQ(ierr);
13410c7d97c5SJed Brown   }
134270cf5478SStefano Zampini 
134358a03d70SStefano Zampini   if (pcbddc->dbg_flag) {
134458a03d70SStefano Zampini     ierr = PetscViewerASCIISubtractTab(pcbddc->dbg_viewer,2*pcbddc->current_level);CHKERRQ(ierr);
13452b510759SStefano Zampini   }
13460c7d97c5SJed Brown   PetscFunctionReturn(0);
13470c7d97c5SJed Brown }
13480c7d97c5SJed Brown 
13490c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
13500c7d97c5SJed Brown /*
135150efa1b5SStefano Zampini    PCApply_BDDC - Applies the BDDC operator to a vector.
13520c7d97c5SJed Brown 
13530c7d97c5SJed Brown    Input Parameters:
13540c7d97c5SJed Brown .  pc - the preconditioner context
13550c7d97c5SJed Brown .  r - input vector (global)
13560c7d97c5SJed Brown 
13570c7d97c5SJed Brown    Output Parameter:
13580c7d97c5SJed Brown .  z - output vector (global)
13590c7d97c5SJed Brown 
13600c7d97c5SJed Brown    Application Interface Routine: PCApply()
13610c7d97c5SJed Brown  */
13620c7d97c5SJed Brown #undef __FUNCT__
13630c7d97c5SJed Brown #define __FUNCT__ "PCApply_BDDC"
136453cdbc3dSStefano Zampini PetscErrorCode PCApply_BDDC(PC pc,Vec r,Vec z)
13650c7d97c5SJed Brown {
13660c7d97c5SJed Brown   PC_IS             *pcis = (PC_IS*)(pc->data);
13670c7d97c5SJed Brown   PC_BDDC           *pcbddc = (PC_BDDC*)(pc->data);
1368b097fa66SStefano Zampini   PetscInt          n_B = pcis->n_B, n_D = pcis->n - n_B;
13690c7d97c5SJed Brown   PetscErrorCode    ierr;
13703b03a366Sstefano_zampini   const PetscScalar one = 1.0;
13713b03a366Sstefano_zampini   const PetscScalar m_one = -1.0;
13722617d88aSStefano Zampini   const PetscScalar zero = 0.0;
13730c7d97c5SJed Brown 
13740c7d97c5SJed Brown /* This code is similar to that provided in nn.c for PCNN
13750c7d97c5SJed Brown    NN interface preconditioner changed to BDDC
1376b097fa66SStefano Zampini    Added support for M_3 preconditioner in the reference article (code is active if pcbddc->switch_static == PETSC_TRUE) */
13770c7d97c5SJed Brown 
13780c7d97c5SJed Brown   PetscFunctionBegin;
137985c4d303SStefano Zampini   if (!pcbddc->use_exact_dirichlet_trick) {
1380b097fa66SStefano Zampini     ierr = VecCopy(r,z);CHKERRQ(ierr);
13810c7d97c5SJed Brown     /* First Dirichlet solve */
13820c7d97c5SJed Brown     ierr = VecScatterBegin(pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
13830c7d97c5SJed Brown     ierr = VecScatterEnd(pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
13840c7d97c5SJed Brown     /*
13850c7d97c5SJed Brown       Assembling right hand side for BDDC operator
1386b097fa66SStefano Zampini       - pcis->vec1_D for the Dirichlet part (if needed, i.e. pcbddc->switch_static == PETSC_TRUE)
1387674ae819SStefano Zampini       - pcis->vec1_B the interface part of the global vector z
13880c7d97c5SJed Brown     */
1389b097fa66SStefano Zampini     if (n_D) {
1390b097fa66SStefano Zampini       ierr = KSPSolve(pcbddc->ksp_D,pcis->vec1_D,pcis->vec2_D);CHKERRQ(ierr);
13910c7d97c5SJed Brown       ierr = VecScale(pcis->vec2_D,m_one);CHKERRQ(ierr);
13928eeda7d8SStefano Zampini       if (pcbddc->switch_static) { ierr = MatMultAdd(pcis->A_II,pcis->vec2_D,pcis->vec1_D,pcis->vec1_D);CHKERRQ(ierr); }
1393b097fa66SStefano Zampini       ierr = MatMult(pcis->A_BI,pcis->vec2_D,pcis->vec1_B);CHKERRQ(ierr);
1394b097fa66SStefano Zampini     } else {
1395b097fa66SStefano Zampini       ierr = VecSet(pcis->vec1_B,zero);CHKERRQ(ierr);
1396b097fa66SStefano Zampini     }
13970c7d97c5SJed Brown     ierr = VecScatterBegin(pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
13980c7d97c5SJed Brown     ierr = VecScatterEnd(pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1399674ae819SStefano Zampini     ierr = PCBDDCScalingRestriction(pc,z,pcis->vec1_B);CHKERRQ(ierr);
1400b76ba322SStefano Zampini   } else {
1401b097fa66SStefano Zampini     if (pcbddc->switch_static) {
14020bdf917eSStefano Zampini       ierr = VecSet(pcis->vec1_D,zero);CHKERRQ(ierr);
1403b097fa66SStefano Zampini     }
1404674ae819SStefano Zampini     ierr = PCBDDCScalingRestriction(pc,r,pcis->vec1_B);CHKERRQ(ierr);
1405b76ba322SStefano Zampini   }
1406b76ba322SStefano Zampini 
14072617d88aSStefano Zampini   /* Apply interface preconditioner
14082617d88aSStefano Zampini      input/output vecs: pcis->vec1_B and pcis->vec1_D */
1409dc359a40SStefano Zampini   ierr = PCBDDCApplyInterfacePreconditioner(pc,PETSC_FALSE);CHKERRQ(ierr);
14102617d88aSStefano Zampini 
1411674ae819SStefano Zampini   /* Apply transpose of partition of unity operator */
1412674ae819SStefano Zampini   ierr = PCBDDCScalingExtension(pc,pcis->vec1_B,z);CHKERRQ(ierr);
14130c7d97c5SJed Brown 
14143b03a366Sstefano_zampini   /* Second Dirichlet solve and assembling of output */
14150c7d97c5SJed Brown   ierr = VecScatterBegin(pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
14160c7d97c5SJed Brown   ierr = VecScatterEnd(pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1417b097fa66SStefano Zampini   if (n_B) {
14180c7d97c5SJed Brown     ierr = MatMult(pcis->A_IB,pcis->vec1_B,pcis->vec3_D);CHKERRQ(ierr);
14198eeda7d8SStefano Zampini     if (pcbddc->switch_static) { ierr = MatMultAdd(pcis->A_II,pcis->vec1_D,pcis->vec3_D,pcis->vec3_D);CHKERRQ(ierr); }
1420b097fa66SStefano Zampini   } else if (pcbddc->switch_static) {
1421b097fa66SStefano Zampini     ierr = MatMult(pcis->A_II,pcis->vec1_D,pcis->vec3_D);CHKERRQ(ierr);
1422b097fa66SStefano Zampini   }
1423df187020SStefano Zampini   ierr = KSPSolve(pcbddc->ksp_D,pcis->vec3_D,pcis->vec4_D);CHKERRQ(ierr);
1424b097fa66SStefano Zampini   if (!pcbddc->use_exact_dirichlet_trick) {
1425b097fa66SStefano Zampini     if (pcbddc->switch_static) {
1426b097fa66SStefano Zampini       ierr = VecAXPBYPCZ(pcis->vec2_D,m_one,one,m_one,pcis->vec4_D,pcis->vec1_D);CHKERRQ(ierr);
1427b097fa66SStefano Zampini     } else {
1428b097fa66SStefano Zampini       ierr = VecAXPBY(pcis->vec2_D,m_one,m_one,pcis->vec4_D);CHKERRQ(ierr);
1429b097fa66SStefano Zampini     }
14300c7d97c5SJed Brown     ierr = VecScatterBegin(pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
14310c7d97c5SJed Brown     ierr = VecScatterEnd(pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1432b097fa66SStefano Zampini   } else {
1433b097fa66SStefano Zampini     if (pcbddc->switch_static) {
1434b097fa66SStefano Zampini       ierr = VecAXPBY(pcis->vec4_D,one,m_one,pcis->vec1_D);CHKERRQ(ierr);
1435b097fa66SStefano Zampini     } else {
1436b097fa66SStefano Zampini       ierr = VecScale(pcis->vec4_D,m_one);CHKERRQ(ierr);
1437b097fa66SStefano Zampini     }
1438b097fa66SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,pcis->vec4_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1439b097fa66SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,pcis->vec4_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1440b097fa66SStefano Zampini   }
14410c7d97c5SJed Brown   PetscFunctionReturn(0);
14420c7d97c5SJed Brown }
144350efa1b5SStefano Zampini 
144450efa1b5SStefano Zampini /* -------------------------------------------------------------------------- */
144550efa1b5SStefano Zampini /*
144650efa1b5SStefano Zampini    PCApplyTranspose_BDDC - Applies the transpose of the BDDC operator to a vector.
144750efa1b5SStefano Zampini 
144850efa1b5SStefano Zampini    Input Parameters:
144950efa1b5SStefano Zampini .  pc - the preconditioner context
145050efa1b5SStefano Zampini .  r - input vector (global)
145150efa1b5SStefano Zampini 
145250efa1b5SStefano Zampini    Output Parameter:
145350efa1b5SStefano Zampini .  z - output vector (global)
145450efa1b5SStefano Zampini 
145550efa1b5SStefano Zampini    Application Interface Routine: PCApplyTranspose()
145650efa1b5SStefano Zampini  */
145750efa1b5SStefano Zampini #undef __FUNCT__
145850efa1b5SStefano Zampini #define __FUNCT__ "PCApplyTranspose_BDDC"
145950efa1b5SStefano Zampini PetscErrorCode PCApplyTranspose_BDDC(PC pc,Vec r,Vec z)
146050efa1b5SStefano Zampini {
146150efa1b5SStefano Zampini   PC_IS             *pcis = (PC_IS*)(pc->data);
146250efa1b5SStefano Zampini   PC_BDDC           *pcbddc = (PC_BDDC*)(pc->data);
1463b097fa66SStefano Zampini   PetscInt          n_B = pcis->n_B, n_D = pcis->n - n_B;
146450efa1b5SStefano Zampini   PetscErrorCode    ierr;
146550efa1b5SStefano Zampini   const PetscScalar one = 1.0;
146650efa1b5SStefano Zampini   const PetscScalar m_one = -1.0;
146750efa1b5SStefano Zampini   const PetscScalar zero = 0.0;
146850efa1b5SStefano Zampini 
146950efa1b5SStefano Zampini   PetscFunctionBegin;
147050efa1b5SStefano Zampini   if (!pcbddc->use_exact_dirichlet_trick) {
1471b097fa66SStefano Zampini     ierr = VecCopy(r,z);CHKERRQ(ierr);
147250efa1b5SStefano Zampini     /* First Dirichlet solve */
147350efa1b5SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
147450efa1b5SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
147550efa1b5SStefano Zampini     /*
147650efa1b5SStefano Zampini       Assembling right hand side for BDDC operator
1477b097fa66SStefano Zampini       - pcis->vec1_D for the Dirichlet part (if needed, i.e. pcbddc->switch_static == PETSC_TRUE)
147850efa1b5SStefano Zampini       - pcis->vec1_B the interface part of the global vector z
147950efa1b5SStefano Zampini     */
1480b097fa66SStefano Zampini     if (n_D) {
1481b097fa66SStefano Zampini       ierr = KSPSolveTranspose(pcbddc->ksp_D,pcis->vec1_D,pcis->vec2_D);CHKERRQ(ierr);
148250efa1b5SStefano Zampini       ierr = VecScale(pcis->vec2_D,m_one);CHKERRQ(ierr);
148350efa1b5SStefano Zampini       if (pcbddc->switch_static) { ierr = MatMultTransposeAdd(pcis->A_II,pcis->vec2_D,pcis->vec1_D,pcis->vec1_D);CHKERRQ(ierr); }
1484b097fa66SStefano Zampini       ierr = MatMultTranspose(pcis->A_IB,pcis->vec2_D,pcis->vec1_B);CHKERRQ(ierr);
1485b097fa66SStefano Zampini     } else {
1486b097fa66SStefano Zampini       ierr = VecSet(pcis->vec1_B,zero);CHKERRQ(ierr);
1487b097fa66SStefano Zampini     }
148850efa1b5SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
148950efa1b5SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
149050efa1b5SStefano Zampini     ierr = PCBDDCScalingRestriction(pc,z,pcis->vec1_B);CHKERRQ(ierr);
149150efa1b5SStefano Zampini   } else {
1492b097fa66SStefano Zampini     if (pcbddc->switch_static) {
149350efa1b5SStefano Zampini       ierr = VecSet(pcis->vec1_D,zero);CHKERRQ(ierr);
1494b097fa66SStefano Zampini     }
149550efa1b5SStefano Zampini     ierr = PCBDDCScalingRestriction(pc,r,pcis->vec1_B);CHKERRQ(ierr);
149650efa1b5SStefano Zampini   }
149750efa1b5SStefano Zampini 
149850efa1b5SStefano Zampini   /* Apply interface preconditioner
149950efa1b5SStefano Zampini      input/output vecs: pcis->vec1_B and pcis->vec1_D */
1500dc359a40SStefano Zampini   ierr = PCBDDCApplyInterfacePreconditioner(pc,PETSC_TRUE);CHKERRQ(ierr);
150150efa1b5SStefano Zampini 
150250efa1b5SStefano Zampini   /* Apply transpose of partition of unity operator */
150350efa1b5SStefano Zampini   ierr = PCBDDCScalingExtension(pc,pcis->vec1_B,z);CHKERRQ(ierr);
150450efa1b5SStefano Zampini 
150550efa1b5SStefano Zampini   /* Second Dirichlet solve and assembling of output */
150650efa1b5SStefano Zampini   ierr = VecScatterBegin(pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
150750efa1b5SStefano Zampini   ierr = VecScatterEnd(pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1508b097fa66SStefano Zampini   if (n_B) {
150950efa1b5SStefano Zampini     ierr = MatMultTranspose(pcis->A_BI,pcis->vec1_B,pcis->vec3_D);CHKERRQ(ierr);
151050efa1b5SStefano Zampini     if (pcbddc->switch_static) { ierr = MatMultTransposeAdd(pcis->A_II,pcis->vec1_D,pcis->vec3_D,pcis->vec3_D);CHKERRQ(ierr); }
1511b097fa66SStefano Zampini   } else if (pcbddc->switch_static) {
1512b097fa66SStefano Zampini     ierr = MatMultTranspose(pcis->A_II,pcis->vec1_D,pcis->vec3_D);CHKERRQ(ierr);
1513b097fa66SStefano Zampini   }
1514b0147a47SStefano Zampini   ierr = KSPSolveTranspose(pcbddc->ksp_D,pcis->vec3_D,pcis->vec4_D);CHKERRQ(ierr);
1515b097fa66SStefano Zampini   if (!pcbddc->use_exact_dirichlet_trick) {
1516b097fa66SStefano Zampini     if (pcbddc->switch_static) {
1517b097fa66SStefano Zampini       ierr = VecAXPBYPCZ(pcis->vec2_D,m_one,one,m_one,pcis->vec4_D,pcis->vec1_D);CHKERRQ(ierr);
1518b097fa66SStefano Zampini     } else {
1519b097fa66SStefano Zampini       ierr = VecAXPBY(pcis->vec2_D,m_one,m_one,pcis->vec4_D);CHKERRQ(ierr);
1520b097fa66SStefano Zampini     }
152150efa1b5SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
152250efa1b5SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1523b097fa66SStefano Zampini   } else {
1524b097fa66SStefano Zampini     if (pcbddc->switch_static) {
1525b097fa66SStefano Zampini       ierr = VecAXPBY(pcis->vec4_D,one,m_one,pcis->vec1_D);CHKERRQ(ierr);
1526b097fa66SStefano Zampini     } else {
1527b097fa66SStefano Zampini       ierr = VecScale(pcis->vec4_D,m_one);CHKERRQ(ierr);
1528b097fa66SStefano Zampini     }
1529b097fa66SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_D,pcis->vec4_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1530b097fa66SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_D,pcis->vec4_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1531b097fa66SStefano Zampini   }
153250efa1b5SStefano Zampini   PetscFunctionReturn(0);
153350efa1b5SStefano Zampini }
1534da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */
1535674ae819SStefano Zampini 
1536da1bb401SStefano Zampini #undef __FUNCT__
1537da1bb401SStefano Zampini #define __FUNCT__ "PCDestroy_BDDC"
1538da1bb401SStefano Zampini PetscErrorCode PCDestroy_BDDC(PC pc)
1539da1bb401SStefano Zampini {
1540da1bb401SStefano Zampini   PC_BDDC        *pcbddc = (PC_BDDC*)pc->data;
1541da1bb401SStefano Zampini   PetscErrorCode ierr;
1542da1bb401SStefano Zampini 
1543da1bb401SStefano Zampini   PetscFunctionBegin;
1544da1bb401SStefano Zampini   /* free data created by PCIS */
1545da1bb401SStefano Zampini   ierr = PCISDestroy(pc);CHKERRQ(ierr);
1546674ae819SStefano Zampini   /* free BDDC custom data  */
1547674ae819SStefano Zampini   ierr = PCBDDCResetCustomization(pc);CHKERRQ(ierr);
1548674ae819SStefano Zampini   /* destroy objects related to topography */
1549674ae819SStefano Zampini   ierr = PCBDDCResetTopography(pc);CHKERRQ(ierr);
1550674ae819SStefano Zampini   /* free allocated graph structure */
1551da1bb401SStefano Zampini   ierr = PetscFree(pcbddc->mat_graph);CHKERRQ(ierr);
1552b96c3477SStefano Zampini   /* free allocated sub schurs structure */
1553b96c3477SStefano Zampini   ierr = PetscFree(pcbddc->sub_schurs);CHKERRQ(ierr);
155434a97f8cSStefano Zampini   /* destroy objects for scaling operator */
1555674ae819SStefano Zampini   ierr = PCBDDCScalingDestroy(pc);CHKERRQ(ierr);
155634a97f8cSStefano Zampini   ierr = PetscFree(pcbddc->deluxe_ctx);CHKERRQ(ierr);
1557674ae819SStefano Zampini   /* free solvers stuff */
1558674ae819SStefano Zampini   ierr = PCBDDCResetSolvers(pc);CHKERRQ(ierr);
155962a6ff1dSStefano Zampini   /* free global vectors needed in presolve */
156062a6ff1dSStefano Zampini   ierr = VecDestroy(&pcbddc->temp_solution);CHKERRQ(ierr);
156162a6ff1dSStefano Zampini   ierr = VecDestroy(&pcbddc->original_rhs);CHKERRQ(ierr);
1562906d46d4SStefano Zampini   /* free stuff for change of basis hooks */
1563906d46d4SStefano Zampini   if (pcbddc->new_global_mat) {
1564906d46d4SStefano Zampini     PCBDDCChange_ctx change_ctx;
1565906d46d4SStefano Zampini     ierr = MatShellGetContext(pcbddc->new_global_mat,&change_ctx);CHKERRQ(ierr);
1566906d46d4SStefano Zampini     ierr = MatDestroy(&change_ctx->original_mat);CHKERRQ(ierr);
1567906d46d4SStefano Zampini     ierr = MatDestroy(&change_ctx->global_change);CHKERRQ(ierr);
1568906d46d4SStefano Zampini     ierr = VecDestroyVecs(2,&change_ctx->work);CHKERRQ(ierr);
1569906d46d4SStefano Zampini     ierr = PetscFree(change_ctx);CHKERRQ(ierr);
1570906d46d4SStefano Zampini   }
1571906d46d4SStefano Zampini   ierr = MatDestroy(&pcbddc->new_global_mat);CHKERRQ(ierr);
15723425bc38SStefano Zampini   /* remove functions */
1573906d46d4SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetChangeOfBasisMat_C",NULL);CHKERRQ(ierr);
1574674ae819SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetPrimalVerticesLocalIS_C",NULL);CHKERRQ(ierr);
1575bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetCoarseningRatio_C",NULL);CHKERRQ(ierr);
15762b510759SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevel_C",NULL);CHKERRQ(ierr);
1577b8ffe317SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetUseExactDirichlet_C",NULL);CHKERRQ(ierr);
15782b510759SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevels_C",NULL);CHKERRQ(ierr);
1579bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNullSpace_C",NULL);CHKERRQ(ierr);
1580bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundaries_C",NULL);CHKERRQ(ierr);
158182ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundariesLocal_C",NULL);CHKERRQ(ierr);
1582bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundaries_C",NULL);CHKERRQ(ierr);
158382ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundariesLocal_C",NULL);CHKERRQ(ierr);
1584bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundaries_C",NULL);CHKERRQ(ierr);
158582ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundariesLocal_C",NULL);CHKERRQ(ierr);
1586bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundaries_C",NULL);CHKERRQ(ierr);
1587785d1243SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundariesLocal_C",NULL);CHKERRQ(ierr);
1588bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplitting_C",NULL);CHKERRQ(ierr);
158963602bcaSStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplittingLocal_C",NULL);CHKERRQ(ierr);
1590bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",NULL);CHKERRQ(ierr);
1591bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCCreateFETIDPOperators_C",NULL);CHKERRQ(ierr);
1592bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetRHS_C",NULL);CHKERRQ(ierr);
1593bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetSolution_C",NULL);CHKERRQ(ierr);
1594674ae819SStefano Zampini   /* Free the private data structure */
1595674ae819SStefano Zampini   ierr = PetscFree(pc->data);CHKERRQ(ierr);
1596da1bb401SStefano Zampini   PetscFunctionReturn(0);
1597da1bb401SStefano Zampini }
15983425bc38SStefano Zampini /* -------------------------------------------------------------------------- */
15991e6b0712SBarry Smith 
16003425bc38SStefano Zampini #undef __FUNCT__
16013425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetRHS_BDDC"
16023425bc38SStefano Zampini static PetscErrorCode PCBDDCMatFETIDPGetRHS_BDDC(Mat fetidp_mat, Vec standard_rhs, Vec fetidp_flux_rhs)
16033425bc38SStefano Zampini {
1604674ae819SStefano Zampini   FETIDPMat_ctx  mat_ctx;
1605c08af4c6SStefano Zampini   Vec            copy_standard_rhs;
16063425bc38SStefano Zampini   PC_IS*         pcis;
16073425bc38SStefano Zampini   PC_BDDC*       pcbddc;
16083425bc38SStefano Zampini   PetscErrorCode ierr;
16090c7d97c5SJed Brown 
16103425bc38SStefano Zampini   PetscFunctionBegin;
16113425bc38SStefano Zampini   ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr);
16123425bc38SStefano Zampini   pcis = (PC_IS*)mat_ctx->pc->data;
16133425bc38SStefano Zampini   pcbddc = (PC_BDDC*)mat_ctx->pc->data;
16143425bc38SStefano Zampini 
1615c08af4c6SStefano Zampini   /*
1616c08af4c6SStefano Zampini      change of basis for physical rhs if needed
1617c08af4c6SStefano Zampini      It also changes the rhs in case of dirichlet boundaries
1618c08af4c6SStefano Zampini      TODO: better management when FETIDP will have its own class
1619c08af4c6SStefano Zampini   */
1620c08af4c6SStefano Zampini   ierr = VecDuplicate(standard_rhs,&copy_standard_rhs);CHKERRQ(ierr);
1621c08af4c6SStefano Zampini   ierr = VecCopy(standard_rhs,copy_standard_rhs);CHKERRQ(ierr);
1622c08af4c6SStefano Zampini   ierr = PCPreSolve_BDDC(mat_ctx->pc,NULL,copy_standard_rhs,NULL);CHKERRQ(ierr);
16233425bc38SStefano Zampini   /* store vectors for computation of fetidp final solution */
1624c08af4c6SStefano Zampini   ierr = VecScatterBegin(pcis->global_to_D,copy_standard_rhs,mat_ctx->temp_solution_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1625c08af4c6SStefano Zampini   ierr = VecScatterEnd(pcis->global_to_D,copy_standard_rhs,mat_ctx->temp_solution_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1626fb223d50SStefano Zampini   /* scale rhs since it should be unassembled */
1627fb223d50SStefano Zampini   /* TODO use counter scaling? (also below) */
1628c08af4c6SStefano Zampini   ierr = VecScatterBegin(pcis->global_to_B,copy_standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1629c08af4c6SStefano Zampini   ierr = VecScatterEnd(pcis->global_to_B,copy_standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1630674ae819SStefano Zampini   /* Apply partition of unity */
16313425bc38SStefano Zampini   ierr = VecPointwiseMult(mat_ctx->temp_solution_B,pcis->D,mat_ctx->temp_solution_B);CHKERRQ(ierr);
1632c08af4c6SStefano Zampini   /* ierr = PCBDDCScalingRestriction(mat_ctx->pc,copy_standard_rhs,mat_ctx->temp_solution_B);CHKERRQ(ierr); */
16338eeda7d8SStefano Zampini   if (!pcbddc->switch_static) {
16343425bc38SStefano Zampini     /* compute partially subassembled Schur complement right-hand side */
16353425bc38SStefano Zampini     ierr = KSPSolve(pcbddc->ksp_D,mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr);
16363425bc38SStefano Zampini     ierr = MatMult(pcis->A_BI,pcis->vec1_D,pcis->vec1_B);CHKERRQ(ierr);
16373425bc38SStefano Zampini     ierr = VecAXPY(mat_ctx->temp_solution_B,-1.0,pcis->vec1_B);CHKERRQ(ierr);
1638c08af4c6SStefano Zampini     ierr = VecSet(copy_standard_rhs,0.0);CHKERRQ(ierr);
1639c08af4c6SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_B,mat_ctx->temp_solution_B,copy_standard_rhs,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1640c08af4c6SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_B,mat_ctx->temp_solution_B,copy_standard_rhs,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
1641c08af4c6SStefano Zampini     /* ierr = PCBDDCScalingRestriction(mat_ctx->pc,copy_standard_rhs,mat_ctx->temp_solution_B);CHKERRQ(ierr); */
1642c08af4c6SStefano Zampini     ierr = VecScatterBegin(pcis->global_to_B,copy_standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
1643c08af4c6SStefano Zampini     ierr = VecScatterEnd(pcis->global_to_B,copy_standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
16443425bc38SStefano Zampini     ierr = VecPointwiseMult(mat_ctx->temp_solution_B,pcis->D,mat_ctx->temp_solution_B);CHKERRQ(ierr);
16453425bc38SStefano Zampini   }
1646c08af4c6SStefano Zampini   ierr = VecDestroy(&copy_standard_rhs);CHKERRQ(ierr);
16473425bc38SStefano Zampini   /* BDDC rhs */
16483425bc38SStefano Zampini   ierr = VecCopy(mat_ctx->temp_solution_B,pcis->vec1_B);CHKERRQ(ierr);
16498eeda7d8SStefano Zampini   if (pcbddc->switch_static) {
16503425bc38SStefano Zampini     ierr = VecCopy(mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr);
16513425bc38SStefano Zampini   }
16523425bc38SStefano Zampini   /* apply BDDC */
1653dc359a40SStefano Zampini   ierr = PCBDDCApplyInterfacePreconditioner(mat_ctx->pc,PETSC_FALSE);CHKERRQ(ierr);
16543425bc38SStefano Zampini   /* Application of B_delta and assembling of rhs for fetidp fluxes */
16553425bc38SStefano Zampini   ierr = VecSet(fetidp_flux_rhs,0.0);CHKERRQ(ierr);
16563425bc38SStefano Zampini   ierr = MatMult(mat_ctx->B_delta,pcis->vec1_B,mat_ctx->lambda_local);CHKERRQ(ierr);
16573425bc38SStefano Zampini   ierr = VecScatterBegin(mat_ctx->l2g_lambda,mat_ctx->lambda_local,fetidp_flux_rhs,ADD_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
16583425bc38SStefano Zampini   ierr = VecScatterEnd(mat_ctx->l2g_lambda,mat_ctx->lambda_local,fetidp_flux_rhs,ADD_VALUES,SCATTER_FORWARD);CHKERRQ(ierr);
16593425bc38SStefano Zampini   PetscFunctionReturn(0);
16603425bc38SStefano Zampini }
16611e6b0712SBarry Smith 
16623425bc38SStefano Zampini #undef __FUNCT__
16633425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetRHS"
16643425bc38SStefano Zampini /*@
166528509bceSStefano Zampini  PCBDDCMatFETIDPGetRHS - Compute the right-hand side for FETIDP linear system
16663425bc38SStefano Zampini 
16673425bc38SStefano Zampini    Collective
16683425bc38SStefano Zampini 
16693425bc38SStefano Zampini    Input Parameters:
167028509bceSStefano Zampini +  fetidp_mat   - the FETIDP matrix object obtained by calling PCBDDCCreateFETIDPOperators
167128509bceSStefano Zampini .  standard_rhs - the right-hand side for your linear system
16723425bc38SStefano Zampini 
16733425bc38SStefano Zampini    Output Parameters:
167428509bceSStefano Zampini -  fetidp_flux_rhs   - the right-hand side for the FETIDP linear system
16753425bc38SStefano Zampini 
16763425bc38SStefano Zampini    Level: developer
16773425bc38SStefano Zampini 
16783425bc38SStefano Zampini    Notes:
16793425bc38SStefano Zampini 
168028509bceSStefano Zampini .seealso: PCBDDC,PCBDDCCreateFETIDPOperators
16813425bc38SStefano Zampini @*/
16823425bc38SStefano Zampini PetscErrorCode PCBDDCMatFETIDPGetRHS(Mat fetidp_mat, Vec standard_rhs, Vec fetidp_flux_rhs)
16833425bc38SStefano Zampini {
1684674ae819SStefano Zampini   FETIDPMat_ctx  mat_ctx;
16853425bc38SStefano Zampini   PetscErrorCode ierr;
16863425bc38SStefano Zampini 
16873425bc38SStefano Zampini   PetscFunctionBegin;
16883425bc38SStefano Zampini   ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr);
16893425bc38SStefano Zampini   ierr = PetscTryMethod(mat_ctx->pc,"PCBDDCMatFETIDPGetRHS_C",(Mat,Vec,Vec),(fetidp_mat,standard_rhs,fetidp_flux_rhs));CHKERRQ(ierr);
16903425bc38SStefano Zampini   PetscFunctionReturn(0);
16913425bc38SStefano Zampini }
16923425bc38SStefano Zampini /* -------------------------------------------------------------------------- */
16931e6b0712SBarry Smith 
16943425bc38SStefano Zampini #undef __FUNCT__
16953425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetSolution_BDDC"
16963425bc38SStefano Zampini static PetscErrorCode PCBDDCMatFETIDPGetSolution_BDDC(Mat fetidp_mat, Vec fetidp_flux_sol, Vec standard_sol)
16973425bc38SStefano Zampini {
1698674ae819SStefano Zampini   FETIDPMat_ctx  mat_ctx;
16993425bc38SStefano Zampini   PC_IS*         pcis;
17003425bc38SStefano Zampini   PC_BDDC*       pcbddc;
17013425bc38SStefano Zampini   PetscErrorCode ierr;
17023425bc38SStefano Zampini 
17033425bc38SStefano Zampini   PetscFunctionBegin;
17043425bc38SStefano Zampini   ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr);
17053425bc38SStefano Zampini   pcis = (PC_IS*)mat_ctx->pc->data;
17063425bc38SStefano Zampini   pcbddc = (PC_BDDC*)mat_ctx->pc->data;
17073425bc38SStefano Zampini 
17083425bc38SStefano Zampini   /* apply B_delta^T */
17093425bc38SStefano Zampini   ierr = VecScatterBegin(mat_ctx->l2g_lambda,fetidp_flux_sol,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17103425bc38SStefano Zampini   ierr = VecScatterEnd  (mat_ctx->l2g_lambda,fetidp_flux_sol,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17113425bc38SStefano Zampini   ierr = MatMultTranspose(mat_ctx->B_delta,mat_ctx->lambda_local,pcis->vec1_B);CHKERRQ(ierr);
17123425bc38SStefano Zampini   /* compute rhs for BDDC application */
17133425bc38SStefano Zampini   ierr = VecAYPX(pcis->vec1_B,-1.0,mat_ctx->temp_solution_B);CHKERRQ(ierr);
17148eeda7d8SStefano Zampini   if (pcbddc->switch_static) {
17153425bc38SStefano Zampini     ierr = VecCopy(mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr);
17163425bc38SStefano Zampini   }
17173425bc38SStefano Zampini   /* apply BDDC */
1718dc359a40SStefano Zampini   ierr = PCBDDCApplyInterfacePreconditioner(mat_ctx->pc,PETSC_FALSE);CHKERRQ(ierr);
17193425bc38SStefano Zampini   /* put values into standard global vector */
17203425bc38SStefano Zampini   ierr = VecScatterBegin(pcis->global_to_B,pcis->vec1_B,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17213425bc38SStefano Zampini   ierr = VecScatterEnd  (pcis->global_to_B,pcis->vec1_B,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17228eeda7d8SStefano Zampini   if (!pcbddc->switch_static) {
17233425bc38SStefano Zampini     /* compute values into the interior if solved for the partially subassembled Schur complement */
17243425bc38SStefano Zampini     ierr = MatMult(pcis->A_IB,pcis->vec1_B,pcis->vec1_D);CHKERRQ(ierr);
17253425bc38SStefano Zampini     ierr = VecAXPY(mat_ctx->temp_solution_D,-1.0,pcis->vec1_D);CHKERRQ(ierr);
17263425bc38SStefano Zampini     ierr = KSPSolve(pcbddc->ksp_D,mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr);
17273425bc38SStefano Zampini   }
17283425bc38SStefano Zampini   ierr = VecScatterBegin(pcis->global_to_D,pcis->vec1_D,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17293425bc38SStefano Zampini   ierr = VecScatterEnd  (pcis->global_to_D,pcis->vec1_D,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr);
17303425bc38SStefano Zampini   /* final change of basis if needed
17313425bc38SStefano Zampini      Is also sums the dirichlet part removed during RHS assembling */
17323308cffdSStefano Zampini   ierr = PCPostSolve_BDDC(mat_ctx->pc,NULL,NULL,standard_sol);CHKERRQ(ierr);
17333425bc38SStefano Zampini   PetscFunctionReturn(0);
17343425bc38SStefano Zampini }
17351e6b0712SBarry Smith 
17363425bc38SStefano Zampini #undef __FUNCT__
17373425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetSolution"
17383425bc38SStefano Zampini /*@
173928509bceSStefano Zampini  PCBDDCMatFETIDPGetSolution - Compute the physical solution from the solution of the FETIDP linear system
17403425bc38SStefano Zampini 
17413425bc38SStefano Zampini    Collective
17423425bc38SStefano Zampini 
17433425bc38SStefano Zampini    Input Parameters:
174428509bceSStefano Zampini +  fetidp_mat        - the FETIDP matrix obtained by calling PCBDDCCreateFETIDPOperators
174528509bceSStefano Zampini .  fetidp_flux_sol - the solution of the FETIDP linear system
17463425bc38SStefano Zampini 
17473425bc38SStefano Zampini    Output Parameters:
174828509bceSStefano Zampini -  standard_sol      - the solution defined on the physical domain
17493425bc38SStefano Zampini 
17503425bc38SStefano Zampini    Level: developer
17513425bc38SStefano Zampini 
17523425bc38SStefano Zampini    Notes:
17533425bc38SStefano Zampini 
175428509bceSStefano Zampini .seealso: PCBDDC,PCBDDCCreateFETIDPOperators
17553425bc38SStefano Zampini @*/
17563425bc38SStefano Zampini PetscErrorCode PCBDDCMatFETIDPGetSolution(Mat fetidp_mat, Vec fetidp_flux_sol, Vec standard_sol)
17573425bc38SStefano Zampini {
1758674ae819SStefano Zampini   FETIDPMat_ctx  mat_ctx;
17593425bc38SStefano Zampini   PetscErrorCode ierr;
17603425bc38SStefano Zampini 
17613425bc38SStefano Zampini   PetscFunctionBegin;
17623425bc38SStefano Zampini   ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr);
17633425bc38SStefano Zampini   ierr = PetscTryMethod(mat_ctx->pc,"PCBDDCMatFETIDPGetSolution_C",(Mat,Vec,Vec),(fetidp_mat,fetidp_flux_sol,standard_sol));CHKERRQ(ierr);
17643425bc38SStefano Zampini   PetscFunctionReturn(0);
17653425bc38SStefano Zampini }
17663425bc38SStefano Zampini /* -------------------------------------------------------------------------- */
17671e6b0712SBarry Smith 
1768f23aa3ddSBarry Smith extern PetscErrorCode FETIDPMatMult(Mat,Vec,Vec);
1769edf7251bSStefano Zampini extern PetscErrorCode FETIDPMatMultTranspose(Mat,Vec,Vec);
1770f23aa3ddSBarry Smith extern PetscErrorCode PCBDDCDestroyFETIDPMat(Mat);
1771f23aa3ddSBarry Smith extern PetscErrorCode FETIDPPCApply(PC,Vec,Vec);
1772edf7251bSStefano Zampini extern PetscErrorCode FETIDPPCApplyTranspose(PC,Vec,Vec);
1773f23aa3ddSBarry Smith extern PetscErrorCode PCBDDCDestroyFETIDPPC(PC);
1774674ae819SStefano Zampini 
17753425bc38SStefano Zampini #undef __FUNCT__
17763425bc38SStefano Zampini #define __FUNCT__ "PCBDDCCreateFETIDPOperators_BDDC"
17773425bc38SStefano Zampini static PetscErrorCode PCBDDCCreateFETIDPOperators_BDDC(PC pc, Mat *fetidp_mat, PC *fetidp_pc)
17783425bc38SStefano Zampini {
1779674ae819SStefano Zampini 
1780674ae819SStefano Zampini   FETIDPMat_ctx  fetidpmat_ctx;
17813425bc38SStefano Zampini   Mat            newmat;
1782674ae819SStefano Zampini   FETIDPPC_ctx   fetidppc_ctx;
17833425bc38SStefano Zampini   PC             newpc;
1784ce94432eSBarry Smith   MPI_Comm       comm;
17853425bc38SStefano Zampini   PetscErrorCode ierr;
17863425bc38SStefano Zampini 
17873425bc38SStefano Zampini   PetscFunctionBegin;
1788ce94432eSBarry Smith   ierr = PetscObjectGetComm((PetscObject)pc,&comm);CHKERRQ(ierr);
17893425bc38SStefano Zampini   /* FETIDP linear matrix */
17903425bc38SStefano Zampini   ierr = PCBDDCCreateFETIDPMatContext(pc,&fetidpmat_ctx);CHKERRQ(ierr);
17913425bc38SStefano Zampini   ierr = PCBDDCSetupFETIDPMatContext(fetidpmat_ctx);CHKERRQ(ierr);
17923425bc38SStefano Zampini   ierr = MatCreateShell(comm,PETSC_DECIDE,PETSC_DECIDE,fetidpmat_ctx->n_lambda,fetidpmat_ctx->n_lambda,fetidpmat_ctx,&newmat);CHKERRQ(ierr);
17933425bc38SStefano Zampini   ierr = MatShellSetOperation(newmat,MATOP_MULT,(void (*)(void))FETIDPMatMult);CHKERRQ(ierr);
1794edf7251bSStefano Zampini   ierr = MatShellSetOperation(newmat,MATOP_MULT_TRANSPOSE,(void (*)(void))FETIDPMatMultTranspose);CHKERRQ(ierr);
17953425bc38SStefano Zampini   ierr = MatShellSetOperation(newmat,MATOP_DESTROY,(void (*)(void))PCBDDCDestroyFETIDPMat);CHKERRQ(ierr);
17963425bc38SStefano Zampini   ierr = MatSetUp(newmat);CHKERRQ(ierr);
17973425bc38SStefano Zampini   /* FETIDP preconditioner */
17983425bc38SStefano Zampini   ierr = PCBDDCCreateFETIDPPCContext(pc,&fetidppc_ctx);CHKERRQ(ierr);
17993425bc38SStefano Zampini   ierr = PCBDDCSetupFETIDPPCContext(newmat,fetidppc_ctx);CHKERRQ(ierr);
18003425bc38SStefano Zampini   ierr = PCCreate(comm,&newpc);CHKERRQ(ierr);
18013425bc38SStefano Zampini   ierr = PCSetType(newpc,PCSHELL);CHKERRQ(ierr);
18023425bc38SStefano Zampini   ierr = PCShellSetContext(newpc,fetidppc_ctx);CHKERRQ(ierr);
18033425bc38SStefano Zampini   ierr = PCShellSetApply(newpc,FETIDPPCApply);CHKERRQ(ierr);
1804edf7251bSStefano Zampini   ierr = PCShellSetApplyTranspose(newpc,FETIDPPCApplyTranspose);CHKERRQ(ierr);
18053425bc38SStefano Zampini   ierr = PCShellSetDestroy(newpc,PCBDDCDestroyFETIDPPC);CHKERRQ(ierr);
180623ee1639SBarry Smith   ierr = PCSetOperators(newpc,newmat,newmat);CHKERRQ(ierr);
18073425bc38SStefano Zampini   ierr = PCSetUp(newpc);CHKERRQ(ierr);
18083425bc38SStefano Zampini   /* return pointers for objects created */
18093425bc38SStefano Zampini   *fetidp_mat=newmat;
18103425bc38SStefano Zampini   *fetidp_pc=newpc;
18113425bc38SStefano Zampini   PetscFunctionReturn(0);
18123425bc38SStefano Zampini }
18131e6b0712SBarry Smith 
18143425bc38SStefano Zampini #undef __FUNCT__
18153425bc38SStefano Zampini #define __FUNCT__ "PCBDDCCreateFETIDPOperators"
18163425bc38SStefano Zampini /*@
181728509bceSStefano Zampini  PCBDDCCreateFETIDPOperators - Create operators for FETIDP
18183425bc38SStefano Zampini 
18193425bc38SStefano Zampini    Collective
18203425bc38SStefano Zampini 
18213425bc38SStefano Zampini    Input Parameters:
182228509bceSStefano Zampini +  pc - the BDDC preconditioning context already setup
182328509bceSStefano Zampini 
182428509bceSStefano Zampini    Output Parameters:
182528509bceSStefano Zampini .  fetidp_mat - shell FETIDP matrix object
182628509bceSStefano Zampini .  fetidp_pc  - shell Dirichlet preconditioner for FETIDP matrix
182728509bceSStefano Zampini 
182828509bceSStefano Zampini    Options Database Keys:
182928509bceSStefano Zampini -    -fetidp_fullyredundant: use or not a fully redundant set of Lagrange multipliers
18303425bc38SStefano Zampini 
18313425bc38SStefano Zampini    Level: developer
18323425bc38SStefano Zampini 
18333425bc38SStefano Zampini    Notes:
183428509bceSStefano Zampini      Currently the only operation provided for FETIDP matrix is MatMult
18353425bc38SStefano Zampini 
18363425bc38SStefano Zampini .seealso: PCBDDC
18373425bc38SStefano Zampini @*/
18383425bc38SStefano Zampini PetscErrorCode PCBDDCCreateFETIDPOperators(PC pc, Mat *fetidp_mat, PC *fetidp_pc)
18393425bc38SStefano Zampini {
18403425bc38SStefano Zampini   PetscErrorCode ierr;
18413425bc38SStefano Zampini 
18423425bc38SStefano Zampini   PetscFunctionBegin;
18433425bc38SStefano Zampini   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
18443425bc38SStefano Zampini   if (pc->setupcalled) {
1845516d51a7SStefano Zampini     ierr = PetscUseMethod(pc,"PCBDDCCreateFETIDPOperators_C",(PC,Mat*,PC*),(pc,fetidp_mat,fetidp_pc));CHKERRQ(ierr);
1846f23aa3ddSBarry Smith   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"You must call PCSetup_BDDC() first \n");
18473425bc38SStefano Zampini   PetscFunctionReturn(0);
18483425bc38SStefano Zampini }
18490c7d97c5SJed Brown /* -------------------------------------------------------------------------- */
1850da1bb401SStefano Zampini /*MC
1851da1bb401SStefano Zampini    PCBDDC - Balancing Domain Decomposition by Constraints.
18520c7d97c5SJed Brown 
185328509bceSStefano Zampini    An implementation of the BDDC preconditioner based on
185428509bceSStefano Zampini 
185528509bceSStefano Zampini .vb
185628509bceSStefano Zampini    [1] C. R. Dohrmann. "An approximate BDDC preconditioner", Numerical Linear Algebra with Applications Volume 14, Issue 2, pages 149-168, March 2007
185728509bceSStefano Zampini    [2] A. Klawonn and O. B. Widlund. "Dual-Primal FETI Methods for Linear Elasticity", http://cs.nyu.edu/csweb/Research/TechReports/TR2004-855/TR2004-855.pdf
185828509bceSStefano Zampini    [3] J. Mandel, B. Sousedik, C. R. Dohrmann. "Multispace and Multilevel BDDC", http://arxiv.org/abs/0712.3977
185928509bceSStefano Zampini .ve
186028509bceSStefano Zampini 
186128509bceSStefano Zampini    The matrix to be preconditioned (Pmat) must be of type MATIS.
186228509bceSStefano Zampini 
1863b6fdb6dfSStefano Zampini    Currently works with MATIS matrices with local Neumann matrices of type MATSEQAIJ, MATSEQBAIJ or MATSEQSBAIJ, either with real or complex numbers.
186428509bceSStefano Zampini 
186528509bceSStefano Zampini    It also works with unsymmetric and indefinite problems.
186628509bceSStefano Zampini 
1867b6fdb6dfSStefano Zampini    Unlike 'conventional' interface preconditioners, PCBDDC iterates over all degrees of freedom, not just those on the interface. This allows the use of approximate solvers on the subdomains.
1868b6fdb6dfSStefano Zampini 
186928509bceSStefano Zampini    Approximate local solvers are automatically adapted for singular linear problems (see [1]) if the user has provided the nullspace using PCBDDCSetNullSpace
187028509bceSStefano Zampini 
18716a818285SBarry Smith    Boundary nodes are split in vertices, edges and faces using information from the local to global mapping of dofs and the local connectivity graph of nodes. The latter can be customized by using PCBDDCSetLocalAdjacencyGraph()
187228509bceSStefano Zampini 
18736a818285SBarry Smith    Constraints can be customized by attaching a MatNullSpace object to the MATIS matrix via MatSetNearNullSpace().
187428509bceSStefano Zampini 
1875b6fdb6dfSStefano Zampini    Change of basis is performed similarly to [2] when requested. When more the one constraint is present on a single connected component (i.e. an edge or a face), a robust method based on local QR factorizations is used.
187628509bceSStefano Zampini 
187728509bceSStefano Zampini    The PETSc implementation also supports multilevel BDDC [3]. Coarse grids are partitioned using MatPartitioning object.
187828509bceSStefano Zampini 
1879da1bb401SStefano Zampini    Options Database Keys:
188028509bceSStefano Zampini 
188128509bceSStefano Zampini .    -pc_bddc_use_vertices <1> - use or not vertices in primal space
188228509bceSStefano Zampini .    -pc_bddc_use_edges <1> - use or not edges in primal space
1883b6fdb6dfSStefano Zampini .    -pc_bddc_use_faces <0> - use or not faces in primal space
188428509bceSStefano Zampini .    -pc_bddc_use_change_of_basis <0> - use change of basis approach (on edges only)
188528509bceSStefano Zampini .    -pc_bddc_use_change_on_faces <0> - use change of basis approach on faces if change of basis has been requested
188628509bceSStefano Zampini .    -pc_bddc_switch_static <0> - switches from M_2 to M_3 operator (see reference article [1])
188728509bceSStefano Zampini .    -pc_bddc_levels <0> - maximum number of levels for multilevel
188828509bceSStefano Zampini .    -pc_bddc_coarsening_ratio - H/h ratio at the coarser level
188928509bceSStefano Zampini -    -pc_bddc_check_level <0> - set verbosity level of debugging output
189028509bceSStefano Zampini 
189128509bceSStefano Zampini    Options for Dirichlet, Neumann or coarse solver can be set with
189228509bceSStefano Zampini .vb
189328509bceSStefano Zampini       -pc_bddc_dirichlet_
189428509bceSStefano Zampini       -pc_bddc_neumann_
189528509bceSStefano Zampini       -pc_bddc_coarse_
189628509bceSStefano Zampini .ve
189728509bceSStefano Zampini    e.g -pc_bddc_dirichlet_ksp_type richardson -pc_bddc_dirichlet_pc_type gamg
189828509bceSStefano Zampini 
189928509bceSStefano Zampini    When using a multilevel approach, solvers' options at the N-th level can be specified as
190028509bceSStefano Zampini .vb
1901312be037SStefano Zampini       -pc_bddc_dirichlet_lN_
1902312be037SStefano Zampini       -pc_bddc_neumann_lN_
1903312be037SStefano Zampini       -pc_bddc_coarse_lN_
190428509bceSStefano Zampini .ve
1905312be037SStefano Zampini    Note that level number ranges from the finest 0 to the coarsest N.
1906da1bb401SStefano Zampini 
1907da1bb401SStefano Zampini    Level: intermediate
1908da1bb401SStefano Zampini 
1909b6fdb6dfSStefano Zampini    Developer notes:
1910da1bb401SStefano Zampini 
191128509bceSStefano Zampini    New deluxe scaling operator will be available soon.
1912da1bb401SStefano Zampini 
1913da1bb401SStefano Zampini    Contributed by Stefano Zampini
1914da1bb401SStefano Zampini 
1915da1bb401SStefano Zampini .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PC,  MATIS
1916da1bb401SStefano Zampini M*/
1917b2573a8aSBarry Smith 
1918da1bb401SStefano Zampini #undef __FUNCT__
1919da1bb401SStefano Zampini #define __FUNCT__ "PCCreate_BDDC"
19208cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_BDDC(PC pc)
1921da1bb401SStefano Zampini {
1922da1bb401SStefano Zampini   PetscErrorCode      ierr;
1923da1bb401SStefano Zampini   PC_BDDC             *pcbddc;
1924da1bb401SStefano Zampini 
1925da1bb401SStefano Zampini   PetscFunctionBegin;
1926da1bb401SStefano Zampini   /* Creates the private data structure for this preconditioner and attach it to the PC object. */
1927b00a9115SJed Brown   ierr      = PetscNewLog(pc,&pcbddc);CHKERRQ(ierr);
1928da1bb401SStefano Zampini   pc->data  = (void*)pcbddc;
1929da1bb401SStefano Zampini 
1930da1bb401SStefano Zampini   /* create PCIS data structure */
1931da1bb401SStefano Zampini   ierr = PCISCreate(pc);CHKERRQ(ierr);
1932da1bb401SStefano Zampini 
193347d04d0dSStefano Zampini   /* BDDC customization */
193408a5cf49SStefano Zampini   pcbddc->use_local_adj       = PETSC_TRUE;
193547d04d0dSStefano Zampini   pcbddc->use_vertices        = PETSC_TRUE;
193647d04d0dSStefano Zampini   pcbddc->use_edges           = PETSC_TRUE;
193747d04d0dSStefano Zampini   pcbddc->use_faces           = PETSC_FALSE;
193847d04d0dSStefano Zampini   pcbddc->use_change_of_basis = PETSC_FALSE;
193947d04d0dSStefano Zampini   pcbddc->use_change_on_faces = PETSC_FALSE;
194047d04d0dSStefano Zampini   pcbddc->switch_static       = PETSC_FALSE;
1941fa434743SStefano Zampini   pcbddc->use_nnsp_true       = PETSC_FALSE;
1942fa434743SStefano Zampini   pcbddc->use_qr_single       = PETSC_FALSE;
1943*3301b35fSStefano Zampini   pcbddc->symmetric_primal    = PETSC_TRUE;
194447d04d0dSStefano Zampini   pcbddc->dbg_flag            = 0;
1945b9d89cd5SStefano Zampini   /* private */
1946727cdba6SStefano Zampini   pcbddc->local_primal_size          = 0;
19470e6343abSStefano Zampini   pcbddc->local_primal_size_cc       = 0;
19480e6343abSStefano Zampini   pcbddc->local_primal_ref_node      = 0;
19490e6343abSStefano Zampini   pcbddc->local_primal_ref_mult      = 0;
1950e9189074SStefano Zampini   pcbddc->n_vertices                 = 0;
1951727cdba6SStefano Zampini   pcbddc->primal_indices_local_idxs  = 0;
1952fb180af4SStefano Zampini   pcbddc->recompute_topography       = PETSC_FALSE;
195368457ee5SStefano Zampini   pcbddc->coarse_size                = -1;
1954f4ddd8eeSStefano Zampini   pcbddc->new_primal_space           = PETSC_FALSE;
1955727cdba6SStefano Zampini   pcbddc->new_primal_space_local     = PETSC_FALSE;
1956f4ddd8eeSStefano Zampini   pcbddc->global_primal_indices      = 0;
1957f4ddd8eeSStefano Zampini   pcbddc->onearnullspace             = 0;
1958f4ddd8eeSStefano Zampini   pcbddc->onearnullvecs_state        = 0;
1959674ae819SStefano Zampini   pcbddc->user_primal_vertices       = 0;
19600bdf917eSStefano Zampini   pcbddc->NullSpace                  = 0;
19613972b0daSStefano Zampini   pcbddc->temp_solution              = 0;
1962534831adSStefano Zampini   pcbddc->original_rhs               = 0;
1963534831adSStefano Zampini   pcbddc->local_mat                  = 0;
1964534831adSStefano Zampini   pcbddc->ChangeOfBasisMatrix        = 0;
1965b9b85e73SStefano Zampini   pcbddc->user_ChangeOfBasisMatrix   = 0;
1966906d46d4SStefano Zampini   pcbddc->new_global_mat             = 0;
1967da1bb401SStefano Zampini   pcbddc->coarse_vec                 = 0;
1968da1bb401SStefano Zampini   pcbddc->coarse_ksp                 = 0;
1969da1bb401SStefano Zampini   pcbddc->coarse_phi_B               = 0;
1970da1bb401SStefano Zampini   pcbddc->coarse_phi_D               = 0;
197115aaf578SStefano Zampini   pcbddc->coarse_psi_B               = 0;
197215aaf578SStefano Zampini   pcbddc->coarse_psi_D               = 0;
1973da1bb401SStefano Zampini   pcbddc->vec1_P                     = 0;
1974da1bb401SStefano Zampini   pcbddc->vec1_R                     = 0;
1975da1bb401SStefano Zampini   pcbddc->vec2_R                     = 0;
1976da1bb401SStefano Zampini   pcbddc->local_auxmat1              = 0;
1977da1bb401SStefano Zampini   pcbddc->local_auxmat2              = 0;
1978da1bb401SStefano Zampini   pcbddc->R_to_B                     = 0;
1979da1bb401SStefano Zampini   pcbddc->R_to_D                     = 0;
1980da1bb401SStefano Zampini   pcbddc->ksp_D                      = 0;
1981da1bb401SStefano Zampini   pcbddc->ksp_R                      = 0;
1982da1bb401SStefano Zampini   pcbddc->NeumannBoundaries          = 0;
1983785d1243SStefano Zampini   pcbddc->NeumannBoundariesLocal     = 0;
1984785d1243SStefano Zampini   pcbddc->DirichletBoundaries        = 0;
1985785d1243SStefano Zampini   pcbddc->DirichletBoundariesLocal   = 0;
198660d44989SStefano Zampini   pcbddc->user_provided_isfordofs    = PETSC_FALSE;
198760d44989SStefano Zampini   pcbddc->n_ISForDofs                = 0;
198863602bcaSStefano Zampini   pcbddc->n_ISForDofsLocal           = 0;
1989da1bb401SStefano Zampini   pcbddc->ISForDofs                  = 0;
199063602bcaSStefano Zampini   pcbddc->ISForDofsLocal             = 0;
1991da1bb401SStefano Zampini   pcbddc->ConstraintMatrix           = 0;
199285c4d303SStefano Zampini   pcbddc->use_exact_dirichlet_trick  = PETSC_TRUE;
199347d04d0dSStefano Zampini   pcbddc->coarse_loc_to_glob         = 0;
199447d04d0dSStefano Zampini   pcbddc->coarsening_ratio           = 8;
19954fad6a16SStefano Zampini   pcbddc->current_level              = 0;
19962b510759SStefano Zampini   pcbddc->max_levels                 = 0;
1997323d395dSStefano Zampini   pcbddc->use_coarse_estimates       = PETSC_FALSE;
199874e2c79eSStefano Zampini   pcbddc->redistribute_coarse        = 0;
1999f3bde8b3SStefano Zampini   pcbddc->coarse_subassembling       = 0;
2000323d395dSStefano Zampini   pcbddc->coarse_subassembling_init  = 0;
2001da1bb401SStefano Zampini 
2002674ae819SStefano Zampini   /* create local graph structure */
2003674ae819SStefano Zampini   ierr = PCBDDCGraphCreate(&pcbddc->mat_graph);CHKERRQ(ierr);
2004674ae819SStefano Zampini 
2005674ae819SStefano Zampini   /* scaling */
2006674ae819SStefano Zampini   pcbddc->work_scaling          = 0;
200734a97f8cSStefano Zampini   pcbddc->use_deluxe_scaling    = PETSC_FALSE;
2008ac632422SStefano Zampini   pcbddc->faster_deluxe         = PETSC_FALSE;
2009b96c3477SStefano Zampini 
2010b96c3477SStefano Zampini   /* create sub schurs structure */
2011b96c3477SStefano Zampini   ierr = PCBDDCSubSchursCreate(&pcbddc->sub_schurs);CHKERRQ(ierr);
2012b96c3477SStefano Zampini   pcbddc->sub_schurs_rebuild     = PETSC_FALSE;
2013b96c3477SStefano Zampini   pcbddc->sub_schurs_layers      = -1;
2014b96c3477SStefano Zampini   pcbddc->sub_schurs_use_useradj = PETSC_FALSE;
2015b96c3477SStefano Zampini 
2016b96c3477SStefano Zampini   pcbddc->computed_rowadj = PETSC_FALSE;
2017da1bb401SStefano Zampini 
2018b7eb3628SStefano Zampini   /* adaptivity */
2019f6f667cfSStefano Zampini   pcbddc->adaptive_threshold      = 0.0;
202008122e43SStefano Zampini   pcbddc->adaptive_nmax           = 0;
2021f6f667cfSStefano Zampini   pcbddc->adaptive_nmin           = 0;
2022b7eb3628SStefano Zampini 
2023da1bb401SStefano Zampini   /* function pointers */
2024da1bb401SStefano Zampini   pc->ops->apply               = PCApply_BDDC;
202593bd9ae7SStefano Zampini   pc->ops->applytranspose      = PCApplyTranspose_BDDC;
2026da1bb401SStefano Zampini   pc->ops->setup               = PCSetUp_BDDC;
2027da1bb401SStefano Zampini   pc->ops->destroy             = PCDestroy_BDDC;
2028da1bb401SStefano Zampini   pc->ops->setfromoptions      = PCSetFromOptions_BDDC;
2029da1bb401SStefano Zampini   pc->ops->view                = 0;
2030da1bb401SStefano Zampini   pc->ops->applyrichardson     = 0;
2031da1bb401SStefano Zampini   pc->ops->applysymmetricleft  = 0;
2032da1bb401SStefano Zampini   pc->ops->applysymmetricright = 0;
2033534831adSStefano Zampini   pc->ops->presolve            = PCPreSolve_BDDC;
2034534831adSStefano Zampini   pc->ops->postsolve           = PCPostSolve_BDDC;
2035da1bb401SStefano Zampini 
2036da1bb401SStefano Zampini   /* composing function */
2037906d46d4SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetChangeOfBasisMat_C",PCBDDCSetChangeOfBasisMat_BDDC);CHKERRQ(ierr);
2038674ae819SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetPrimalVerticesLocalIS_C",PCBDDCSetPrimalVerticesLocalIS_BDDC);CHKERRQ(ierr);
2039bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetCoarseningRatio_C",PCBDDCSetCoarseningRatio_BDDC);CHKERRQ(ierr);
20402b510759SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevel_C",PCBDDCSetLevel_BDDC);CHKERRQ(ierr);
2041b8ffe317SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetUseExactDirichlet_C",PCBDDCSetUseExactDirichlet_BDDC);CHKERRQ(ierr);
20422b510759SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevels_C",PCBDDCSetLevels_BDDC);CHKERRQ(ierr);
2043bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNullSpace_C",PCBDDCSetNullSpace_BDDC);CHKERRQ(ierr);
2044bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundaries_C",PCBDDCSetDirichletBoundaries_BDDC);CHKERRQ(ierr);
204582ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundariesLocal_C",PCBDDCSetDirichletBoundariesLocal_BDDC);CHKERRQ(ierr);
2046bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundaries_C",PCBDDCSetNeumannBoundaries_BDDC);CHKERRQ(ierr);
204782ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundariesLocal_C",PCBDDCSetNeumannBoundariesLocal_BDDC);CHKERRQ(ierr);
2048bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundaries_C",PCBDDCGetDirichletBoundaries_BDDC);CHKERRQ(ierr);
204982ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundariesLocal_C",PCBDDCGetDirichletBoundariesLocal_BDDC);CHKERRQ(ierr);
2050bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundaries_C",PCBDDCGetNeumannBoundaries_BDDC);CHKERRQ(ierr);
205182ba6b80SStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundariesLocal_C",PCBDDCGetNeumannBoundariesLocal_BDDC);CHKERRQ(ierr);
2052bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplitting_C",PCBDDCSetDofsSplitting_BDDC);CHKERRQ(ierr);
205363602bcaSStefano Zampini   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplittingLocal_C",PCBDDCSetDofsSplittingLocal_BDDC);CHKERRQ(ierr);
2054bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",PCBDDCSetLocalAdjacencyGraph_BDDC);CHKERRQ(ierr);
2055bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCCreateFETIDPOperators_C",PCBDDCCreateFETIDPOperators_BDDC);CHKERRQ(ierr);
2056bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetRHS_C",PCBDDCMatFETIDPGetRHS_BDDC);CHKERRQ(ierr);
2057bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetSolution_C",PCBDDCMatFETIDPGetSolution_BDDC);CHKERRQ(ierr);
2058da1bb401SStefano Zampini   PetscFunctionReturn(0);
2059da1bb401SStefano Zampini }
20603425bc38SStefano Zampini 
2061