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,©_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(©_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