153cdbc3dSStefano Zampini /* TODOLIST 2eb97c9d2SStefano Zampini 3eb97c9d2SStefano Zampini ConstraintsSetup 4eb97c9d2SStefano Zampini - tolerances for constraints as an option (take care of single precision!) 5c1c8e736SStefano Zampini - Can MAT_IGNORE_ZERO_ENTRIES be used for Constraints Matrix? 6eb97c9d2SStefano Zampini 7eb97c9d2SStefano Zampini Solvers 8eb97c9d2SStefano Zampini - Add support for reuse fill and cholecky factor for coarse solver (similar to local solvers) 9eb97c9d2SStefano Zampini - Propagate ksp prefixes for solvers to mat objects? 10eb97c9d2SStefano Zampini - Propagate nearnullspace info among levels 11eb97c9d2SStefano Zampini 12eb97c9d2SStefano Zampini User interface 13eb97c9d2SStefano Zampini - Change SetNeumannBoundaries to SetNeumannBoundariesLocal and provide new SetNeumannBoundaries (same Dirichlet) 14c1c8e736SStefano Zampini - Negative indices in dirichlet and Neumann ISs should be skipped (now they cause out-of-bounds access) 15eb97c9d2SStefano Zampini - Provide PCApplyTranpose_BDDC 16eb97c9d2SStefano Zampini - DofSplitting and DM attached to pc? 17eb97c9d2SStefano Zampini 18eb97c9d2SStefano Zampini Debugging output 19eb97c9d2SStefano Zampini - Better management of verbosity levels of debugging output 20eb97c9d2SStefano Zampini 21eb97c9d2SStefano Zampini Build 22eb97c9d2SStefano Zampini - make runexe59 23eb97c9d2SStefano Zampini 24eb97c9d2SStefano Zampini Extra 25eb97c9d2SStefano Zampini - Is it possible to work with PCBDDCGraph on boundary indices only (less memory consumed)? 26eb97c9d2SStefano Zampini - Why options for "pc_bddc_coarse" solver gets propagated to "pc_bddc_coarse_1" solver? 27eb97c9d2SStefano Zampini - add support for computing h,H and related using coordinates? 28c0b83709SStefano Zampini - Change of basis approach does not work with my nonlinear mechanics example. why? (seems not an issue with l2gmap) 29eb97c9d2SStefano Zampini - Better management in PCIS code 30eb97c9d2SStefano Zampini - BDDC with MG framework? 31eb97c9d2SStefano Zampini 32eb97c9d2SStefano Zampini FETIDP 33eb97c9d2SStefano Zampini - Move FETIDP code to its own classes 34eb97c9d2SStefano Zampini 35eb97c9d2SStefano Zampini MATIS related operations contained in BDDC code 36eb97c9d2SStefano Zampini - Provide general case for subassembling 3739e2fb2aSStefano Zampini - Preallocation routines in MatISGetMPIAXAIJ 38eb97c9d2SStefano Zampini 3953cdbc3dSStefano Zampini */ 400c7d97c5SJed Brown 4153cdbc3dSStefano Zampini /* ---------------------------------------------------------------------------------------------------------------------------------------------- 420c7d97c5SJed Brown Implementation of BDDC preconditioner based on: 430c7d97c5SJed Brown C. Dohrmann "An approximate BDDC preconditioner", Numerical Linear Algebra with Applications Volume 14, Issue 2, pages 149-168, March 2007 4453cdbc3dSStefano Zampini ---------------------------------------------------------------------------------------------------------------------------------------------- */ 4553cdbc3dSStefano Zampini 46674ae819SStefano Zampini #include "bddc.h" /*I "petscpc.h" I*/ /* includes for fortran wrappers */ 47674ae819SStefano Zampini #include "bddcprivate.h" 483b03a366Sstefano_zampini #include <petscblaslapack.h> 49674ae819SStefano Zampini 500c7d97c5SJed Brown /* -------------------------------------------------------------------------- */ 510c7d97c5SJed Brown #undef __FUNCT__ 520c7d97c5SJed Brown #define __FUNCT__ "PCSetFromOptions_BDDC" 530c7d97c5SJed Brown PetscErrorCode PCSetFromOptions_BDDC(PC pc) 540c7d97c5SJed Brown { 550c7d97c5SJed Brown PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 560c7d97c5SJed Brown PetscErrorCode ierr; 570c7d97c5SJed Brown 580c7d97c5SJed Brown PetscFunctionBegin; 590c7d97c5SJed Brown ierr = PetscOptionsHead("BDDC options");CHKERRQ(ierr); 608eeda7d8SStefano Zampini /* Verbose debugging */ 618eeda7d8SStefano Zampini ierr = PetscOptionsInt("-pc_bddc_check_level","Verbose output for PCBDDC (intended for debug)","none",pcbddc->dbg_flag,&pcbddc->dbg_flag,NULL);CHKERRQ(ierr); 628eeda7d8SStefano Zampini /* Primal space cumstomization */ 638eeda7d8SStefano 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); 648eeda7d8SStefano 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); 658eeda7d8SStefano 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); 668eeda7d8SStefano Zampini /* Change of basis */ 678eeda7d8SStefano Zampini ierr = PetscOptionsBool("-pc_bddc_use_change_of_basis","Use or not change of basis on local edge nodes","none",pcbddc->use_change_of_basis,&pcbddc->use_change_of_basis,NULL);CHKERRQ(ierr); 688eeda7d8SStefano Zampini ierr = PetscOptionsBool("-pc_bddc_use_change_on_faces","Use or not change of basis on local face nodes","none",pcbddc->use_change_on_faces,&pcbddc->use_change_on_faces,NULL);CHKERRQ(ierr); 69674ae819SStefano Zampini if (!pcbddc->use_change_of_basis) { 70674ae819SStefano Zampini pcbddc->use_change_on_faces = PETSC_FALSE; 71674ae819SStefano Zampini } 728eeda7d8SStefano Zampini /* Switch between M_2 (default) and M_3 preconditioners (as defined by C. Dohrmann in the ref. article) */ 738eeda7d8SStefano 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); 740298fd71SBarry Smith ierr = PetscOptionsInt("-pc_bddc_coarsening_ratio","Set coarsening ratio used in multilevel coarsening","none",pcbddc->coarsening_ratio,&pcbddc->coarsening_ratio,NULL);CHKERRQ(ierr); 752b510759SStefano Zampini ierr = PetscOptionsInt("-pc_bddc_levels","Set maximum number of levels for multilevel","none",pcbddc->max_levels,&pcbddc->max_levels,NULL);CHKERRQ(ierr); 76674ae819SStefano 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); 770c7d97c5SJed Brown ierr = PetscOptionsTail();CHKERRQ(ierr); 780c7d97c5SJed Brown PetscFunctionReturn(0); 790c7d97c5SJed Brown } 800c7d97c5SJed Brown /* -------------------------------------------------------------------------- */ 81674ae819SStefano Zampini #undef __FUNCT__ 82674ae819SStefano Zampini #define __FUNCT__ "PCBDDCSetPrimalVerticesLocalIS_BDDC" 83674ae819SStefano Zampini static PetscErrorCode PCBDDCSetPrimalVerticesLocalIS_BDDC(PC pc, IS PrimalVertices) 84674ae819SStefano Zampini { 85674ae819SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 86674ae819SStefano Zampini PetscErrorCode ierr; 871e6b0712SBarry Smith 88674ae819SStefano Zampini PetscFunctionBegin; 89674ae819SStefano Zampini ierr = ISDestroy(&pcbddc->user_primal_vertices);CHKERRQ(ierr); 90674ae819SStefano Zampini ierr = PetscObjectReference((PetscObject)PrimalVertices);CHKERRQ(ierr); 91674ae819SStefano Zampini pcbddc->user_primal_vertices = PrimalVertices; 92674ae819SStefano Zampini PetscFunctionReturn(0); 93674ae819SStefano Zampini } 94674ae819SStefano Zampini #undef __FUNCT__ 95674ae819SStefano Zampini #define __FUNCT__ "PCBDDCSetPrimalVerticesLocalIS" 96674ae819SStefano Zampini /*@ 9728509bceSStefano Zampini PCBDDCSetPrimalVerticesLocalIS - Set additional user defined primal vertices in PCBDDC 98674ae819SStefano Zampini 99674ae819SStefano Zampini Not collective 100674ae819SStefano Zampini 101674ae819SStefano Zampini Input Parameters: 102674ae819SStefano Zampini + pc - the preconditioning context 10328509bceSStefano Zampini - PrimalVertices - index set of primal vertices in local numbering 104674ae819SStefano Zampini 105674ae819SStefano Zampini Level: intermediate 106674ae819SStefano Zampini 107674ae819SStefano Zampini Notes: 108674ae819SStefano Zampini 109674ae819SStefano Zampini .seealso: PCBDDC 110674ae819SStefano Zampini @*/ 111674ae819SStefano Zampini PetscErrorCode PCBDDCSetPrimalVerticesLocalIS(PC pc, IS PrimalVertices) 112674ae819SStefano Zampini { 113674ae819SStefano Zampini PetscErrorCode ierr; 114674ae819SStefano Zampini 115674ae819SStefano Zampini PetscFunctionBegin; 116674ae819SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 117674ae819SStefano Zampini PetscValidHeaderSpecific(PrimalVertices,IS_CLASSID,2); 118674ae819SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetPrimalVerticesLocalIS_C",(PC,IS),(pc,PrimalVertices));CHKERRQ(ierr); 119674ae819SStefano Zampini PetscFunctionReturn(0); 120674ae819SStefano Zampini } 121674ae819SStefano Zampini /* -------------------------------------------------------------------------- */ 1220c7d97c5SJed Brown #undef __FUNCT__ 1234fad6a16SStefano Zampini #define __FUNCT__ "PCBDDCSetCoarseningRatio_BDDC" 1244fad6a16SStefano Zampini static PetscErrorCode PCBDDCSetCoarseningRatio_BDDC(PC pc,PetscInt k) 1254fad6a16SStefano Zampini { 1264fad6a16SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 1274fad6a16SStefano Zampini 1284fad6a16SStefano Zampini PetscFunctionBegin; 1294fad6a16SStefano Zampini pcbddc->coarsening_ratio = k; 1304fad6a16SStefano Zampini PetscFunctionReturn(0); 1314fad6a16SStefano Zampini } 1321e6b0712SBarry Smith 1334fad6a16SStefano Zampini #undef __FUNCT__ 1344fad6a16SStefano Zampini #define __FUNCT__ "PCBDDCSetCoarseningRatio" 1354fad6a16SStefano Zampini /*@ 13628509bceSStefano Zampini PCBDDCSetCoarseningRatio - Set coarsening ratio used in multilevel 1374fad6a16SStefano Zampini 1384fad6a16SStefano Zampini Logically collective on PC 1394fad6a16SStefano Zampini 1404fad6a16SStefano Zampini Input Parameters: 1414fad6a16SStefano Zampini + pc - the preconditioning context 14228509bceSStefano Zampini - k - coarsening ratio (H/h at the coarser level) 1434fad6a16SStefano Zampini 14428509bceSStefano Zampini Approximatively k subdomains at the finer level will be aggregated into a single subdomain at the coarser level 1454fad6a16SStefano Zampini 1464fad6a16SStefano Zampini Level: intermediate 1474fad6a16SStefano Zampini 1484fad6a16SStefano Zampini Notes: 1494fad6a16SStefano Zampini 1504fad6a16SStefano Zampini .seealso: PCBDDC 1514fad6a16SStefano Zampini @*/ 1524fad6a16SStefano Zampini PetscErrorCode PCBDDCSetCoarseningRatio(PC pc,PetscInt k) 1534fad6a16SStefano Zampini { 1544fad6a16SStefano Zampini PetscErrorCode ierr; 1554fad6a16SStefano Zampini 1564fad6a16SStefano Zampini PetscFunctionBegin; 1574fad6a16SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 1582b510759SStefano Zampini PetscValidLogicalCollectiveInt(pc,k,2); 1594fad6a16SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetCoarseningRatio_C",(PC,PetscInt),(pc,k));CHKERRQ(ierr); 1604fad6a16SStefano Zampini PetscFunctionReturn(0); 1614fad6a16SStefano Zampini } 1622b510759SStefano Zampini 163b8ffe317SStefano Zampini /* The following functions (PCBDDCSetUseExactDirichlet PCBDDCSetLevel) are not public */ 1642b510759SStefano Zampini #undef __FUNCT__ 165b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetUseExactDirichlet_BDDC" 166b8ffe317SStefano Zampini static PetscErrorCode PCBDDCSetUseExactDirichlet_BDDC(PC pc,PetscBool flg) 167b8ffe317SStefano Zampini { 168b8ffe317SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 169b8ffe317SStefano Zampini 170b8ffe317SStefano Zampini PetscFunctionBegin; 17185c4d303SStefano Zampini pcbddc->use_exact_dirichlet_trick = flg; 172b8ffe317SStefano Zampini PetscFunctionReturn(0); 173b8ffe317SStefano Zampini } 174b8ffe317SStefano Zampini 175b8ffe317SStefano Zampini #undef __FUNCT__ 176b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetUseExactDirichlet" 177b8ffe317SStefano Zampini PetscErrorCode PCBDDCSetUseExactDirichlet(PC pc,PetscBool flg) 1782b510759SStefano Zampini { 1792b510759SStefano Zampini PetscErrorCode ierr; 1802b510759SStefano Zampini 1812b510759SStefano Zampini PetscFunctionBegin; 1822b510759SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 183b8ffe317SStefano Zampini PetscValidLogicalCollectiveBool(pc,flg,2); 184b8ffe317SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetUseExactDirichlet_C",(PC,PetscBool),(pc,flg));CHKERRQ(ierr); 1852b510759SStefano Zampini PetscFunctionReturn(0); 1862b510759SStefano Zampini } 1871e6b0712SBarry Smith 1884fad6a16SStefano Zampini #undef __FUNCT__ 1892b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevel_BDDC" 1902b510759SStefano Zampini static PetscErrorCode PCBDDCSetLevel_BDDC(PC pc,PetscInt level) 1914fad6a16SStefano Zampini { 1924fad6a16SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 1934fad6a16SStefano Zampini 1944fad6a16SStefano Zampini PetscFunctionBegin; 1952b510759SStefano Zampini pcbddc->current_level = level; 1964fad6a16SStefano Zampini PetscFunctionReturn(0); 1974fad6a16SStefano Zampini } 1981e6b0712SBarry Smith 1994fad6a16SStefano Zampini #undef __FUNCT__ 200b8ffe317SStefano Zampini #define __FUNCT__ "PCBDDCSetLevel" 201b8ffe317SStefano Zampini PetscErrorCode PCBDDCSetLevel(PC pc,PetscInt level) 202b8ffe317SStefano Zampini { 203b8ffe317SStefano Zampini PetscErrorCode ierr; 204b8ffe317SStefano Zampini 205b8ffe317SStefano Zampini PetscFunctionBegin; 206b8ffe317SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 207b8ffe317SStefano Zampini PetscValidLogicalCollectiveInt(pc,level,2); 208b8ffe317SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetLevel_C",(PC,PetscInt),(pc,level));CHKERRQ(ierr); 209b8ffe317SStefano Zampini PetscFunctionReturn(0); 210b8ffe317SStefano Zampini } 211b8ffe317SStefano Zampini 212b8ffe317SStefano Zampini #undef __FUNCT__ 2132b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevels_BDDC" 2142b510759SStefano Zampini static PetscErrorCode PCBDDCSetLevels_BDDC(PC pc,PetscInt levels) 2152b510759SStefano Zampini { 2162b510759SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 2172b510759SStefano Zampini 2182b510759SStefano Zampini PetscFunctionBegin; 2192b510759SStefano Zampini pcbddc->max_levels = levels; 2202b510759SStefano Zampini PetscFunctionReturn(0); 2212b510759SStefano Zampini } 2222b510759SStefano Zampini 2232b510759SStefano Zampini #undef __FUNCT__ 2242b510759SStefano Zampini #define __FUNCT__ "PCBDDCSetLevels" 2254fad6a16SStefano Zampini /*@ 22628509bceSStefano Zampini PCBDDCSetLevels - Sets the maximum number of levels for multilevel 2274fad6a16SStefano Zampini 2284fad6a16SStefano Zampini Logically collective on PC 2294fad6a16SStefano Zampini 2304fad6a16SStefano Zampini Input Parameters: 2314fad6a16SStefano Zampini + pc - the preconditioning context 23228509bceSStefano Zampini - levels - the maximum number of levels (max 9) 2334fad6a16SStefano Zampini 23428509bceSStefano Zampini Default value is 0, i.e. traditional one-level BDDC 2354fad6a16SStefano Zampini 2364fad6a16SStefano Zampini Level: intermediate 2374fad6a16SStefano Zampini 2384fad6a16SStefano Zampini Notes: 2394fad6a16SStefano Zampini 2404fad6a16SStefano Zampini .seealso: PCBDDC 2414fad6a16SStefano Zampini @*/ 2422b510759SStefano Zampini PetscErrorCode PCBDDCSetLevels(PC pc,PetscInt levels) 2434fad6a16SStefano Zampini { 2444fad6a16SStefano Zampini PetscErrorCode ierr; 2454fad6a16SStefano Zampini 2464fad6a16SStefano Zampini PetscFunctionBegin; 2474fad6a16SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 2482b510759SStefano Zampini PetscValidLogicalCollectiveInt(pc,levels,2); 2492b510759SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetLevels_C",(PC,PetscInt),(pc,levels));CHKERRQ(ierr); 2504fad6a16SStefano Zampini PetscFunctionReturn(0); 2514fad6a16SStefano Zampini } 2524fad6a16SStefano Zampini /* -------------------------------------------------------------------------- */ 2531e6b0712SBarry Smith 2544fad6a16SStefano Zampini #undef __FUNCT__ 2550bdf917eSStefano Zampini #define __FUNCT__ "PCBDDCSetNullSpace_BDDC" 2560bdf917eSStefano Zampini static PetscErrorCode PCBDDCSetNullSpace_BDDC(PC pc,MatNullSpace NullSpace) 2570bdf917eSStefano Zampini { 2580bdf917eSStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 2590bdf917eSStefano Zampini PetscErrorCode ierr; 2600bdf917eSStefano Zampini 2610bdf917eSStefano Zampini PetscFunctionBegin; 2620bdf917eSStefano Zampini ierr = PetscObjectReference((PetscObject)NullSpace);CHKERRQ(ierr); 2630bdf917eSStefano Zampini ierr = MatNullSpaceDestroy(&pcbddc->NullSpace);CHKERRQ(ierr); 2640bdf917eSStefano Zampini pcbddc->NullSpace = NullSpace; 2650bdf917eSStefano Zampini PetscFunctionReturn(0); 2660bdf917eSStefano Zampini } 2671e6b0712SBarry Smith 2680bdf917eSStefano Zampini #undef __FUNCT__ 2690bdf917eSStefano Zampini #define __FUNCT__ "PCBDDCSetNullSpace" 2700bdf917eSStefano Zampini /*@ 27128509bceSStefano Zampini PCBDDCSetNullSpace - Set nullspace for BDDC operator 2720bdf917eSStefano Zampini 2730bdf917eSStefano Zampini Logically collective on PC and MatNullSpace 2740bdf917eSStefano Zampini 2750bdf917eSStefano Zampini Input Parameters: 2760bdf917eSStefano Zampini + pc - the preconditioning context 27728509bceSStefano Zampini - NullSpace - Null space of the linear operator to be preconditioned (Pmat) 2780bdf917eSStefano Zampini 2790bdf917eSStefano Zampini Level: intermediate 2800bdf917eSStefano Zampini 2810bdf917eSStefano Zampini Notes: 2820bdf917eSStefano Zampini 2830bdf917eSStefano Zampini .seealso: PCBDDC 2840bdf917eSStefano Zampini @*/ 2850bdf917eSStefano Zampini PetscErrorCode PCBDDCSetNullSpace(PC pc,MatNullSpace NullSpace) 2860bdf917eSStefano Zampini { 2870bdf917eSStefano Zampini PetscErrorCode ierr; 2880bdf917eSStefano Zampini 2890bdf917eSStefano Zampini PetscFunctionBegin; 2900bdf917eSStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 291674ae819SStefano Zampini PetscValidHeaderSpecific(NullSpace,MAT_NULLSPACE_CLASSID,2); 2922b510759SStefano Zampini PetscCheckSameComm(pc,1,NullSpace,2); 2930bdf917eSStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetNullSpace_C",(PC,MatNullSpace),(pc,NullSpace));CHKERRQ(ierr); 2940bdf917eSStefano Zampini PetscFunctionReturn(0); 2950bdf917eSStefano Zampini } 2960bdf917eSStefano Zampini /* -------------------------------------------------------------------------- */ 2971e6b0712SBarry Smith 2980bdf917eSStefano Zampini #undef __FUNCT__ 2993b03a366Sstefano_zampini #define __FUNCT__ "PCBDDCSetDirichletBoundaries_BDDC" 3003b03a366Sstefano_zampini static PetscErrorCode PCBDDCSetDirichletBoundaries_BDDC(PC pc,IS DirichletBoundaries) 3013b03a366Sstefano_zampini { 3023b03a366Sstefano_zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 3033b03a366Sstefano_zampini PetscErrorCode ierr; 3043b03a366Sstefano_zampini 3053b03a366Sstefano_zampini PetscFunctionBegin; 3063b03a366Sstefano_zampini ierr = ISDestroy(&pcbddc->DirichletBoundaries);CHKERRQ(ierr); 30736e030ebSStefano Zampini ierr = PetscObjectReference((PetscObject)DirichletBoundaries);CHKERRQ(ierr); 30836e030ebSStefano Zampini pcbddc->DirichletBoundaries=DirichletBoundaries; 309fb180af4SStefano Zampini pcbddc->recompute_topography = PETSC_TRUE; 3103b03a366Sstefano_zampini PetscFunctionReturn(0); 3113b03a366Sstefano_zampini } 3121e6b0712SBarry Smith 3133b03a366Sstefano_zampini #undef __FUNCT__ 3143b03a366Sstefano_zampini #define __FUNCT__ "PCBDDCSetDirichletBoundaries" 3153b03a366Sstefano_zampini /*@ 31628509bceSStefano Zampini PCBDDCSetDirichletBoundaries - Set IS defining Dirichlet boundaries for the global problem. 3173b03a366Sstefano_zampini 3183b03a366Sstefano_zampini Not collective 3193b03a366Sstefano_zampini 3203b03a366Sstefano_zampini Input Parameters: 3213b03a366Sstefano_zampini + pc - the preconditioning context 32228509bceSStefano Zampini - DirichletBoundaries - sequential IS defining the subdomain part of Dirichlet boundaries (in local ordering) 3233b03a366Sstefano_zampini 3243b03a366Sstefano_zampini Level: intermediate 3253b03a366Sstefano_zampini 3263b03a366Sstefano_zampini Notes: 3273b03a366Sstefano_zampini 3283b03a366Sstefano_zampini .seealso: PCBDDC 3293b03a366Sstefano_zampini @*/ 3303b03a366Sstefano_zampini PetscErrorCode PCBDDCSetDirichletBoundaries(PC pc,IS DirichletBoundaries) 3313b03a366Sstefano_zampini { 3323b03a366Sstefano_zampini PetscErrorCode ierr; 3333b03a366Sstefano_zampini 3343b03a366Sstefano_zampini PetscFunctionBegin; 3353b03a366Sstefano_zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 336674ae819SStefano Zampini PetscValidHeaderSpecific(DirichletBoundaries,IS_CLASSID,2); 3373b03a366Sstefano_zampini ierr = PetscTryMethod(pc,"PCBDDCSetDirichletBoundaries_C",(PC,IS),(pc,DirichletBoundaries));CHKERRQ(ierr); 3383b03a366Sstefano_zampini PetscFunctionReturn(0); 3393b03a366Sstefano_zampini } 3403b03a366Sstefano_zampini /* -------------------------------------------------------------------------- */ 3411e6b0712SBarry Smith 3423b03a366Sstefano_zampini #undef __FUNCT__ 3430c7d97c5SJed Brown #define __FUNCT__ "PCBDDCSetNeumannBoundaries_BDDC" 34453cdbc3dSStefano Zampini static PetscErrorCode PCBDDCSetNeumannBoundaries_BDDC(PC pc,IS NeumannBoundaries) 3450c7d97c5SJed Brown { 3460c7d97c5SJed Brown PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 34753cdbc3dSStefano Zampini PetscErrorCode ierr; 3480c7d97c5SJed Brown 3490c7d97c5SJed Brown PetscFunctionBegin; 35053cdbc3dSStefano Zampini ierr = ISDestroy(&pcbddc->NeumannBoundaries);CHKERRQ(ierr); 35136e030ebSStefano Zampini ierr = PetscObjectReference((PetscObject)NeumannBoundaries);CHKERRQ(ierr); 35236e030ebSStefano Zampini pcbddc->NeumannBoundaries=NeumannBoundaries; 353fb180af4SStefano Zampini pcbddc->recompute_topography = PETSC_TRUE; 3540c7d97c5SJed Brown PetscFunctionReturn(0); 3550c7d97c5SJed Brown } 3561e6b0712SBarry Smith 3570c7d97c5SJed Brown #undef __FUNCT__ 3580c7d97c5SJed Brown #define __FUNCT__ "PCBDDCSetNeumannBoundaries" 35957527edcSJed Brown /*@ 36028509bceSStefano Zampini PCBDDCSetNeumannBoundaries - Set IS defining Neumann boundaries for the global problem. 36157527edcSJed Brown 3629c0446d6SStefano Zampini Not collective 36357527edcSJed Brown 36457527edcSJed Brown Input Parameters: 36557527edcSJed Brown + pc - the preconditioning context 36628509bceSStefano Zampini - NeumannBoundaries - sequential IS defining the subdomain part of Neumann boundaries (in local ordering) 36757527edcSJed Brown 36857527edcSJed Brown Level: intermediate 36957527edcSJed Brown 37057527edcSJed Brown Notes: 37157527edcSJed Brown 37257527edcSJed Brown .seealso: PCBDDC 37357527edcSJed Brown @*/ 37453cdbc3dSStefano Zampini PetscErrorCode PCBDDCSetNeumannBoundaries(PC pc,IS NeumannBoundaries) 3750c7d97c5SJed Brown { 3760c7d97c5SJed Brown PetscErrorCode ierr; 3770c7d97c5SJed Brown 3780c7d97c5SJed Brown PetscFunctionBegin; 3790c7d97c5SJed Brown PetscValidHeaderSpecific(pc,PC_CLASSID,1); 380674ae819SStefano Zampini PetscValidHeaderSpecific(NeumannBoundaries,IS_CLASSID,2); 38153cdbc3dSStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetNeumannBoundaries_C",(PC,IS),(pc,NeumannBoundaries));CHKERRQ(ierr); 38253cdbc3dSStefano Zampini PetscFunctionReturn(0); 38353cdbc3dSStefano Zampini } 38453cdbc3dSStefano Zampini /* -------------------------------------------------------------------------- */ 3851e6b0712SBarry Smith 38653cdbc3dSStefano Zampini #undef __FUNCT__ 387da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundaries_BDDC" 388da1bb401SStefano Zampini static PetscErrorCode PCBDDCGetDirichletBoundaries_BDDC(PC pc,IS *DirichletBoundaries) 389da1bb401SStefano Zampini { 390da1bb401SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 391da1bb401SStefano Zampini 392da1bb401SStefano Zampini PetscFunctionBegin; 393da1bb401SStefano Zampini *DirichletBoundaries = pcbddc->DirichletBoundaries; 394da1bb401SStefano Zampini PetscFunctionReturn(0); 395da1bb401SStefano Zampini } 3961e6b0712SBarry Smith 397da1bb401SStefano Zampini #undef __FUNCT__ 398da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCGetDirichletBoundaries" 399da1bb401SStefano Zampini /*@ 40028509bceSStefano Zampini PCBDDCGetDirichletBoundaries - Get IS for local Dirichlet boundaries 401da1bb401SStefano Zampini 402da1bb401SStefano Zampini Not collective 403da1bb401SStefano Zampini 404da1bb401SStefano Zampini Input Parameters: 40528509bceSStefano Zampini . pc - the preconditioning context 406da1bb401SStefano Zampini 407da1bb401SStefano Zampini Output Parameters: 40828509bceSStefano Zampini . DirichletBoundaries - index set defining the subdomain part of Dirichlet boundaries 409da1bb401SStefano Zampini 410da1bb401SStefano Zampini Level: intermediate 411da1bb401SStefano Zampini 412da1bb401SStefano Zampini Notes: 413da1bb401SStefano Zampini 414da1bb401SStefano Zampini .seealso: PCBDDC 415da1bb401SStefano Zampini @*/ 416da1bb401SStefano Zampini PetscErrorCode PCBDDCGetDirichletBoundaries(PC pc,IS *DirichletBoundaries) 417da1bb401SStefano Zampini { 418da1bb401SStefano Zampini PetscErrorCode ierr; 419da1bb401SStefano Zampini 420da1bb401SStefano Zampini PetscFunctionBegin; 421da1bb401SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 422da1bb401SStefano Zampini ierr = PetscUseMethod(pc,"PCBDDCGetDirichletBoundaries_C",(PC,IS*),(pc,DirichletBoundaries));CHKERRQ(ierr); 423da1bb401SStefano Zampini PetscFunctionReturn(0); 424da1bb401SStefano Zampini } 425da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */ 4261e6b0712SBarry Smith 427da1bb401SStefano Zampini #undef __FUNCT__ 42853cdbc3dSStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundaries_BDDC" 42953cdbc3dSStefano Zampini static PetscErrorCode PCBDDCGetNeumannBoundaries_BDDC(PC pc,IS *NeumannBoundaries) 43053cdbc3dSStefano Zampini { 43153cdbc3dSStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 43253cdbc3dSStefano Zampini 43353cdbc3dSStefano Zampini PetscFunctionBegin; 43453cdbc3dSStefano Zampini *NeumannBoundaries = pcbddc->NeumannBoundaries; 43553cdbc3dSStefano Zampini PetscFunctionReturn(0); 43653cdbc3dSStefano Zampini } 4371e6b0712SBarry Smith 43853cdbc3dSStefano Zampini #undef __FUNCT__ 43953cdbc3dSStefano Zampini #define __FUNCT__ "PCBDDCGetNeumannBoundaries" 44053cdbc3dSStefano Zampini /*@ 44128509bceSStefano Zampini PCBDDCGetNeumannBoundaries - Get IS for local Neumann boundaries 44253cdbc3dSStefano Zampini 4439c0446d6SStefano Zampini Not collective 44453cdbc3dSStefano Zampini 44553cdbc3dSStefano Zampini Input Parameters: 44628509bceSStefano Zampini . pc - the preconditioning context 44753cdbc3dSStefano Zampini 44853cdbc3dSStefano Zampini Output Parameters: 44928509bceSStefano Zampini . NeumannBoundaries - index set defining the subdomain part of Neumann boundaries 45053cdbc3dSStefano Zampini 45153cdbc3dSStefano Zampini Level: intermediate 45253cdbc3dSStefano Zampini 45353cdbc3dSStefano Zampini Notes: 45453cdbc3dSStefano Zampini 45553cdbc3dSStefano Zampini .seealso: PCBDDC 45653cdbc3dSStefano Zampini @*/ 45753cdbc3dSStefano Zampini PetscErrorCode PCBDDCGetNeumannBoundaries(PC pc,IS *NeumannBoundaries) 45853cdbc3dSStefano Zampini { 45953cdbc3dSStefano Zampini PetscErrorCode ierr; 46053cdbc3dSStefano Zampini 46153cdbc3dSStefano Zampini PetscFunctionBegin; 46253cdbc3dSStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 46353cdbc3dSStefano Zampini ierr = PetscUseMethod(pc,"PCBDDCGetNeumannBoundaries_C",(PC,IS*),(pc,NeumannBoundaries));CHKERRQ(ierr); 4640c7d97c5SJed Brown PetscFunctionReturn(0); 4650c7d97c5SJed Brown } 46636e030ebSStefano Zampini /* -------------------------------------------------------------------------- */ 4671e6b0712SBarry Smith 46836e030ebSStefano Zampini #undef __FUNCT__ 469da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCSetLocalAdjacencyGraph_BDDC" 4701a83f524SJed Brown static PetscErrorCode PCBDDCSetLocalAdjacencyGraph_BDDC(PC pc, PetscInt nvtxs,const PetscInt xadj[],const PetscInt adjncy[], PetscCopyMode copymode) 47136e030ebSStefano Zampini { 47236e030ebSStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 473da1bb401SStefano Zampini PCBDDCGraph mat_graph = pcbddc->mat_graph; 474da1bb401SStefano Zampini PetscErrorCode ierr; 47536e030ebSStefano Zampini 47636e030ebSStefano Zampini PetscFunctionBegin; 477674ae819SStefano Zampini /* free old CSR */ 478674ae819SStefano Zampini ierr = PCBDDCGraphResetCSR(mat_graph);CHKERRQ(ierr); 479fb223d50SStefano Zampini /* TODO: PCBDDCGraphSetAdjacency */ 480674ae819SStefano Zampini /* get CSR into graph structure */ 481da1bb401SStefano Zampini if (copymode == PETSC_COPY_VALUES) { 482674ae819SStefano Zampini ierr = PetscMalloc((nvtxs+1)*sizeof(PetscInt),&mat_graph->xadj);CHKERRQ(ierr); 483674ae819SStefano Zampini ierr = PetscMalloc(xadj[nvtxs]*sizeof(PetscInt),&mat_graph->adjncy);CHKERRQ(ierr); 484674ae819SStefano Zampini ierr = PetscMemcpy(mat_graph->xadj,xadj,(nvtxs+1)*sizeof(PetscInt));CHKERRQ(ierr); 485674ae819SStefano Zampini ierr = PetscMemcpy(mat_graph->adjncy,adjncy,xadj[nvtxs]*sizeof(PetscInt));CHKERRQ(ierr); 486da1bb401SStefano Zampini } else if (copymode == PETSC_OWN_POINTER) { 4871a83f524SJed Brown mat_graph->xadj = (PetscInt*)xadj; 4881a83f524SJed Brown mat_graph->adjncy = (PetscInt*)adjncy; 489674ae819SStefano Zampini } 490575ad6abSStefano Zampini mat_graph->nvtxs_csr = nvtxs; 49136e030ebSStefano Zampini PetscFunctionReturn(0); 49236e030ebSStefano Zampini } 4931e6b0712SBarry Smith 49436e030ebSStefano Zampini #undef __FUNCT__ 495da1bb401SStefano Zampini #define __FUNCT__ "PCBDDCSetLocalAdjacencyGraph" 49636e030ebSStefano Zampini /*@ 49728509bceSStefano Zampini PCBDDCSetLocalAdjacencyGraph - Set adjacency structure (CSR graph) of the local Neumann matrix 49836e030ebSStefano Zampini 49936e030ebSStefano Zampini Not collective 50036e030ebSStefano Zampini 50136e030ebSStefano Zampini Input Parameters: 50236e030ebSStefano Zampini + pc - the preconditioning context 50328509bceSStefano Zampini . nvtxs - number of local vertices of the graph (i.e., the local size of your problem) 50428509bceSStefano Zampini . xadj, adjncy - the CSR graph 50528509bceSStefano Zampini - copymode - either PETSC_COPY_VALUES or PETSC_OWN_POINTER. 50636e030ebSStefano Zampini 50736e030ebSStefano Zampini Level: intermediate 50836e030ebSStefano Zampini 50936e030ebSStefano Zampini Notes: 51036e030ebSStefano Zampini 51128509bceSStefano Zampini .seealso: PCBDDC,PetscCopyMode 51236e030ebSStefano Zampini @*/ 5131a83f524SJed Brown PetscErrorCode PCBDDCSetLocalAdjacencyGraph(PC pc,PetscInt nvtxs,const PetscInt xadj[],const PetscInt adjncy[], PetscCopyMode copymode) 51436e030ebSStefano Zampini { 515575ad6abSStefano Zampini void (*f)(void) = 0; 51636e030ebSStefano Zampini PetscErrorCode ierr; 51736e030ebSStefano Zampini 51836e030ebSStefano Zampini PetscFunctionBegin; 51936e030ebSStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 520674ae819SStefano Zampini PetscValidIntPointer(xadj,3); 521674ae819SStefano Zampini PetscValidIntPointer(xadj,4); 522674ae819SStefano Zampini if (copymode != PETSC_COPY_VALUES && copymode != PETSC_OWN_POINTER) { 523674ae819SStefano Zampini SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_SUP,"Unsupported copy mode %d in %s\n",copymode,__FUNCT__); 524da1bb401SStefano Zampini } 52536e030ebSStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetLocalAdjacencyGraph_C",(PC,PetscInt,const PetscInt[],const PetscInt[],PetscCopyMode),(pc,nvtxs,xadj,adjncy,copymode));CHKERRQ(ierr); 526575ad6abSStefano Zampini /* free arrays if PCBDDC is not the PC type */ 527575ad6abSStefano Zampini ierr = PetscObjectQueryFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",&f);CHKERRQ(ierr); 528575ad6abSStefano Zampini if (!f && copymode == PETSC_OWN_POINTER) { 529575ad6abSStefano Zampini ierr = PetscFree(xadj);CHKERRQ(ierr); 530575ad6abSStefano Zampini ierr = PetscFree(adjncy);CHKERRQ(ierr); 53136e030ebSStefano Zampini } 53236e030ebSStefano Zampini PetscFunctionReturn(0); 53336e030ebSStefano Zampini } 5349c0446d6SStefano Zampini /* -------------------------------------------------------------------------- */ 5351e6b0712SBarry Smith 5369c0446d6SStefano Zampini #undef __FUNCT__ 5379c0446d6SStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplitting_BDDC" 5389c0446d6SStefano Zampini static PetscErrorCode PCBDDCSetDofsSplitting_BDDC(PC pc,PetscInt n_is, IS ISForDofs[]) 5399c0446d6SStefano Zampini { 5409c0446d6SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 5419c0446d6SStefano Zampini PetscInt i; 5429c0446d6SStefano Zampini PetscErrorCode ierr; 5439c0446d6SStefano Zampini 5449c0446d6SStefano Zampini PetscFunctionBegin; 545da1bb401SStefano Zampini /* Destroy ISes if they were already set */ 5469c0446d6SStefano Zampini for (i=0;i<pcbddc->n_ISForDofs;i++) { 5479c0446d6SStefano Zampini ierr = ISDestroy(&pcbddc->ISForDofs[i]);CHKERRQ(ierr); 5489c0446d6SStefano Zampini } 549d11ae9bbSstefano_zampini ierr = PetscFree(pcbddc->ISForDofs);CHKERRQ(ierr); 550da1bb401SStefano Zampini /* allocate space then set */ 5519c0446d6SStefano Zampini ierr = PetscMalloc(n_is*sizeof(IS),&pcbddc->ISForDofs);CHKERRQ(ierr); 5529c0446d6SStefano Zampini for (i=0;i<n_is;i++) { 553da1bb401SStefano Zampini ierr = PetscObjectReference((PetscObject)ISForDofs[i]);CHKERRQ(ierr); 554da1bb401SStefano Zampini pcbddc->ISForDofs[i]=ISForDofs[i]; 5559c0446d6SStefano Zampini } 5569c0446d6SStefano Zampini pcbddc->n_ISForDofs=n_is; 55760d44989SStefano Zampini pcbddc->user_provided_isfordofs = PETSC_TRUE; 5589c0446d6SStefano Zampini PetscFunctionReturn(0); 5599c0446d6SStefano Zampini } 5601e6b0712SBarry Smith 5619c0446d6SStefano Zampini #undef __FUNCT__ 5629c0446d6SStefano Zampini #define __FUNCT__ "PCBDDCSetDofsSplitting" 5639c0446d6SStefano Zampini /*@ 56428509bceSStefano Zampini PCBDDCSetDofsSplitting - Set index sets defining fields of the local Neumann matrix 5659c0446d6SStefano Zampini 5669c0446d6SStefano Zampini Not collective 5679c0446d6SStefano Zampini 5689c0446d6SStefano Zampini Input Parameters: 5699c0446d6SStefano Zampini + pc - the preconditioning context 57028509bceSStefano Zampini - n_is - number of index sets defining the fields 57128509bceSStefano Zampini . ISForDofs - array of IS describing the fields 5729c0446d6SStefano Zampini 5739c0446d6SStefano Zampini Level: intermediate 5749c0446d6SStefano Zampini 5759c0446d6SStefano Zampini Notes: 5769c0446d6SStefano Zampini 5779c0446d6SStefano Zampini .seealso: PCBDDC 5789c0446d6SStefano Zampini @*/ 5799c0446d6SStefano Zampini PetscErrorCode PCBDDCSetDofsSplitting(PC pc,PetscInt n_is, IS ISForDofs[]) 5809c0446d6SStefano Zampini { 5812b510759SStefano Zampini PetscInt i; 5829c0446d6SStefano Zampini PetscErrorCode ierr; 5839c0446d6SStefano Zampini 5849c0446d6SStefano Zampini PetscFunctionBegin; 5859c0446d6SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 5862b510759SStefano Zampini for (i=0;i<n_is;i++) { 5872b510759SStefano Zampini PetscValidHeaderSpecific(ISForDofs[i],IS_CLASSID,2); 5882b510759SStefano Zampini } 5899c0446d6SStefano Zampini ierr = PetscTryMethod(pc,"PCBDDCSetDofsSplitting_C",(PC,PetscInt,IS[]),(pc,n_is,ISForDofs));CHKERRQ(ierr); 5909c0446d6SStefano Zampini PetscFunctionReturn(0); 5919c0446d6SStefano Zampini } 592da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */ 593534831adSStefano Zampini #undef __FUNCT__ 594534831adSStefano Zampini #define __FUNCT__ "PCPreSolve_BDDC" 595534831adSStefano Zampini /* -------------------------------------------------------------------------- */ 596534831adSStefano Zampini /* 597534831adSStefano Zampini PCPreSolve_BDDC - Changes the right hand side and (if necessary) the initial 598534831adSStefano Zampini guess if a transformation of basis approach has been selected. 5999c0446d6SStefano Zampini 600534831adSStefano Zampini Input Parameter: 601534831adSStefano Zampini + pc - the preconditioner contex 602534831adSStefano Zampini 603534831adSStefano Zampini Application Interface Routine: PCPreSolve() 604534831adSStefano Zampini 605534831adSStefano Zampini Notes: 606534831adSStefano Zampini The interface routine PCPreSolve() is not usually called directly by 607534831adSStefano Zampini the user, but instead is called by KSPSolve(). 608534831adSStefano Zampini */ 609534831adSStefano Zampini static PetscErrorCode PCPreSolve_BDDC(PC pc, KSP ksp, Vec rhs, Vec x) 610534831adSStefano Zampini { 611534831adSStefano Zampini PetscErrorCode ierr; 612534831adSStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 613534831adSStefano Zampini PC_IS *pcis = (PC_IS*)(pc->data); 614534831adSStefano Zampini Mat_IS *matis = (Mat_IS*)pc->pmat->data; 615534831adSStefano Zampini Mat temp_mat; 6163972b0daSStefano Zampini IS dirIS; 6173972b0daSStefano Zampini PetscInt dirsize,i,*is_indices; 6183972b0daSStefano Zampini PetscScalar *array_x,*array_diagonal; 6193972b0daSStefano Zampini Vec used_vec; 62092e3dcfbSStefano Zampini PetscBool guess_nonzero,flg,bddc_has_dirichlet_boundaries; 621534831adSStefano Zampini 622534831adSStefano Zampini PetscFunctionBegin; 62385c4d303SStefano Zampini /* if we are working with cg, one dirichlet solve can be avoided during Krylov iterations */ 62485c4d303SStefano Zampini if (ksp) { 62585c4d303SStefano Zampini PetscBool iscg; 62685c4d303SStefano Zampini ierr = PetscObjectTypeCompare((PetscObject)ksp,KSPCG,&iscg);CHKERRQ(ierr); 62785c4d303SStefano Zampini if (!iscg) { 62885c4d303SStefano Zampini ierr = PCBDDCSetUseExactDirichlet(pc,PETSC_FALSE);CHKERRQ(ierr); 62985c4d303SStefano Zampini } 63085c4d303SStefano Zampini } 63185c4d303SStefano Zampini /* Creates parallel work vectors used in presolve */ 63262a6ff1dSStefano Zampini if (!pcbddc->original_rhs) { 63362a6ff1dSStefano Zampini ierr = VecDuplicate(pcis->vec1_global,&pcbddc->original_rhs);CHKERRQ(ierr); 63462a6ff1dSStefano Zampini } 63562a6ff1dSStefano Zampini if (!pcbddc->temp_solution) { 63662a6ff1dSStefano Zampini ierr = VecDuplicate(pcis->vec1_global,&pcbddc->temp_solution);CHKERRQ(ierr); 63762a6ff1dSStefano Zampini } 6383972b0daSStefano Zampini if (x) { 6393972b0daSStefano Zampini ierr = PetscObjectReference((PetscObject)x);CHKERRQ(ierr); 6403972b0daSStefano Zampini used_vec = x; 6413972b0daSStefano Zampini } else { 6423972b0daSStefano Zampini ierr = PetscObjectReference((PetscObject)pcbddc->temp_solution);CHKERRQ(ierr); 6433972b0daSStefano Zampini used_vec = pcbddc->temp_solution; 6443972b0daSStefano Zampini ierr = VecSet(used_vec,0.0);CHKERRQ(ierr); 6453972b0daSStefano Zampini } 6463972b0daSStefano Zampini /* hack into ksp data structure PCPreSolve comes earlier in src/ksp/ksp/interface/itfunc.c */ 6473972b0daSStefano Zampini if (ksp) { 6483972b0daSStefano Zampini ierr = KSPGetInitialGuessNonzero(ksp,&guess_nonzero);CHKERRQ(ierr); 6493972b0daSStefano Zampini if (!guess_nonzero) { 6503972b0daSStefano Zampini ierr = VecSet(used_vec,0.0);CHKERRQ(ierr); 6513972b0daSStefano Zampini } 6523972b0daSStefano Zampini } 6533308cffdSStefano Zampini 65492e3dcfbSStefano Zampini /* TODO: remove when Dirichlet boundaries will be shared */ 65592e3dcfbSStefano Zampini ierr = PCBDDCGetDirichletBoundaries(pc,&dirIS);CHKERRQ(ierr); 65692e3dcfbSStefano Zampini flg = PETSC_FALSE; 65792e3dcfbSStefano Zampini if (dirIS) flg = PETSC_TRUE; 65892e3dcfbSStefano Zampini ierr = MPI_Allreduce(&flg,&bddc_has_dirichlet_boundaries,1,MPIU_BOOL,MPI_LOR,PetscObjectComm((PetscObject)pc));CHKERRQ(ierr); 65992e3dcfbSStefano Zampini 6603972b0daSStefano Zampini /* store the original rhs */ 6613972b0daSStefano Zampini ierr = VecCopy(rhs,pcbddc->original_rhs);CHKERRQ(ierr); 6623972b0daSStefano Zampini 6633972b0daSStefano Zampini /* Take into account zeroed rows -> change rhs and store solution removed */ 66492e3dcfbSStefano Zampini if (rhs && bddc_has_dirichlet_boundaries) { 6653972b0daSStefano Zampini ierr = MatGetDiagonal(pc->pmat,pcis->vec1_global);CHKERRQ(ierr); 6663972b0daSStefano Zampini ierr = VecPointwiseDivide(pcis->vec1_global,rhs,pcis->vec1_global);CHKERRQ(ierr); 6673972b0daSStefano Zampini ierr = VecScatterBegin(matis->ctx,pcis->vec1_global,pcis->vec2_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 6683972b0daSStefano Zampini ierr = VecScatterEnd(matis->ctx,pcis->vec1_global,pcis->vec2_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 6693972b0daSStefano Zampini ierr = VecScatterBegin(matis->ctx,used_vec,pcis->vec1_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 6703972b0daSStefano Zampini ierr = VecScatterEnd(matis->ctx,used_vec,pcis->vec1_N,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 6713972b0daSStefano Zampini if (dirIS) { 6723972b0daSStefano Zampini ierr = ISGetSize(dirIS,&dirsize);CHKERRQ(ierr); 6733972b0daSStefano Zampini ierr = VecGetArray(pcis->vec1_N,&array_x);CHKERRQ(ierr); 6743972b0daSStefano Zampini ierr = VecGetArray(pcis->vec2_N,&array_diagonal);CHKERRQ(ierr); 6753972b0daSStefano Zampini ierr = ISGetIndices(dirIS,(const PetscInt**)&is_indices);CHKERRQ(ierr); 6762fa5cd67SKarl Rupp for (i=0; i<dirsize; i++) array_x[is_indices[i]] = array_diagonal[is_indices[i]]; 6773972b0daSStefano Zampini ierr = ISRestoreIndices(dirIS,(const PetscInt**)&is_indices);CHKERRQ(ierr); 6783972b0daSStefano Zampini ierr = VecRestoreArray(pcis->vec2_N,&array_diagonal);CHKERRQ(ierr); 6793972b0daSStefano Zampini ierr = VecRestoreArray(pcis->vec1_N,&array_x);CHKERRQ(ierr); 6803972b0daSStefano Zampini } 6813972b0daSStefano Zampini ierr = VecScatterBegin(matis->ctx,pcis->vec1_N,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 6823972b0daSStefano Zampini ierr = VecScatterEnd(matis->ctx,pcis->vec1_N,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 683b76ba322SStefano Zampini 6843972b0daSStefano Zampini /* remove the computed solution from the rhs */ 6853972b0daSStefano Zampini ierr = VecScale(used_vec,-1.0);CHKERRQ(ierr); 6863972b0daSStefano Zampini ierr = MatMultAdd(pc->pmat,used_vec,rhs,rhs);CHKERRQ(ierr); 6873972b0daSStefano Zampini ierr = VecScale(used_vec,-1.0);CHKERRQ(ierr); 6883308cffdSStefano Zampini } 689b76ba322SStefano Zampini 690b76ba322SStefano Zampini /* store partially computed solution and set initial guess */ 6913972b0daSStefano Zampini if (x) { 6923972b0daSStefano Zampini ierr = VecCopy(used_vec,pcbddc->temp_solution);CHKERRQ(ierr); 6933972b0daSStefano Zampini ierr = VecSet(used_vec,0.0);CHKERRQ(ierr); 69485c4d303SStefano Zampini if (pcbddc->use_exact_dirichlet_trick) { 695b76ba322SStefano Zampini ierr = VecScatterBegin(pcis->global_to_D,rhs,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 696b76ba322SStefano Zampini ierr = VecScatterEnd (pcis->global_to_D,rhs,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 697b76ba322SStefano Zampini ierr = KSPSolve(pcbddc->ksp_D,pcis->vec1_D,pcis->vec2_D);CHKERRQ(ierr); 698b76ba322SStefano Zampini ierr = VecScatterBegin(pcis->global_to_D,pcis->vec2_D,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 699b76ba322SStefano Zampini ierr = VecScatterEnd (pcis->global_to_D,pcis->vec2_D,used_vec,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 700b76ba322SStefano Zampini if (ksp) { 701b76ba322SStefano Zampini ierr = KSPSetInitialGuessNonzero(ksp,PETSC_TRUE);CHKERRQ(ierr); 702b76ba322SStefano Zampini } 703b76ba322SStefano Zampini } 7043972b0daSStefano Zampini } 705b76ba322SStefano Zampini 70692e3dcfbSStefano Zampini /* prepare MatMult and rhs for solver */ 707674ae819SStefano Zampini if (pcbddc->use_change_of_basis) { 708b76ba322SStefano Zampini /* swap pointers for local matrices */ 709b76ba322SStefano Zampini temp_mat = matis->A; 710b76ba322SStefano Zampini matis->A = pcbddc->local_mat; 711b76ba322SStefano Zampini pcbddc->local_mat = temp_mat; 71292e3dcfbSStefano Zampini if (rhs) { 713b76ba322SStefano Zampini /* Get local rhs and apply transformation of basis */ 714b76ba322SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,rhs,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 715b76ba322SStefano Zampini ierr = VecScatterEnd (pcis->global_to_B,rhs,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 716b76ba322SStefano Zampini /* from original basis to modified basis */ 717b76ba322SStefano Zampini ierr = MatMultTranspose(pcbddc->ChangeOfBasisMatrix,pcis->vec1_B,pcis->vec2_B);CHKERRQ(ierr); 718b76ba322SStefano Zampini /* put back modified values into the global vec using INSERT_VALUES copy mode */ 719b76ba322SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,pcis->vec2_B,rhs,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 720b76ba322SStefano Zampini ierr = VecScatterEnd (pcis->global_to_B,pcis->vec2_B,rhs,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 721674ae819SStefano Zampini } 72292e3dcfbSStefano Zampini } 72392e3dcfbSStefano Zampini 72492e3dcfbSStefano Zampini /* remove nullspace if present */ 7250bdf917eSStefano Zampini if (ksp && pcbddc->NullSpace) { 726d0195637SJed Brown ierr = MatNullSpaceRemove(pcbddc->NullSpace,used_vec);CHKERRQ(ierr); 727d0195637SJed Brown ierr = MatNullSpaceRemove(pcbddc->NullSpace,rhs);CHKERRQ(ierr); 728b76ba322SStefano Zampini } 7290bdf917eSStefano Zampini ierr = VecDestroy(&used_vec);CHKERRQ(ierr); 730534831adSStefano Zampini PetscFunctionReturn(0); 731534831adSStefano Zampini } 732534831adSStefano Zampini /* -------------------------------------------------------------------------- */ 733534831adSStefano Zampini #undef __FUNCT__ 734534831adSStefano Zampini #define __FUNCT__ "PCPostSolve_BDDC" 735534831adSStefano Zampini /* -------------------------------------------------------------------------- */ 736534831adSStefano Zampini /* 737534831adSStefano Zampini PCPostSolve_BDDC - Changes the computed solution if a transformation of basis 738534831adSStefano Zampini approach has been selected. Also, restores rhs to its original state. 739534831adSStefano Zampini 740534831adSStefano Zampini Input Parameter: 741534831adSStefano Zampini + pc - the preconditioner contex 742534831adSStefano Zampini 743534831adSStefano Zampini Application Interface Routine: PCPostSolve() 744534831adSStefano Zampini 745534831adSStefano Zampini Notes: 746534831adSStefano Zampini The interface routine PCPostSolve() is not usually called directly by 747534831adSStefano Zampini the user, but instead is called by KSPSolve(). 748534831adSStefano Zampini */ 749534831adSStefano Zampini static PetscErrorCode PCPostSolve_BDDC(PC pc, KSP ksp, Vec rhs, Vec x) 750534831adSStefano Zampini { 751534831adSStefano Zampini PetscErrorCode ierr; 752534831adSStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 753534831adSStefano Zampini PC_IS *pcis = (PC_IS*)(pc->data); 754534831adSStefano Zampini Mat_IS *matis = (Mat_IS*)pc->pmat->data; 755534831adSStefano Zampini Mat temp_mat; 756534831adSStefano Zampini 757534831adSStefano Zampini PetscFunctionBegin; 758674ae819SStefano Zampini if (pcbddc->use_change_of_basis) { 759534831adSStefano Zampini /* swap pointers for local matrices */ 760534831adSStefano Zampini temp_mat = matis->A; 761534831adSStefano Zampini matis->A = pcbddc->local_mat; 762534831adSStefano Zampini pcbddc->local_mat = temp_mat; 7633425bc38SStefano Zampini } 7643308cffdSStefano Zampini if (pcbddc->use_change_of_basis && x) { 765534831adSStefano Zampini /* Get Local boundary and apply transformation of basis to solution vector */ 766534831adSStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,x,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 767534831adSStefano Zampini ierr = VecScatterEnd (pcis->global_to_B,x,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 768534831adSStefano Zampini /* from modified basis to original basis */ 769534831adSStefano Zampini ierr = MatMult(pcbddc->ChangeOfBasisMatrix,pcis->vec1_B,pcis->vec2_B);CHKERRQ(ierr); 770534831adSStefano Zampini /* put back modified values into the global vec using INSERT_VALUES copy mode */ 771534831adSStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,pcis->vec2_B,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 772534831adSStefano Zampini ierr = VecScatterEnd (pcis->global_to_B,pcis->vec2_B,x,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 773534831adSStefano Zampini } 7743972b0daSStefano Zampini /* add solution removed in presolve */ 7753425bc38SStefano Zampini if (x) { 7763425bc38SStefano Zampini ierr = VecAXPY(x,1.0,pcbddc->temp_solution);CHKERRQ(ierr); 7773425bc38SStefano Zampini } 778fb223d50SStefano Zampini /* restore rhs to its original state */ 779fb223d50SStefano Zampini if (rhs) { 780fb223d50SStefano Zampini ierr = VecCopy(pcbddc->original_rhs,rhs);CHKERRQ(ierr); 781fb223d50SStefano Zampini } 782534831adSStefano Zampini PetscFunctionReturn(0); 783534831adSStefano Zampini } 784534831adSStefano Zampini /* -------------------------------------------------------------------------- */ 78553cdbc3dSStefano Zampini #undef __FUNCT__ 78653cdbc3dSStefano Zampini #define __FUNCT__ "PCSetUp_BDDC" 7870c7d97c5SJed Brown /* -------------------------------------------------------------------------- */ 7880c7d97c5SJed Brown /* 7890c7d97c5SJed Brown PCSetUp_BDDC - Prepares for the use of the BDDC preconditioner 7900c7d97c5SJed Brown by setting data structures and options. 7910c7d97c5SJed Brown 7920c7d97c5SJed Brown Input Parameter: 79353cdbc3dSStefano Zampini + pc - the preconditioner context 7940c7d97c5SJed Brown 7950c7d97c5SJed Brown Application Interface Routine: PCSetUp() 7960c7d97c5SJed Brown 7970c7d97c5SJed Brown Notes: 7980c7d97c5SJed Brown The interface routine PCSetUp() is not usually called directly by 7990c7d97c5SJed Brown the user, but instead is called by PCApply() if necessary. 8000c7d97c5SJed Brown */ 80153cdbc3dSStefano Zampini PetscErrorCode PCSetUp_BDDC(PC pc) 8020c7d97c5SJed Brown { 8030c7d97c5SJed Brown PetscErrorCode ierr; 8040c7d97c5SJed Brown PC_BDDC* pcbddc = (PC_BDDC*)pc->data; 805f4ddd8eeSStefano Zampini MatNullSpace nearnullspace; 806674ae819SStefano Zampini MatStructure flag; 807674ae819SStefano Zampini PetscBool computeis,computetopography,computesolvers; 808*165b64e2SStefano Zampini PetscBool new_nearnullspace_provided; 8090c7d97c5SJed Brown 8100c7d97c5SJed Brown PetscFunctionBegin; 811f4ddd8eeSStefano Zampini /* the following lines of code should be replaced by a better logic between PCIS, PCNN, PCBDDC and other future nonoverlapping preconditioners */ 812f4ddd8eeSStefano Zampini /* PCIS does not support MatStructure flags different from SAME_PRECONDITIONER */ 8133b03a366Sstefano_zampini /* For BDDC we need to define a local "Neumann" problem different to that defined in PCISSetup 814fcd409f5SStefano Zampini Also, BDDC directly build the Dirichlet problem */ 815f4ddd8eeSStefano Zampini 816f4ddd8eeSStefano Zampini /* split work */ 817674ae819SStefano Zampini if (pc->setupcalled) { 818674ae819SStefano Zampini computeis = PETSC_FALSE; 819674ae819SStefano Zampini ierr = PCGetOperators(pc,NULL,NULL,&flag);CHKERRQ(ierr); 820674ae819SStefano Zampini if (flag == SAME_PRECONDITIONER) { 821f4ddd8eeSStefano Zampini PetscFunctionReturn(0); 822674ae819SStefano Zampini } else if (flag == SAME_NONZERO_PATTERN) { 823674ae819SStefano Zampini computetopography = PETSC_FALSE; 824674ae819SStefano Zampini computesolvers = PETSC_TRUE; 825674ae819SStefano Zampini } else { /* DIFFERENT_NONZERO_PATTERN */ 826674ae819SStefano Zampini computetopography = PETSC_TRUE; 827674ae819SStefano Zampini computesolvers = PETSC_TRUE; 828674ae819SStefano Zampini } 829674ae819SStefano Zampini } else { 830674ae819SStefano Zampini computeis = PETSC_TRUE; 831674ae819SStefano Zampini computetopography = PETSC_TRUE; 832674ae819SStefano Zampini computesolvers = PETSC_TRUE; 833674ae819SStefano Zampini } 834fb180af4SStefano Zampini if (pcbddc->recompute_topography) { 835fb180af4SStefano Zampini computetopography = PETSC_TRUE; 836fb180af4SStefano Zampini } 837f4ddd8eeSStefano Zampini 838f4ddd8eeSStefano Zampini /* Get stdout for dbg */ 839f4ddd8eeSStefano Zampini if (pcbddc->dbg_flag && !pcbddc->dbg_viewer) { 840f4ddd8eeSStefano Zampini ierr = PetscViewerASCIIGetStdout(PetscObjectComm((PetscObject)pc),&pcbddc->dbg_viewer);CHKERRQ(ierr); 841f4ddd8eeSStefano Zampini ierr = PetscViewerASCIISynchronizedAllow(pcbddc->dbg_viewer,PETSC_TRUE);CHKERRQ(ierr); 842f4ddd8eeSStefano Zampini if (pcbddc->current_level) { 843f4ddd8eeSStefano Zampini ierr = PetscViewerASCIIAddTab(pcbddc->dbg_viewer,2);CHKERRQ(ierr); 844f4ddd8eeSStefano Zampini } 845f4ddd8eeSStefano Zampini } 846f4ddd8eeSStefano Zampini 847fcd409f5SStefano Zampini /* Set up all the "iterative substructuring" common block without computing solvers */ 848674ae819SStefano Zampini if (computeis) { 849fcd409f5SStefano Zampini /* HACK INTO PCIS */ 850fcd409f5SStefano Zampini PC_IS* pcis = (PC_IS*)pc->data; 851fcd409f5SStefano Zampini pcis->computesolvers = PETSC_FALSE; 852674ae819SStefano Zampini ierr = PCISSetUp(pc);CHKERRQ(ierr); 85339e2fb2aSStefano Zampini ierr = ISLocalToGlobalMappingCreateIS(pcis->is_B_local,&pcbddc->BtoNmap);CHKERRQ(ierr); 854674ae819SStefano Zampini } 855f4ddd8eeSStefano Zampini 856f4ddd8eeSStefano Zampini /* Analyze interface */ 857674ae819SStefano Zampini if (computetopography) { 858674ae819SStefano Zampini ierr = PCBDDCAnalyzeInterface(pc);CHKERRQ(ierr); 859fb8d54d4SStefano Zampini } 860fb8d54d4SStefano Zampini 861f4ddd8eeSStefano Zampini /* infer if NullSpace object attached to Mat via MatSetNearNullSpace has changed */ 862fb8d54d4SStefano Zampini new_nearnullspace_provided = PETSC_FALSE; 863f4ddd8eeSStefano Zampini ierr = MatGetNearNullSpace(pc->pmat,&nearnullspace);CHKERRQ(ierr); 864f4ddd8eeSStefano Zampini if (pcbddc->onearnullspace) { /* already used nearnullspace */ 865f4ddd8eeSStefano Zampini if (!nearnullspace) { /* near null space attached to mat has been destroyed */ 866f4ddd8eeSStefano Zampini new_nearnullspace_provided = PETSC_TRUE; 867f4ddd8eeSStefano Zampini } else { 868f4ddd8eeSStefano Zampini /* determine if the two nullspaces are different (should be lightweight) */ 869f4ddd8eeSStefano Zampini if (nearnullspace != pcbddc->onearnullspace) { 870f4ddd8eeSStefano Zampini new_nearnullspace_provided = PETSC_TRUE; 871*165b64e2SStefano Zampini } else { /* maybe the user has changed the content of the nearnullspace so check vectors ObjectStateId */ 872f4ddd8eeSStefano Zampini PetscInt i; 873*165b64e2SStefano Zampini const Vec *nearnullvecs; 874*165b64e2SStefano Zampini PetscObjectState state; 875*165b64e2SStefano Zampini PetscInt nnsp_size; 876*165b64e2SStefano Zampini ierr = MatNullSpaceGetVecs(nearnullspace,NULL,&nnsp_size,&nearnullvecs);CHKERRQ(ierr); 877f4ddd8eeSStefano Zampini for (i=0;i<nnsp_size;i++) { 878f4ddd8eeSStefano Zampini ierr = PetscObjectStateGet((PetscObject)nearnullvecs[i],&state);CHKERRQ(ierr); 879*165b64e2SStefano Zampini if (pcbddc->onearnullvecs_state[i] != state) { 880f4ddd8eeSStefano Zampini new_nearnullspace_provided = PETSC_TRUE; 881f4ddd8eeSStefano Zampini break; 882f4ddd8eeSStefano Zampini } 883f4ddd8eeSStefano Zampini } 884f4ddd8eeSStefano Zampini } 885f4ddd8eeSStefano Zampini } 886f4ddd8eeSStefano Zampini } else { 887f4ddd8eeSStefano Zampini if (!nearnullspace) { /* both nearnullspaces are null */ 888f4ddd8eeSStefano Zampini new_nearnullspace_provided = PETSC_FALSE; 889f4ddd8eeSStefano Zampini } else { /* nearnullspace attached later */ 890f4ddd8eeSStefano Zampini new_nearnullspace_provided = PETSC_TRUE; 891f4ddd8eeSStefano Zampini } 892f4ddd8eeSStefano Zampini } 893f4ddd8eeSStefano Zampini 894f4ddd8eeSStefano Zampini /* Setup constraints and related work vectors */ 895727cdba6SStefano Zampini /* reset primal space flags */ 896f4ddd8eeSStefano Zampini pcbddc->new_primal_space = PETSC_FALSE; 897727cdba6SStefano Zampini pcbddc->new_primal_space_local = PETSC_FALSE; 898fb8d54d4SStefano Zampini if (computetopography || new_nearnullspace_provided) { 899727cdba6SStefano Zampini /* It also sets the primal space flags */ 900674ae819SStefano Zampini ierr = PCBDDCConstraintsSetUp(pc);CHKERRQ(ierr); 901e7b262bdSStefano Zampini /* Allocate needed local vectors (which depends on quantities defined during ConstraintsSetUp) */ 902f4ddd8eeSStefano Zampini ierr = PCBDDCSetUpLocalWorkVectors(pc);CHKERRQ(ierr); 903674ae819SStefano Zampini } 904fb8d54d4SStefano Zampini 905f4ddd8eeSStefano Zampini if (computesolvers || pcbddc->new_primal_space) { 906674ae819SStefano Zampini /* reset data */ 907674ae819SStefano Zampini ierr = PCBDDCScalingDestroy(pc);CHKERRQ(ierr); 90899cc7994SStefano Zampini /* Create coarse and local stuffs */ 90999cc7994SStefano Zampini ierr = PCBDDCSetUpSolvers(pc);CHKERRQ(ierr); 910674ae819SStefano Zampini ierr = PCBDDCScalingSetUp(pc);CHKERRQ(ierr); 9110c7d97c5SJed Brown } 9122b510759SStefano Zampini if (pcbddc->dbg_flag && pcbddc->current_level) { 9132b510759SStefano Zampini ierr = PetscViewerASCIISubtractTab(pcbddc->dbg_viewer,2);CHKERRQ(ierr); 9142b510759SStefano Zampini } 9150c7d97c5SJed Brown PetscFunctionReturn(0); 9160c7d97c5SJed Brown } 9170c7d97c5SJed Brown 9180c7d97c5SJed Brown /* -------------------------------------------------------------------------- */ 9190c7d97c5SJed Brown /* 9200c7d97c5SJed Brown PCApply_BDDC - Applies the BDDC preconditioner to a vector. 9210c7d97c5SJed Brown 9220c7d97c5SJed Brown Input Parameters: 9230c7d97c5SJed Brown . pc - the preconditioner context 9240c7d97c5SJed Brown . r - input vector (global) 9250c7d97c5SJed Brown 9260c7d97c5SJed Brown Output Parameter: 9270c7d97c5SJed Brown . z - output vector (global) 9280c7d97c5SJed Brown 9290c7d97c5SJed Brown Application Interface Routine: PCApply() 9300c7d97c5SJed Brown */ 9310c7d97c5SJed Brown #undef __FUNCT__ 9320c7d97c5SJed Brown #define __FUNCT__ "PCApply_BDDC" 93353cdbc3dSStefano Zampini PetscErrorCode PCApply_BDDC(PC pc,Vec r,Vec z) 9340c7d97c5SJed Brown { 9350c7d97c5SJed Brown PC_IS *pcis = (PC_IS*)(pc->data); 9360c7d97c5SJed Brown PC_BDDC *pcbddc = (PC_BDDC*)(pc->data); 9370c7d97c5SJed Brown PetscErrorCode ierr; 9383b03a366Sstefano_zampini const PetscScalar one = 1.0; 9393b03a366Sstefano_zampini const PetscScalar m_one = -1.0; 9402617d88aSStefano Zampini const PetscScalar zero = 0.0; 9410c7d97c5SJed Brown 9420c7d97c5SJed Brown /* This code is similar to that provided in nn.c for PCNN 9430c7d97c5SJed Brown NN interface preconditioner changed to BDDC 9448eeda7d8SStefano Zampini Added support for M_3 preconditioner in the reference article (code is active if pcbddc->switch_static = PETSC_TRUE) */ 9450c7d97c5SJed Brown 9460c7d97c5SJed Brown PetscFunctionBegin; 94785c4d303SStefano Zampini if (!pcbddc->use_exact_dirichlet_trick) { 9480c7d97c5SJed Brown /* First Dirichlet solve */ 9490c7d97c5SJed Brown ierr = VecScatterBegin(pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 9500c7d97c5SJed Brown ierr = VecScatterEnd (pcis->global_to_D,r,pcis->vec1_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 95153cdbc3dSStefano Zampini ierr = KSPSolve(pcbddc->ksp_D,pcis->vec1_D,pcis->vec2_D);CHKERRQ(ierr); 9520c7d97c5SJed Brown /* 9530c7d97c5SJed Brown Assembling right hand side for BDDC operator 954674ae819SStefano Zampini - pcis->vec1_D for the Dirichlet part (if needed, i.e. prec_flag=PETSC_TRUE) 955674ae819SStefano Zampini - pcis->vec1_B the interface part of the global vector z 9560c7d97c5SJed Brown */ 9570c7d97c5SJed Brown ierr = VecScale(pcis->vec2_D,m_one);CHKERRQ(ierr); 9580c7d97c5SJed Brown ierr = MatMult(pcis->A_BI,pcis->vec2_D,pcis->vec1_B);CHKERRQ(ierr); 9598eeda7d8SStefano Zampini if (pcbddc->switch_static) { ierr = MatMultAdd(pcis->A_II,pcis->vec2_D,pcis->vec1_D,pcis->vec1_D);CHKERRQ(ierr); } 9600c7d97c5SJed Brown ierr = VecScale(pcis->vec2_D,m_one);CHKERRQ(ierr); 9610c7d97c5SJed Brown ierr = VecCopy(r,z);CHKERRQ(ierr); 9620c7d97c5SJed Brown ierr = VecScatterBegin(pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 9630c7d97c5SJed Brown ierr = VecScatterEnd (pcis->global_to_B,pcis->vec1_B,z,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 964674ae819SStefano Zampini ierr = PCBDDCScalingRestriction(pc,z,pcis->vec1_B);CHKERRQ(ierr); 965b76ba322SStefano Zampini } else { 9660bdf917eSStefano Zampini ierr = VecSet(pcis->vec1_D,zero);CHKERRQ(ierr); 967b76ba322SStefano Zampini ierr = VecSet(pcis->vec2_D,zero);CHKERRQ(ierr); 968674ae819SStefano Zampini ierr = PCBDDCScalingRestriction(pc,r,pcis->vec1_B);CHKERRQ(ierr); 969b76ba322SStefano Zampini } 970b76ba322SStefano Zampini 9712617d88aSStefano Zampini /* Apply interface preconditioner 9722617d88aSStefano Zampini input/output vecs: pcis->vec1_B and pcis->vec1_D */ 9732617d88aSStefano Zampini ierr = PCBDDCApplyInterfacePreconditioner(pc);CHKERRQ(ierr); 9742617d88aSStefano Zampini 975674ae819SStefano Zampini /* Apply transpose of partition of unity operator */ 976674ae819SStefano Zampini ierr = PCBDDCScalingExtension(pc,pcis->vec1_B,z);CHKERRQ(ierr); 9770c7d97c5SJed Brown 9783b03a366Sstefano_zampini /* Second Dirichlet solve and assembling of output */ 9790c7d97c5SJed Brown ierr = VecScatterBegin(pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 9800c7d97c5SJed Brown ierr = VecScatterEnd (pcis->global_to_B,z,pcis->vec1_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 9810c7d97c5SJed Brown ierr = MatMult(pcis->A_IB,pcis->vec1_B,pcis->vec3_D);CHKERRQ(ierr); 9828eeda7d8SStefano Zampini if (pcbddc->switch_static) { ierr = MatMultAdd(pcis->A_II,pcis->vec1_D,pcis->vec3_D,pcis->vec3_D);CHKERRQ(ierr); } 983df187020SStefano Zampini ierr = KSPSolve(pcbddc->ksp_D,pcis->vec3_D,pcis->vec4_D);CHKERRQ(ierr); 984df187020SStefano Zampini ierr = VecScale(pcis->vec4_D,m_one);CHKERRQ(ierr); 985df187020SStefano Zampini if (pcbddc->switch_static) { ierr = VecAXPY (pcis->vec4_D,one,pcis->vec1_D);CHKERRQ(ierr); } 986df187020SStefano Zampini ierr = VecAXPY (pcis->vec2_D,one,pcis->vec4_D);CHKERRQ(ierr); 9870c7d97c5SJed Brown ierr = VecScatterBegin(pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 9880c7d97c5SJed Brown ierr = VecScatterEnd (pcis->global_to_D,pcis->vec2_D,z,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 9890c7d97c5SJed Brown PetscFunctionReturn(0); 9900c7d97c5SJed Brown } 991da1bb401SStefano Zampini /* -------------------------------------------------------------------------- */ 992674ae819SStefano Zampini 993da1bb401SStefano Zampini #undef __FUNCT__ 994da1bb401SStefano Zampini #define __FUNCT__ "PCDestroy_BDDC" 995da1bb401SStefano Zampini PetscErrorCode PCDestroy_BDDC(PC pc) 996da1bb401SStefano Zampini { 997da1bb401SStefano Zampini PC_BDDC *pcbddc = (PC_BDDC*)pc->data; 998da1bb401SStefano Zampini PetscErrorCode ierr; 999da1bb401SStefano Zampini 1000da1bb401SStefano Zampini PetscFunctionBegin; 1001da1bb401SStefano Zampini /* free data created by PCIS */ 1002da1bb401SStefano Zampini ierr = PCISDestroy(pc);CHKERRQ(ierr); 1003674ae819SStefano Zampini /* free BDDC custom data */ 1004674ae819SStefano Zampini ierr = PCBDDCResetCustomization(pc);CHKERRQ(ierr); 1005674ae819SStefano Zampini /* destroy objects related to topography */ 1006674ae819SStefano Zampini ierr = PCBDDCResetTopography(pc);CHKERRQ(ierr); 1007674ae819SStefano Zampini /* free allocated graph structure */ 1008da1bb401SStefano Zampini ierr = PetscFree(pcbddc->mat_graph);CHKERRQ(ierr); 1009674ae819SStefano Zampini /* free data for scaling operator */ 1010674ae819SStefano Zampini ierr = PCBDDCScalingDestroy(pc);CHKERRQ(ierr); 1011674ae819SStefano Zampini /* free solvers stuff */ 1012674ae819SStefano Zampini ierr = PCBDDCResetSolvers(pc);CHKERRQ(ierr); 101362a6ff1dSStefano Zampini /* free global vectors needed in presolve */ 101462a6ff1dSStefano Zampini ierr = VecDestroy(&pcbddc->temp_solution);CHKERRQ(ierr); 101562a6ff1dSStefano Zampini ierr = VecDestroy(&pcbddc->original_rhs);CHKERRQ(ierr); 101639e2fb2aSStefano Zampini ierr = ISLocalToGlobalMappingDestroy(&pcbddc->BtoNmap);CHKERRQ(ierr); 10173425bc38SStefano Zampini /* remove functions */ 1018674ae819SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetPrimalVerticesLocalIS_C",NULL);CHKERRQ(ierr); 1019bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetCoarseningRatio_C",NULL);CHKERRQ(ierr); 10202b510759SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevel_C",NULL);CHKERRQ(ierr); 1021b8ffe317SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetUseExactDirichlet_C",NULL);CHKERRQ(ierr); 10222b510759SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevels_C",NULL);CHKERRQ(ierr); 1023bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNullSpace_C",NULL);CHKERRQ(ierr); 1024bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundaries_C",NULL);CHKERRQ(ierr); 1025bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundaries_C",NULL);CHKERRQ(ierr); 1026bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundaries_C",NULL);CHKERRQ(ierr); 1027bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundaries_C",NULL);CHKERRQ(ierr); 1028bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplitting_C",NULL);CHKERRQ(ierr); 1029bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",NULL);CHKERRQ(ierr); 1030bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCCreateFETIDPOperators_C",NULL);CHKERRQ(ierr); 1031bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetRHS_C",NULL);CHKERRQ(ierr); 1032bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetSolution_C",NULL);CHKERRQ(ierr); 1033674ae819SStefano Zampini /* Free the private data structure */ 1034674ae819SStefano Zampini ierr = PetscFree(pc->data);CHKERRQ(ierr); 1035da1bb401SStefano Zampini PetscFunctionReturn(0); 1036da1bb401SStefano Zampini } 10373425bc38SStefano Zampini /* -------------------------------------------------------------------------- */ 10381e6b0712SBarry Smith 10393425bc38SStefano Zampini #undef __FUNCT__ 10403425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetRHS_BDDC" 10413425bc38SStefano Zampini static PetscErrorCode PCBDDCMatFETIDPGetRHS_BDDC(Mat fetidp_mat, Vec standard_rhs, Vec fetidp_flux_rhs) 10423425bc38SStefano Zampini { 1043674ae819SStefano Zampini FETIDPMat_ctx mat_ctx; 10443425bc38SStefano Zampini PC_IS* pcis; 10453425bc38SStefano Zampini PC_BDDC* pcbddc; 10463425bc38SStefano Zampini PetscErrorCode ierr; 10470c7d97c5SJed Brown 10483425bc38SStefano Zampini PetscFunctionBegin; 10493425bc38SStefano Zampini ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr); 10503425bc38SStefano Zampini pcis = (PC_IS*)mat_ctx->pc->data; 10513425bc38SStefano Zampini pcbddc = (PC_BDDC*)mat_ctx->pc->data; 10523425bc38SStefano Zampini 10533425bc38SStefano Zampini /* change of basis for physical rhs if needed 10543425bc38SStefano Zampini It also changes the rhs in case of dirichlet boundaries */ 10553308cffdSStefano Zampini ierr = PCPreSolve_BDDC(mat_ctx->pc,NULL,standard_rhs,NULL);CHKERRQ(ierr); 10563425bc38SStefano Zampini /* store vectors for computation of fetidp final solution */ 10573425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_D,standard_rhs,mat_ctx->temp_solution_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10583425bc38SStefano Zampini ierr = VecScatterEnd(pcis->global_to_D,standard_rhs,mat_ctx->temp_solution_D,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 1059fb223d50SStefano Zampini /* scale rhs since it should be unassembled */ 1060fb223d50SStefano Zampini /* TODO use counter scaling? (also below) */ 10613425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10623425bc38SStefano Zampini ierr = VecScatterEnd(pcis->global_to_B,standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 1063674ae819SStefano Zampini /* Apply partition of unity */ 10643425bc38SStefano Zampini ierr = VecPointwiseMult(mat_ctx->temp_solution_B,pcis->D,mat_ctx->temp_solution_B);CHKERRQ(ierr); 1065674ae819SStefano Zampini /* ierr = PCBDDCScalingRestriction(mat_ctx->pc,standard_rhs,mat_ctx->temp_solution_B);CHKERRQ(ierr); */ 10668eeda7d8SStefano Zampini if (!pcbddc->switch_static) { 10673425bc38SStefano Zampini /* compute partially subassembled Schur complement right-hand side */ 10683425bc38SStefano Zampini ierr = KSPSolve(pcbddc->ksp_D,mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr); 10693425bc38SStefano Zampini ierr = MatMult(pcis->A_BI,pcis->vec1_D,pcis->vec1_B);CHKERRQ(ierr); 10703425bc38SStefano Zampini ierr = VecAXPY(mat_ctx->temp_solution_B,-1.0,pcis->vec1_B);CHKERRQ(ierr); 10713425bc38SStefano Zampini ierr = VecSet(standard_rhs,0.0);CHKERRQ(ierr); 10723425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,mat_ctx->temp_solution_B,standard_rhs,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 10733425bc38SStefano Zampini ierr = VecScatterEnd(pcis->global_to_B,mat_ctx->temp_solution_B,standard_rhs,ADD_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 1074674ae819SStefano Zampini /* ierr = PCBDDCScalingRestriction(mat_ctx->pc,standard_rhs,mat_ctx->temp_solution_B);CHKERRQ(ierr); */ 10753425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10763425bc38SStefano Zampini ierr = VecScatterEnd(pcis->global_to_B,standard_rhs,mat_ctx->temp_solution_B,INSERT_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10773425bc38SStefano Zampini ierr = VecPointwiseMult(mat_ctx->temp_solution_B,pcis->D,mat_ctx->temp_solution_B);CHKERRQ(ierr); 10783425bc38SStefano Zampini } 10793425bc38SStefano Zampini /* BDDC rhs */ 10803425bc38SStefano Zampini ierr = VecCopy(mat_ctx->temp_solution_B,pcis->vec1_B);CHKERRQ(ierr); 10818eeda7d8SStefano Zampini if (pcbddc->switch_static) { 10823425bc38SStefano Zampini ierr = VecCopy(mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr); 10833425bc38SStefano Zampini } 10843425bc38SStefano Zampini /* apply BDDC */ 10853425bc38SStefano Zampini ierr = PCBDDCApplyInterfacePreconditioner(mat_ctx->pc);CHKERRQ(ierr); 10863425bc38SStefano Zampini /* Application of B_delta and assembling of rhs for fetidp fluxes */ 10873425bc38SStefano Zampini ierr = VecSet(fetidp_flux_rhs,0.0);CHKERRQ(ierr); 10883425bc38SStefano Zampini ierr = MatMult(mat_ctx->B_delta,pcis->vec1_B,mat_ctx->lambda_local);CHKERRQ(ierr); 10893425bc38SStefano Zampini ierr = VecScatterBegin(mat_ctx->l2g_lambda,mat_ctx->lambda_local,fetidp_flux_rhs,ADD_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10903425bc38SStefano Zampini ierr = VecScatterEnd (mat_ctx->l2g_lambda,mat_ctx->lambda_local,fetidp_flux_rhs,ADD_VALUES,SCATTER_FORWARD);CHKERRQ(ierr); 10913425bc38SStefano Zampini /* restore original rhs */ 10923425bc38SStefano Zampini ierr = VecCopy(pcbddc->original_rhs,standard_rhs);CHKERRQ(ierr); 10933425bc38SStefano Zampini PetscFunctionReturn(0); 10943425bc38SStefano Zampini } 10951e6b0712SBarry Smith 10963425bc38SStefano Zampini #undef __FUNCT__ 10973425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetRHS" 10983425bc38SStefano Zampini /*@ 109928509bceSStefano Zampini PCBDDCMatFETIDPGetRHS - Compute the right-hand side for FETIDP linear system 11003425bc38SStefano Zampini 11013425bc38SStefano Zampini Collective 11023425bc38SStefano Zampini 11033425bc38SStefano Zampini Input Parameters: 110428509bceSStefano Zampini + fetidp_mat - the FETIDP matrix object obtained by calling PCBDDCCreateFETIDPOperators 110528509bceSStefano Zampini . standard_rhs - the right-hand side for your linear system 11063425bc38SStefano Zampini 11073425bc38SStefano Zampini Output Parameters: 110828509bceSStefano Zampini - fetidp_flux_rhs - the right-hand side for the FETIDP linear system 11093425bc38SStefano Zampini 11103425bc38SStefano Zampini Level: developer 11113425bc38SStefano Zampini 11123425bc38SStefano Zampini Notes: 11133425bc38SStefano Zampini 111428509bceSStefano Zampini .seealso: PCBDDC,PCBDDCCreateFETIDPOperators 11153425bc38SStefano Zampini @*/ 11163425bc38SStefano Zampini PetscErrorCode PCBDDCMatFETIDPGetRHS(Mat fetidp_mat, Vec standard_rhs, Vec fetidp_flux_rhs) 11173425bc38SStefano Zampini { 1118674ae819SStefano Zampini FETIDPMat_ctx mat_ctx; 11193425bc38SStefano Zampini PetscErrorCode ierr; 11203425bc38SStefano Zampini 11213425bc38SStefano Zampini PetscFunctionBegin; 11223425bc38SStefano Zampini ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr); 11233425bc38SStefano Zampini ierr = PetscTryMethod(mat_ctx->pc,"PCBDDCMatFETIDPGetRHS_C",(Mat,Vec,Vec),(fetidp_mat,standard_rhs,fetidp_flux_rhs));CHKERRQ(ierr); 11243425bc38SStefano Zampini PetscFunctionReturn(0); 11253425bc38SStefano Zampini } 11263425bc38SStefano Zampini /* -------------------------------------------------------------------------- */ 11271e6b0712SBarry Smith 11283425bc38SStefano Zampini #undef __FUNCT__ 11293425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetSolution_BDDC" 11303425bc38SStefano Zampini static PetscErrorCode PCBDDCMatFETIDPGetSolution_BDDC(Mat fetidp_mat, Vec fetidp_flux_sol, Vec standard_sol) 11313425bc38SStefano Zampini { 1132674ae819SStefano Zampini FETIDPMat_ctx mat_ctx; 11333425bc38SStefano Zampini PC_IS* pcis; 11343425bc38SStefano Zampini PC_BDDC* pcbddc; 11353425bc38SStefano Zampini PetscErrorCode ierr; 11363425bc38SStefano Zampini 11373425bc38SStefano Zampini PetscFunctionBegin; 11383425bc38SStefano Zampini ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr); 11393425bc38SStefano Zampini pcis = (PC_IS*)mat_ctx->pc->data; 11403425bc38SStefano Zampini pcbddc = (PC_BDDC*)mat_ctx->pc->data; 11413425bc38SStefano Zampini 11423425bc38SStefano Zampini /* apply B_delta^T */ 11433425bc38SStefano Zampini ierr = VecScatterBegin(mat_ctx->l2g_lambda,fetidp_flux_sol,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11443425bc38SStefano Zampini ierr = VecScatterEnd (mat_ctx->l2g_lambda,fetidp_flux_sol,mat_ctx->lambda_local,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11453425bc38SStefano Zampini ierr = MatMultTranspose(mat_ctx->B_delta,mat_ctx->lambda_local,pcis->vec1_B);CHKERRQ(ierr); 11463425bc38SStefano Zampini /* compute rhs for BDDC application */ 11473425bc38SStefano Zampini ierr = VecAYPX(pcis->vec1_B,-1.0,mat_ctx->temp_solution_B);CHKERRQ(ierr); 11488eeda7d8SStefano Zampini if (pcbddc->switch_static) { 11493425bc38SStefano Zampini ierr = VecCopy(mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr); 11503425bc38SStefano Zampini } 11513425bc38SStefano Zampini /* apply BDDC */ 11523425bc38SStefano Zampini ierr = PCBDDCApplyInterfacePreconditioner(mat_ctx->pc);CHKERRQ(ierr); 11533425bc38SStefano Zampini /* put values into standard global vector */ 11543425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_B,pcis->vec1_B,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11553425bc38SStefano Zampini ierr = VecScatterEnd (pcis->global_to_B,pcis->vec1_B,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11568eeda7d8SStefano Zampini if (!pcbddc->switch_static) { 11573425bc38SStefano Zampini /* compute values into the interior if solved for the partially subassembled Schur complement */ 11583425bc38SStefano Zampini ierr = MatMult(pcis->A_IB,pcis->vec1_B,pcis->vec1_D);CHKERRQ(ierr); 11593425bc38SStefano Zampini ierr = VecAXPY(mat_ctx->temp_solution_D,-1.0,pcis->vec1_D);CHKERRQ(ierr); 11603425bc38SStefano Zampini ierr = KSPSolve(pcbddc->ksp_D,mat_ctx->temp_solution_D,pcis->vec1_D);CHKERRQ(ierr); 11613425bc38SStefano Zampini } 11623425bc38SStefano Zampini ierr = VecScatterBegin(pcis->global_to_D,pcis->vec1_D,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11633425bc38SStefano Zampini ierr = VecScatterEnd (pcis->global_to_D,pcis->vec1_D,standard_sol,INSERT_VALUES,SCATTER_REVERSE);CHKERRQ(ierr); 11643425bc38SStefano Zampini /* final change of basis if needed 11653425bc38SStefano Zampini Is also sums the dirichlet part removed during RHS assembling */ 11663308cffdSStefano Zampini ierr = PCPostSolve_BDDC(mat_ctx->pc,NULL,NULL,standard_sol);CHKERRQ(ierr); 11673425bc38SStefano Zampini PetscFunctionReturn(0); 11683425bc38SStefano Zampini } 11691e6b0712SBarry Smith 11703425bc38SStefano Zampini #undef __FUNCT__ 11713425bc38SStefano Zampini #define __FUNCT__ "PCBDDCMatFETIDPGetSolution" 11723425bc38SStefano Zampini /*@ 117328509bceSStefano Zampini PCBDDCMatFETIDPGetSolution - Compute the physical solution from the solution of the FETIDP linear system 11743425bc38SStefano Zampini 11753425bc38SStefano Zampini Collective 11763425bc38SStefano Zampini 11773425bc38SStefano Zampini Input Parameters: 117828509bceSStefano Zampini + fetidp_mat - the FETIDP matrix obtained by calling PCBDDCCreateFETIDPOperators 117928509bceSStefano Zampini . fetidp_flux_sol - the solution of the FETIDP linear system 11803425bc38SStefano Zampini 11813425bc38SStefano Zampini Output Parameters: 118228509bceSStefano Zampini - standard_sol - the solution defined on the physical domain 11833425bc38SStefano Zampini 11843425bc38SStefano Zampini Level: developer 11853425bc38SStefano Zampini 11863425bc38SStefano Zampini Notes: 11873425bc38SStefano Zampini 118828509bceSStefano Zampini .seealso: PCBDDC,PCBDDCCreateFETIDPOperators 11893425bc38SStefano Zampini @*/ 11903425bc38SStefano Zampini PetscErrorCode PCBDDCMatFETIDPGetSolution(Mat fetidp_mat, Vec fetidp_flux_sol, Vec standard_sol) 11913425bc38SStefano Zampini { 1192674ae819SStefano Zampini FETIDPMat_ctx mat_ctx; 11933425bc38SStefano Zampini PetscErrorCode ierr; 11943425bc38SStefano Zampini 11953425bc38SStefano Zampini PetscFunctionBegin; 11963425bc38SStefano Zampini ierr = MatShellGetContext(fetidp_mat,&mat_ctx);CHKERRQ(ierr); 11973425bc38SStefano Zampini ierr = PetscTryMethod(mat_ctx->pc,"PCBDDCMatFETIDPGetSolution_C",(Mat,Vec,Vec),(fetidp_mat,fetidp_flux_sol,standard_sol));CHKERRQ(ierr); 11983425bc38SStefano Zampini PetscFunctionReturn(0); 11993425bc38SStefano Zampini } 12003425bc38SStefano Zampini /* -------------------------------------------------------------------------- */ 12011e6b0712SBarry Smith 1202f23aa3ddSBarry Smith extern PetscErrorCode FETIDPMatMult(Mat,Vec,Vec); 1203f23aa3ddSBarry Smith extern PetscErrorCode PCBDDCDestroyFETIDPMat(Mat); 1204f23aa3ddSBarry Smith extern PetscErrorCode FETIDPPCApply(PC,Vec,Vec); 1205f23aa3ddSBarry Smith extern PetscErrorCode PCBDDCDestroyFETIDPPC(PC); 1206674ae819SStefano Zampini 12073425bc38SStefano Zampini #undef __FUNCT__ 12083425bc38SStefano Zampini #define __FUNCT__ "PCBDDCCreateFETIDPOperators_BDDC" 12093425bc38SStefano Zampini static PetscErrorCode PCBDDCCreateFETIDPOperators_BDDC(PC pc, Mat *fetidp_mat, PC *fetidp_pc) 12103425bc38SStefano Zampini { 1211674ae819SStefano Zampini 1212674ae819SStefano Zampini FETIDPMat_ctx fetidpmat_ctx; 12133425bc38SStefano Zampini Mat newmat; 1214674ae819SStefano Zampini FETIDPPC_ctx fetidppc_ctx; 12153425bc38SStefano Zampini PC newpc; 1216ce94432eSBarry Smith MPI_Comm comm; 12173425bc38SStefano Zampini PetscErrorCode ierr; 12183425bc38SStefano Zampini 12193425bc38SStefano Zampini PetscFunctionBegin; 1220ce94432eSBarry Smith ierr = PetscObjectGetComm((PetscObject)pc,&comm);CHKERRQ(ierr); 12213425bc38SStefano Zampini /* FETIDP linear matrix */ 12223425bc38SStefano Zampini ierr = PCBDDCCreateFETIDPMatContext(pc,&fetidpmat_ctx);CHKERRQ(ierr); 12233425bc38SStefano Zampini ierr = PCBDDCSetupFETIDPMatContext(fetidpmat_ctx);CHKERRQ(ierr); 12243425bc38SStefano Zampini ierr = MatCreateShell(comm,PETSC_DECIDE,PETSC_DECIDE,fetidpmat_ctx->n_lambda,fetidpmat_ctx->n_lambda,fetidpmat_ctx,&newmat);CHKERRQ(ierr); 12253425bc38SStefano Zampini ierr = MatShellSetOperation(newmat,MATOP_MULT,(void (*)(void))FETIDPMatMult);CHKERRQ(ierr); 12263425bc38SStefano Zampini ierr = MatShellSetOperation(newmat,MATOP_DESTROY,(void (*)(void))PCBDDCDestroyFETIDPMat);CHKERRQ(ierr); 12273425bc38SStefano Zampini ierr = MatSetUp(newmat);CHKERRQ(ierr); 12283425bc38SStefano Zampini /* FETIDP preconditioner */ 12293425bc38SStefano Zampini ierr = PCBDDCCreateFETIDPPCContext(pc,&fetidppc_ctx);CHKERRQ(ierr); 12303425bc38SStefano Zampini ierr = PCBDDCSetupFETIDPPCContext(newmat,fetidppc_ctx);CHKERRQ(ierr); 12313425bc38SStefano Zampini ierr = PCCreate(comm,&newpc);CHKERRQ(ierr); 12323425bc38SStefano Zampini ierr = PCSetType(newpc,PCSHELL);CHKERRQ(ierr); 12333425bc38SStefano Zampini ierr = PCShellSetContext(newpc,fetidppc_ctx);CHKERRQ(ierr); 12343425bc38SStefano Zampini ierr = PCShellSetApply(newpc,FETIDPPCApply);CHKERRQ(ierr); 12353425bc38SStefano Zampini ierr = PCShellSetDestroy(newpc,PCBDDCDestroyFETIDPPC);CHKERRQ(ierr); 12363425bc38SStefano Zampini ierr = PCSetOperators(newpc,newmat,newmat,SAME_PRECONDITIONER);CHKERRQ(ierr); 12373425bc38SStefano Zampini ierr = PCSetUp(newpc);CHKERRQ(ierr); 12383425bc38SStefano Zampini /* return pointers for objects created */ 12393425bc38SStefano Zampini *fetidp_mat=newmat; 12403425bc38SStefano Zampini *fetidp_pc=newpc; 12413425bc38SStefano Zampini PetscFunctionReturn(0); 12423425bc38SStefano Zampini } 12431e6b0712SBarry Smith 12443425bc38SStefano Zampini #undef __FUNCT__ 12453425bc38SStefano Zampini #define __FUNCT__ "PCBDDCCreateFETIDPOperators" 12463425bc38SStefano Zampini /*@ 124728509bceSStefano Zampini PCBDDCCreateFETIDPOperators - Create operators for FETIDP 12483425bc38SStefano Zampini 12493425bc38SStefano Zampini Collective 12503425bc38SStefano Zampini 12513425bc38SStefano Zampini Input Parameters: 125228509bceSStefano Zampini + pc - the BDDC preconditioning context already setup 125328509bceSStefano Zampini 125428509bceSStefano Zampini Output Parameters: 125528509bceSStefano Zampini . fetidp_mat - shell FETIDP matrix object 125628509bceSStefano Zampini . fetidp_pc - shell Dirichlet preconditioner for FETIDP matrix 125728509bceSStefano Zampini 125828509bceSStefano Zampini Options Database Keys: 125928509bceSStefano Zampini - -fetidp_fullyredundant: use or not a fully redundant set of Lagrange multipliers 12603425bc38SStefano Zampini 12613425bc38SStefano Zampini Level: developer 12623425bc38SStefano Zampini 12633425bc38SStefano Zampini Notes: 126428509bceSStefano Zampini Currently the only operation provided for FETIDP matrix is MatMult 12653425bc38SStefano Zampini 12663425bc38SStefano Zampini .seealso: PCBDDC 12673425bc38SStefano Zampini @*/ 12683425bc38SStefano Zampini PetscErrorCode PCBDDCCreateFETIDPOperators(PC pc, Mat *fetidp_mat, PC *fetidp_pc) 12693425bc38SStefano Zampini { 12703425bc38SStefano Zampini PetscErrorCode ierr; 12713425bc38SStefano Zampini 12723425bc38SStefano Zampini PetscFunctionBegin; 12733425bc38SStefano Zampini PetscValidHeaderSpecific(pc,PC_CLASSID,1); 12743425bc38SStefano Zampini if (pc->setupcalled) { 1275516d51a7SStefano Zampini ierr = PetscUseMethod(pc,"PCBDDCCreateFETIDPOperators_C",(PC,Mat*,PC*),(pc,fetidp_mat,fetidp_pc));CHKERRQ(ierr); 1276f23aa3ddSBarry Smith } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"You must call PCSetup_BDDC() first \n"); 12773425bc38SStefano Zampini PetscFunctionReturn(0); 12783425bc38SStefano Zampini } 12790c7d97c5SJed Brown /* -------------------------------------------------------------------------- */ 1280da1bb401SStefano Zampini /*MC 1281da1bb401SStefano Zampini PCBDDC - Balancing Domain Decomposition by Constraints. 12820c7d97c5SJed Brown 128328509bceSStefano Zampini An implementation of the BDDC preconditioner based on 128428509bceSStefano Zampini 128528509bceSStefano Zampini .vb 128628509bceSStefano Zampini [1] C. R. Dohrmann. "An approximate BDDC preconditioner", Numerical Linear Algebra with Applications Volume 14, Issue 2, pages 149-168, March 2007 128728509bceSStefano 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 128828509bceSStefano Zampini [3] J. Mandel, B. Sousedik, C. R. Dohrmann. "Multispace and Multilevel BDDC", http://arxiv.org/abs/0712.3977 128928509bceSStefano Zampini .ve 129028509bceSStefano Zampini 129128509bceSStefano Zampini The matrix to be preconditioned (Pmat) must be of type MATIS. 129228509bceSStefano Zampini 1293b6fdb6dfSStefano Zampini Currently works with MATIS matrices with local Neumann matrices of type MATSEQAIJ, MATSEQBAIJ or MATSEQSBAIJ, either with real or complex numbers. 129428509bceSStefano Zampini 129528509bceSStefano Zampini It also works with unsymmetric and indefinite problems. 129628509bceSStefano Zampini 1297b6fdb6dfSStefano 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. 1298b6fdb6dfSStefano Zampini 129928509bceSStefano Zampini Approximate local solvers are automatically adapted for singular linear problems (see [1]) if the user has provided the nullspace using PCBDDCSetNullSpace 130028509bceSStefano Zampini 130128509bceSStefano Zampini 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 130228509bceSStefano Zampini 130328509bceSStefano Zampini Constraints can be customized by attaching a MatNullSpace object to the MATIS matrix via MatSetNearNullSpace. 130428509bceSStefano Zampini 1305b6fdb6dfSStefano 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. 130628509bceSStefano Zampini 130728509bceSStefano Zampini The PETSc implementation also supports multilevel BDDC [3]. Coarse grids are partitioned using MatPartitioning object. 130828509bceSStefano Zampini 1309da1bb401SStefano Zampini Options Database Keys: 131028509bceSStefano Zampini 131128509bceSStefano Zampini . -pc_bddc_use_vertices <1> - use or not vertices in primal space 131228509bceSStefano Zampini . -pc_bddc_use_edges <1> - use or not edges in primal space 1313b6fdb6dfSStefano Zampini . -pc_bddc_use_faces <0> - use or not faces in primal space 131428509bceSStefano Zampini . -pc_bddc_use_change_of_basis <0> - use change of basis approach (on edges only) 131528509bceSStefano Zampini . -pc_bddc_use_change_on_faces <0> - use change of basis approach on faces if change of basis has been requested 131628509bceSStefano Zampini . -pc_bddc_switch_static <0> - switches from M_2 to M_3 operator (see reference article [1]) 131728509bceSStefano Zampini . -pc_bddc_levels <0> - maximum number of levels for multilevel 131828509bceSStefano Zampini . -pc_bddc_coarsening_ratio - H/h ratio at the coarser level 131928509bceSStefano Zampini - -pc_bddc_check_level <0> - set verbosity level of debugging output 132028509bceSStefano Zampini 132128509bceSStefano Zampini Options for Dirichlet, Neumann or coarse solver can be set with 132228509bceSStefano Zampini .vb 132328509bceSStefano Zampini -pc_bddc_dirichlet_ 132428509bceSStefano Zampini -pc_bddc_neumann_ 132528509bceSStefano Zampini -pc_bddc_coarse_ 132628509bceSStefano Zampini .ve 132728509bceSStefano Zampini e.g -pc_bddc_dirichlet_ksp_type richardson -pc_bddc_dirichlet_pc_type gamg 132828509bceSStefano Zampini 132928509bceSStefano Zampini When using a multilevel approach, solvers' options at the N-th level can be specified as 133028509bceSStefano Zampini .vb 133128509bceSStefano Zampini -pc_bddc_dirichlet_N_ 133228509bceSStefano Zampini -pc_bddc_neumann_N_ 133328509bceSStefano Zampini -pc_bddc_coarse_N_ 133428509bceSStefano Zampini .ve 133528509bceSStefano Zampini Note that level number ranges from the finest 0 to the coarsest N 1336da1bb401SStefano Zampini 1337da1bb401SStefano Zampini Level: intermediate 1338da1bb401SStefano Zampini 1339b6fdb6dfSStefano Zampini Developer notes: 134028509bceSStefano Zampini Currently does not work with KSPBCGS and other KSPs requiring the specialization of PCApplyTranspose 1341da1bb401SStefano Zampini 134228509bceSStefano Zampini New deluxe scaling operator will be available soon. 1343da1bb401SStefano Zampini 1344da1bb401SStefano Zampini Contributed by Stefano Zampini 1345da1bb401SStefano Zampini 1346da1bb401SStefano Zampini .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC, MATIS 1347da1bb401SStefano Zampini M*/ 1348b2573a8aSBarry Smith 1349da1bb401SStefano Zampini #undef __FUNCT__ 1350da1bb401SStefano Zampini #define __FUNCT__ "PCCreate_BDDC" 13518cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_BDDC(PC pc) 1352da1bb401SStefano Zampini { 1353da1bb401SStefano Zampini PetscErrorCode ierr; 1354da1bb401SStefano Zampini PC_BDDC *pcbddc; 1355da1bb401SStefano Zampini 1356da1bb401SStefano Zampini PetscFunctionBegin; 1357da1bb401SStefano Zampini /* Creates the private data structure for this preconditioner and attach it to the PC object. */ 1358da1bb401SStefano Zampini ierr = PetscNewLog(pc,PC_BDDC,&pcbddc);CHKERRQ(ierr); 1359da1bb401SStefano Zampini pc->data = (void*)pcbddc; 1360da1bb401SStefano Zampini 1361da1bb401SStefano Zampini /* create PCIS data structure */ 1362da1bb401SStefano Zampini ierr = PCISCreate(pc);CHKERRQ(ierr); 1363da1bb401SStefano Zampini 136447d04d0dSStefano Zampini /* BDDC customization */ 136547d04d0dSStefano Zampini pcbddc->use_vertices = PETSC_TRUE; 136647d04d0dSStefano Zampini pcbddc->use_edges = PETSC_TRUE; 136747d04d0dSStefano Zampini pcbddc->use_faces = PETSC_FALSE; 136847d04d0dSStefano Zampini pcbddc->use_change_of_basis = PETSC_FALSE; 136947d04d0dSStefano Zampini pcbddc->use_change_on_faces = PETSC_FALSE; 137047d04d0dSStefano Zampini pcbddc->switch_static = PETSC_FALSE; 137147d04d0dSStefano Zampini pcbddc->use_nnsp_true = PETSC_FALSE; /* not yet exposed */ 137247d04d0dSStefano Zampini pcbddc->dbg_flag = 0; 137347d04d0dSStefano Zampini 137439e2fb2aSStefano Zampini pcbddc->BtoNmap = 0; 1375727cdba6SStefano Zampini pcbddc->local_primal_size = 0; 1376e9189074SStefano Zampini pcbddc->n_vertices = 0; 1377e9189074SStefano Zampini pcbddc->n_actual_vertices = 0; 1378e9189074SStefano Zampini pcbddc->n_constraints = 0; 1379727cdba6SStefano Zampini pcbddc->primal_indices_local_idxs = 0; 1380fb180af4SStefano Zampini pcbddc->recompute_topography = PETSC_FALSE; 1381f4ddd8eeSStefano Zampini pcbddc->coarse_size = 0; 1382f4ddd8eeSStefano Zampini pcbddc->new_primal_space = PETSC_FALSE; 1383727cdba6SStefano Zampini pcbddc->new_primal_space_local = PETSC_FALSE; 1384f4ddd8eeSStefano Zampini pcbddc->global_primal_indices = 0; 1385f4ddd8eeSStefano Zampini pcbddc->onearnullspace = 0; 1386f4ddd8eeSStefano Zampini pcbddc->onearnullvecs_state = 0; 1387674ae819SStefano Zampini pcbddc->user_primal_vertices = 0; 13880bdf917eSStefano Zampini pcbddc->NullSpace = 0; 13893972b0daSStefano Zampini pcbddc->temp_solution = 0; 1390534831adSStefano Zampini pcbddc->original_rhs = 0; 1391534831adSStefano Zampini pcbddc->local_mat = 0; 1392534831adSStefano Zampini pcbddc->ChangeOfBasisMatrix = 0; 1393da1bb401SStefano Zampini pcbddc->coarse_vec = 0; 1394da1bb401SStefano Zampini pcbddc->coarse_rhs = 0; 1395da1bb401SStefano Zampini pcbddc->coarse_ksp = 0; 1396da1bb401SStefano Zampini pcbddc->coarse_phi_B = 0; 1397da1bb401SStefano Zampini pcbddc->coarse_phi_D = 0; 139815aaf578SStefano Zampini pcbddc->coarse_psi_B = 0; 139915aaf578SStefano Zampini pcbddc->coarse_psi_D = 0; 1400da1bb401SStefano Zampini pcbddc->vec1_P = 0; 1401da1bb401SStefano Zampini pcbddc->vec1_R = 0; 1402da1bb401SStefano Zampini pcbddc->vec2_R = 0; 1403da1bb401SStefano Zampini pcbddc->local_auxmat1 = 0; 1404da1bb401SStefano Zampini pcbddc->local_auxmat2 = 0; 1405da1bb401SStefano Zampini pcbddc->R_to_B = 0; 1406da1bb401SStefano Zampini pcbddc->R_to_D = 0; 1407da1bb401SStefano Zampini pcbddc->ksp_D = 0; 1408da1bb401SStefano Zampini pcbddc->ksp_R = 0; 1409da1bb401SStefano Zampini pcbddc->NeumannBoundaries = 0; 141060d44989SStefano Zampini pcbddc->user_provided_isfordofs = PETSC_FALSE; 141160d44989SStefano Zampini pcbddc->n_ISForDofs = 0; 1412da1bb401SStefano Zampini pcbddc->ISForDofs = 0; 1413da1bb401SStefano Zampini pcbddc->ConstraintMatrix = 0; 141485c4d303SStefano Zampini pcbddc->use_exact_dirichlet_trick = PETSC_TRUE; 141547d04d0dSStefano Zampini pcbddc->coarse_loc_to_glob = 0; 141647d04d0dSStefano Zampini pcbddc->coarsening_ratio = 8; 14174fad6a16SStefano Zampini pcbddc->current_level = 0; 14182b510759SStefano Zampini pcbddc->max_levels = 0; 1419da1bb401SStefano Zampini 1420674ae819SStefano Zampini /* create local graph structure */ 1421674ae819SStefano Zampini ierr = PCBDDCGraphCreate(&pcbddc->mat_graph);CHKERRQ(ierr); 1422674ae819SStefano Zampini 1423674ae819SStefano Zampini /* scaling */ 1424674ae819SStefano Zampini pcbddc->use_deluxe_scaling = PETSC_FALSE; 1425674ae819SStefano Zampini pcbddc->work_scaling = 0; 1426da1bb401SStefano Zampini 1427da1bb401SStefano Zampini /* function pointers */ 1428da1bb401SStefano Zampini pc->ops->apply = PCApply_BDDC; 1429da1bb401SStefano Zampini pc->ops->applytranspose = 0; 1430da1bb401SStefano Zampini pc->ops->setup = PCSetUp_BDDC; 1431da1bb401SStefano Zampini pc->ops->destroy = PCDestroy_BDDC; 1432da1bb401SStefano Zampini pc->ops->setfromoptions = PCSetFromOptions_BDDC; 1433da1bb401SStefano Zampini pc->ops->view = 0; 1434da1bb401SStefano Zampini pc->ops->applyrichardson = 0; 1435da1bb401SStefano Zampini pc->ops->applysymmetricleft = 0; 1436da1bb401SStefano Zampini pc->ops->applysymmetricright = 0; 1437534831adSStefano Zampini pc->ops->presolve = PCPreSolve_BDDC; 1438534831adSStefano Zampini pc->ops->postsolve = PCPostSolve_BDDC; 1439da1bb401SStefano Zampini 1440da1bb401SStefano Zampini /* composing function */ 1441674ae819SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetPrimalVerticesLocalIS_C",PCBDDCSetPrimalVerticesLocalIS_BDDC);CHKERRQ(ierr); 1442bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetCoarseningRatio_C",PCBDDCSetCoarseningRatio_BDDC);CHKERRQ(ierr); 14432b510759SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevel_C",PCBDDCSetLevel_BDDC);CHKERRQ(ierr); 1444b8ffe317SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetUseExactDirichlet_C",PCBDDCSetUseExactDirichlet_BDDC);CHKERRQ(ierr); 14452b510759SStefano Zampini ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLevels_C",PCBDDCSetLevels_BDDC);CHKERRQ(ierr); 1446bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNullSpace_C",PCBDDCSetNullSpace_BDDC);CHKERRQ(ierr); 1447bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDirichletBoundaries_C",PCBDDCSetDirichletBoundaries_BDDC);CHKERRQ(ierr); 1448bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetNeumannBoundaries_C",PCBDDCSetNeumannBoundaries_BDDC);CHKERRQ(ierr); 1449bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetDirichletBoundaries_C",PCBDDCGetDirichletBoundaries_BDDC);CHKERRQ(ierr); 1450bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCGetNeumannBoundaries_C",PCBDDCGetNeumannBoundaries_BDDC);CHKERRQ(ierr); 1451bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetDofsSplitting_C",PCBDDCSetDofsSplitting_BDDC);CHKERRQ(ierr); 1452bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCSetLocalAdjacencyGraph_C",PCBDDCSetLocalAdjacencyGraph_BDDC);CHKERRQ(ierr); 1453bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCCreateFETIDPOperators_C",PCBDDCCreateFETIDPOperators_BDDC);CHKERRQ(ierr); 1454bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetRHS_C",PCBDDCMatFETIDPGetRHS_BDDC);CHKERRQ(ierr); 1455bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCBDDCMatFETIDPGetSolution_C",PCBDDCMatFETIDPGetSolution_BDDC);CHKERRQ(ierr); 1456da1bb401SStefano Zampini PetscFunctionReturn(0); 1457da1bb401SStefano Zampini } 14583425bc38SStefano Zampini 1459