26 boost::shared_ptr<std::vector<boost::weak_ptr<NumeredDofEntity>>>
28 boost::shared_ptr<std::vector<unsigned char>>
51 boost::shared_ptr<P_MultiGridData>
pMGPtr;
56 std::vector<boost::shared_ptr<Range>> dm_range_list{
nullptr,
nullptr};
57 return std::make_pair(schur_field_list, dm_range_list);
66 a00_field_list.push_back(field);
67 std::vector<boost::shared_ptr<Range>> range_list_ptr(a00_field_list.size(),
69 return std::make_pair(a00_field_list, range_list_ptr);
76 auto create_schur_dm = [&](SmartPetscObj<DM> &dm_sub) {
88 for (
auto f : schur_field_list) {
89 MOFEM_LOG(
"EP", Sev::inform) <<
"Add schur field: " <<
f;
98 auto create_a00_dm = [&](SmartPetscObj<DM> &dm_sub) {
110 for (
auto f : a00_field_list) {
111 MOFEM_LOG(
"EP", Sev::inform) <<
"Add a00 field: " <<
f;
120 auto get_snes = [&](TS ts) {
122 CHKERR TSGetSNES(ts, &snes);
126 auto get_ksp = [&](SNES snes) {
133 auto get_pc = [&](KSP
ksp) {
139 auto ksp = get_ksp(get_snes(ts));
140 auto pc = get_pc(
ksp);
142 PetscBool is_pcfs = PETSC_FALSE;
143 PetscObjectTypeCompare((PetscObject)pc, PCFIELDSPLIT, &is_pcfs);
146 "-alpha_omega_prec requires the elastic PCFIELDSPLIT Schur solver");
150 if (use_rotation_prec) {
151 PCCompositeType split_type;
152 CHKERR PCFieldSplitGetType(pc, &split_type);
153 if (split_type != PC_COMPOSITE_SCHUR)
155 "-alpha_omega_prec requires -elastic_pc_fieldsplit_type schur");
158 MOFEM_LOG(
"EP", Sev::inform) <<
"SetUpSchurImpl::setUp: PCFIELDSPLIT";
160 SmartPetscObj<DM> schur_dm, a00_dm;
161 CHKERR create_schur_dm(schur_dm);
162 CHKERR create_a00_dm(a00_dm);
170 std::vector<std::pair<std::string, std::string>> mat_block_list = {
184 auto add_pair = [&](
const std::string &row,
const std::string &col) {
186 mat_block_list.emplace_back(row, col);
188 mat_block_list.emplace_back(col, row);
191 for (
const auto &[row, col] :
195 auto get_nested_mat_data = [&](
auto schur_dm,
auto block_dm) {
201 {vol_elem_name, mat_block_list},
227 {natural_bc_element_name,
245 {schur_dm, a00_dm}, block_mat_data,
256 auto nested_mat_data = get_nested_mat_data(schur_dm, a00_dm);
258 const auto block_mat_data = std::get<2>(*nested_mat_data);
259 if (use_rotation_prec)
269 std::numeric_limits<double>::epsilon()) {
270 auto swap_assemble = [](TS ts, PetscReal
t,
Vec u,
Vec u_t,
Vec utt,
271 PetscReal
a, PetscReal aa, Mat
A, Mat
B,
276 CHKERR TSSetI2Jacobian(ts,
m, p, swap_assemble, ts_ctx_ptr.get());
278 auto swap_assemble = [](TS ts, PetscReal
t,
Vec u,
Vec u_t, PetscReal
a,
279 Mat
A, Mat
B,
void *ctx) {
283 CHKERR TSSetIJacobian(ts,
m, p, swap_assemble, ts_ctx_ptr.get());
287 auto set_assembly = [&]() {
303 auto set_assemble = [&]() {
305 auto schur_asmb_pre_proc_lhs = boost::make_shared<FEMethod>();
306 auto schur_asmb_pre_proc_rhs = boost::make_shared<FEMethod>();
308 schur_asmb_pre_proc_lhs->preProcessHook = [
this]() {
314 auto *schur_asmb_pre_proc_rhs_ptr = schur_asmb_pre_proc_rhs.get();
315 schur_asmb_pre_proc_rhs->preProcessHook =
316 [
this, schur_asmb_pre_proc_rhs_ptr]() {
318 auto prb_ptr = schur_asmb_pre_proc_rhs_ptr->problemPtr;
319 auto dofs_prb = prb_ptr->getNumeredRowDofsPtr();
324 ->getSideDofsOnBrokenSpaceEntities(
332 if (
auto dof_ptr = dof.lock()) {
333 auto idx = dof_ptr->getPetscLocalDofIdx();
334 (*piolaZeroDofsMarker)[idx] = 1;
338 constexpr bool hard_coded_set_bc_debug =
true;
339 if constexpr (hard_coded_set_bc_debug) {
342 schur_asmb_pre_proc_rhs_ptr->problemPtr->getName();
345 SmartPetscObj<IS> crack_hybrid_is;
347 ->isCreateProblemFieldAndRankLocal(
349 SPACE_DIM, crack_hybrid_is, &*crack_faces);
351 SmartPetscObj<IS> crack_piola_is;
357 CHKERR VecGetArrayRead(schur_asmb_pre_proc_rhs_ptr->x, &a_x);
358 auto zero_by_is = [&](
auto is) {
360 const PetscInt *is_array;
362 CHKERR ISGetLocalSize(is, &is_size);
363 CHKERR ISGetIndices(is, &is_array);
364 for (
int i = 0;
i != is_size; ++
i) {
366 const_cast<double *
>(a_x)[is_array[
i]] = 0;
368 CHKERR ISRestoreIndices(is, &is_array);
372 CHKERR zero_by_is(crack_hybrid_is);
373 CHKERR zero_by_is(crack_piola_is);
375 CHKERR VecRestoreArrayRead(schur_asmb_pre_proc_rhs_ptr->x,
379 ->setLocalGhostVector(problem_name,
COL,
380 schur_asmb_pre_proc_rhs_ptr->x,
381 INSERT_VALUES, SCATTER_REVERSE);
387 auto schur_asmb_post_proc_lhs = boost::make_shared<FEMethod>();
388 auto schur_asmb_post_proc_rhs = boost::make_shared<FEMethod>();
390 auto schur_asmb_post_proc_rhs_weak_ptr =
391 boost::weak_ptr<FEMethod>(schur_asmb_post_proc_rhs);
392 schur_asmb_post_proc_rhs->postProcessHook =
393 [
this, schur_asmb_post_proc_rhs_weak_ptr]() {
396 if (
auto schur_asmb_post_proc_rhs_ptr =
397 schur_asmb_post_proc_rhs_weak_ptr.lock()) {
399 CHKERR VecGhostUpdateBegin(schur_asmb_post_proc_rhs_ptr->f,
400 ADD_VALUES, SCATTER_REVERSE);
401 CHKERR VecGhostUpdateEnd(schur_asmb_post_proc_rhs_ptr->f,
402 ADD_VALUES, SCATTER_REVERSE);
403 CHKERR VecAssemblyBegin(schur_asmb_post_proc_rhs_ptr->f);
404 CHKERR VecAssemblyEnd(schur_asmb_post_proc_rhs_ptr->f);
405 *(schur_asmb_post_proc_rhs_ptr->vecAssembleSwitch) =
false;
410 schur_asmb_post_proc_rhs_ptr->problemPtr->getName();
414 SmartPetscObj<IS> crack_hybrid_is;
416 ->isCreateProblemFieldAndRankLocal(
418 SPACE_DIM, crack_hybrid_is, &*crack_faces);
420 SmartPetscObj<IS> crack_piola_is;
422 ->isCreateProblemBrokenFieldAndRankLocal(
426 CHKERR VecGetArray(schur_asmb_post_proc_rhs_ptr->f, &a_f);
428 CHKERR VecGetArrayRead(schur_asmb_post_proc_rhs_ptr->x, &a_x);
429 auto zero_by_is = [&](
auto is) {
431 const PetscInt *is_array;
433 CHKERR ISGetLocalSize(is, &is_size);
434 CHKERR ISGetIndices(is, &is_array);
435 for (
int i = 0;
i != is_size; ++
i) {
436 a_f[is_array[
i]] = -a_x[is_array[
i]];
438 CHKERR ISRestoreIndices(is, &is_array);
442 CHKERR zero_by_is(crack_hybrid_is);
443 CHKERR zero_by_is(crack_piola_is);
445 CHKERR VecRestoreArray(schur_asmb_post_proc_rhs_ptr->f, &a_f);
446 CHKERR VecRestoreArrayRead(schur_asmb_post_proc_rhs_ptr->x,
451 SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB,
452 "schur_asmb_post_proc_rhs is expired");
458 auto schur_asmb_post_proc_lhs_weak_ptr =
459 boost::weak_ptr<FEMethod>(schur_asmb_post_proc_lhs);
460 schur_asmb_post_proc_lhs->postProcessHook =
461 [
this, schur_asmb_post_proc_lhs_weak_ptr, block_mat_data,
462 use_rotation_prec]() {
465 if (
auto schur_asmb_post_proc_lhs_ptr =
466 schur_asmb_post_proc_lhs_weak_ptr.lock()) {
476 CHKERR MatAssemblyBegin(schur_asmb_post_proc_lhs_ptr->B,
478 CHKERR MatAssemblyEnd(schur_asmb_post_proc_lhs_ptr->B,
480 *(schur_asmb_post_proc_lhs_ptr->matAssembleSwitch) =
false;
482 SmartPetscObj<IS> crack_hybrid_is;
484 ->isCreateProblemFieldAndRank(
486 0,
SPACE_DIM, crack_hybrid_is, &*crack_faces);
487 CHKERR MatZeroRowsColumnsIS(schur_asmb_post_proc_lhs_ptr->B,
488 crack_hybrid_is, 1, PETSC_NULLPTR,
492 SmartPetscObj<IS> crack_piola_is;
496 CHKERR MatZeroRowsColumnsIS(schur_asmb_post_proc_lhs_ptr->B,
497 crack_piola_is, 1, PETSC_NULLPTR,
504 if (use_rotation_prec)
508 a00_field_list, a00_range_list,
aoS);
509 if (use_rotation_prec)
516 CHKERR MatAssemblyBegin(
S, MAT_FINAL_ASSEMBLY);
517 CHKERR MatAssemblyEnd(
S, MAT_FINAL_ASSEMBLY);
519 SmartPetscObj<IS> crack_hybrid_is;
521 ->isCreateProblemFieldAndRank(
523 SPACE_DIM, crack_hybrid_is, &*crack_faces);
525 CHKERR MatZeroRowsColumnsIS(
S, crack_hybrid_is, 1,
526 PETSC_NULLPTR, PETSC_NULLPTR);
529 SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB,
530 "schur_asmb_post_proc_lhs is expired");
537 ts_ctx_ptr->getPreProcessIFunction().push_front(
538 schur_asmb_pre_proc_rhs);
539 ts_ctx_ptr->getPostProcessIFunction().push_back(
540 schur_asmb_post_proc_rhs);
541 ts_ctx_ptr->getPreProcessIJacobian().push_front(
542 schur_asmb_pre_proc_lhs);
543 ts_ctx_ptr->getPostProcessIJacobian().push_back(
544 schur_asmb_post_proc_lhs);
549 boost::make_shared<std::vector<boost::weak_ptr<NumeredDofEntity>>>();
556 auto set_pc = [&]() {
559 auto schur_is =
getDMSubData(schur_dm)->getSmartRowIs();
560 CHKERR PCFieldSplitSetIS(pc, NULL, a00_is);
561 CHKERR PCFieldSplitSetIS(pc, NULL, schur_is);
562 CHKERR PCFieldSplitSetSchurPre(pc, PC_FIELDSPLIT_SCHUR_PRE_USER,
S);
566 auto set_diagonal_pc = [&]() {
569 CHKERR PCFieldSplitSchurGetSubKSP(pc, PETSC_NULLPTR, &subksp);
570 auto get_pc = [](
auto ksp) {
573 return SmartPetscObj<PC>(pc_raw,
true);
577 auto set_pc_p_mg = [&](
auto dm,
auto pc,
auto S) {
580 PetscBool same = PETSC_FALSE;
581 PetscObjectTypeCompare((PetscObject)pc, PCMG, &same);
583 auto smart_pc = SmartPetscObj<PC>(pc,
true);
584 pMGPtr = boost::make_shared<P_MultiGridData>(dm, smart_pc,
S);
586 PetscObjectTypeCompare((PetscObject)pc, PCKSP, &same);
589 <<
"SetUpSchurImpl::setUp: fieldsplit 1 PCKSP";
590 CHKERR PCSetFromOptions(pc);
596 CHKERR PCSetFromOptions(ksp_pc);
597 PetscObjectTypeCompare((PetscObject)ksp_pc, PCMG, &same);
599 auto smart_pc = SmartPetscObj<PC>(ksp_pc,
true);
600 pMGPtr = boost::make_shared<P_MultiGridData>(dm, smart_pc,
S);
606 CHKERR set_pc_p_mg(schur_dm, get_pc(subksp[1]),
S);
619 MOFEM_LOG(
"EP", Sev::inform) <<
"SetUpSchurImpl::setUp: PCLU or other";
624 CHKERR MatSetOption(
m, MAT_NEW_NONZERO_ALLOCATION_ERR, PETSC_FALSE);
641boost::shared_ptr<EshelbianCore::SetUpSchur>
644 return boost::shared_ptr<SetUpSchur>(
FieldApproximationBase
approximation base
#define MoFEMFunctionBegin
First executable line of each MoFEM function, used for error handling. Final line of MoFEM functions ...
#define MoFEMFunctionReturn(a)
Last executable line of each PETSc function used for error handling. Replaces return()
#define CHKERR
Inline error check.
PetscErrorCode DMMoFEMSetIsPartitioned(DM dm, PetscBool is_partitioned)
PetscErrorCode DMMoFEMCreateSubDM(DM subdm, DM dm, const char problem_name[])
Must be called by user to set Sub DM MoFEM data structures.
PetscErrorCode DMMoFEMAddElement(DM dm, std::string fe_name)
add element to dm
PetscErrorCode DMMoFEMSetSquareProblem(DM dm, PetscBool square_problem)
set squared problem
PetscErrorCode DMMoFEMAddSubFieldRow(DM dm, const char field_name[])
PetscErrorCode DMMoFEMAddSubFieldCol(DM dm, const char field_name[])
auto createDMMatrix(DM dm)
Get smart matrix from DM.
virtual bool check_field(const std::string &name) const =0
check if field is in database
#define MOFEM_LOG(channel, severity)
Log.
#define NBFACETRI_L2(P)
Number of base functions on triangle for L2 space.
FTensor::Index< 'i', SPACE_DIM > i
const FTensor::Tensor2< T, Dim, Dim > Vec
PetscErrorCode MoFEMErrorCode
MoFEM/PETSc error code.
PetscErrorCode TsSetIJacobian(TS ts, PetscReal t, Vec u, Vec u_t, PetscReal a, Mat A, Mat B, void *ctx)
Set function evaluating jacobian in TS solver.
auto getDMTsCtx(DM dm)
Get TS context data structure used by DM.
OpSchurAssembleBase * createOpSchurAssembleEnd(std::vector< std::string > fields_name, std::vector< boost::shared_ptr< Range > > field_ents, SmartPetscObj< AO > ao, SmartPetscObj< Mat > schur, bool sym_schur, bool symm_op)
Construct a new Op Schur Assemble End object.
MoFEMErrorCode schurSwitchPreconditioner(boost::shared_ptr< BlockStructure > block_mat_data)
Switch preconditioner.
MoFEMErrorCode setSchurA00MatSolvePC(SmartPetscObj< PC > pc)
Set PC for A00 block.
boost::shared_ptr< PCMGSetUpViaApproxOrdersCtx > createPCMGSetUpViaApproxOrdersCtx(DM dm, Mat A, bool use_shell_mat)
createPCMGSetUpViaApproxOrdersCtx
auto createDMHybridisedL2Matrix(DM dm)
Get smart hybridised L2 matrix from DM.
auto getDMSubData(DM dm)
Get sub problem data structure.
PetscErrorCode TsSetI2Jacobian(TS ts, PetscReal t, Vec u, Vec u_t, Vec u_tt, PetscReal a, PetscReal aa, Mat A, Mat B, void *ctx)
Calculation Jacobian for second order PDE in time.
MoFEMErrorCode PCMGSetUpViaApproxOrders(PC pc, boost::shared_ptr< PCMGSetUpViaApproxOrdersCtx > ctx, int verb)
Function build MG structure.
boost::shared_ptr< BlockStructure > createBlockMatStructure(DM dm, SchurFEOpsFEandFields schur_fe_op_vec)
Create block matrix structure.
boost::shared_ptr< NestSchurData > createSchurNestedMatrixStruture(std::pair< SmartPetscObj< DM >, SmartPetscObj< DM > > dms, boost::shared_ptr< BlockStructure > block_mat_data_ptr, std::vector< std::string > fields_names, std::vector< boost::shared_ptr< Range > > field_ents, bool add_preconditioner_block)
Create structure of nested matrix [A11 A10; A01 A00].
MoFEMErrorCode DMMoFEMSetNestSchurData(DM dm, boost::shared_ptr< NestSchurData >)
auto createDMNestSchurMat(DM dm)
auto createDM(MPI_Comm comm, const std::string dm_type_name)
Creates smart DM object.
MoFEMErrorCode assembleBlockMatSchur(MoFEM::Interface &m_field, Mat B, Mat S, std::vector< std::string > fields_name, std::vector< boost::shared_ptr< Range > > field_ents, SmartPetscObj< AO > ao)
Assemble Schur complement S = A11 - A10 A00^{-1} A01 from block matrix.
OpSchurAssembleBase * createOpSchurAssembleBegin()
auto createDMBlockMat(DM dm)
constexpr double t
plate stiffness
FTensor::Index< 'm', 3 > m
static boost::shared_ptr< SetUpSchur > createSetUpSchur(MoFEM::Interface &m_field, EshelbianCore *ep_core_ptr)
std::vector< boost::shared_ptr< Range > > a00RangeList
const std::string skeletonElement
MoFEM::Interface & mField
const std::string spatialL2Disp
SmartPetscObj< IS > crackHybridIs
boost::shared_ptr< FaceElementForcesAndSourcesCore > elasticBcLhs
const std::string elementVolumeName
const std::string piolaStress
std::vector< std::string > a00FieldList
const std::string bubbleField
boost::shared_ptr< VolumeElementForcesAndSourcesCore > elasticFeLhs
boost::shared_ptr< PhysicalEquations > physicalEquations
const std::string rotAxis
const std::string contactDisp
double alphaOmegaPrec
Rotation-gradient shift of the Schur preconditioner.
static PetscBool plasticVolume
const std::string naturalBcElement
boost::shared_ptr< DataAtIntegrationPts > dataAtPts
boost::shared_ptr< Range > crackFaces
const std::string hybridSpatialDisp
SmartPetscObj< DM > dmElastic
Elastic problem.
MoFEMErrorCode withFieldOrders(Op &&op) const
const std::string contactElement
virtual MPI_Comm & get_comm() const =0
Deprecated interface functions.
intrusive_ptr for managing petsc objects
MoFEMErrorCode getInterface(IFACE *&iface) const
Get interface reference to pointer of interface.
P_MultiGridData(SmartPetscObj< DM > dm, SmartPetscObj< PC > pc, SmartPetscObj< Mat > S)
EshelbianCore * epCorePtr
boost::shared_ptr< std::vector< unsigned char > > piolaZeroDofsMarker
boost::shared_ptr< std::vector< boost::weak_ptr< NumeredDofEntity > > > piolaZeroDofsVec
boost::shared_ptr< P_MultiGridData > pMGPtr
MoFEMErrorCode setUp(TS ts)
MoFEMErrorCode setUp(SmartPetscObj< KSP >)
virtual ~SetUpSchurImpl()
MoFEMErrorCode postProc()
MoFEM::Interface & mField
SetUpSchurImpl(MoFEM::Interface &m_field, EshelbianCore *ep_core_ptr)
[Push operators to pipeline]
constexpr int SPACE_DIM
[Define dimension]
constexpr AssemblyType A
[Define dimension]