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);
61 std::vector<std::string> a00_field_list{
74 std::vector<boost::shared_ptr<Range>> range_list_ptr(a00_field_list.size(),
76 return std::make_pair(a00_field_list, range_list_ptr);
83 auto create_schur_dm = [&](SmartPetscObj<DM> &dm_sub) {
95 for (
auto f : schur_field_list) {
96 MOFEM_LOG(
"EP", Sev::inform) <<
"Add schur field: " <<
f;
105 auto create_a00_dm = [&](SmartPetscObj<DM> &dm_sub) {
117 for (
auto f : a00_field_list) {
118 MOFEM_LOG(
"EP", Sev::inform) <<
"Add a00 field: " <<
f;
127 auto get_snes = [&](TS ts) {
129 CHKERR TSGetSNES(ts, &snes);
133 auto get_ksp = [&](SNES snes) {
135 CHKERR SNESGetKSP(snes, &ksp);
136 CHKERR KSPSetFromOptions(ksp);
140 auto get_pc = [&](KSP ksp) {
142 CHKERR KSPGetPC(ksp, &pc);
146 auto ksp = get_ksp(get_snes(ts));
147 auto pc = get_pc(ksp);
149 PetscBool is_pcfs = PETSC_FALSE;
150 PetscObjectTypeCompare((PetscObject)pc, PCFIELDSPLIT, &is_pcfs);
153 MOFEM_LOG(
"EP", Sev::inform) <<
"SetUpSchurImpl::setUp: PCFIELDSPLIT";
155 SmartPetscObj<DM> schur_dm, a00_dm;
156 CHKERR create_schur_dm(schur_dm);
157 CHKERR create_a00_dm(a00_dm);
165 std::vector<std::pair<std::string, std::string>> mat_block_list = {
185 mat_block_list.push_back(
187 mat_block_list.push_back(
189 mat_block_list.push_back(
197 auto get_nested_mat_data = [&](
auto schur_dm,
auto block_dm) {
203 {vol_elem_name, mat_block_list},
229 {natural_bc_element_name,
247 {schur_dm, a00_dm}, block_mat_data,
258 auto nested_mat_data = get_nested_mat_data(schur_dm, a00_dm);
266 std::numeric_limits<double>::epsilon()) {
267 auto swap_assemble = [](TS ts, PetscReal
t,
Vec u,
Vec u_t,
Vec utt,
268 PetscReal
a, PetscReal aa, Mat
A, Mat
B,
273 CHKERR TSSetI2Jacobian(ts,
m, p, swap_assemble, ts_ctx_ptr.get());
275 auto swap_assemble = [](TS ts, PetscReal
t,
Vec u,
Vec u_t, PetscReal
a,
276 Mat
A, Mat
B,
void *ctx) {
280 CHKERR TSSetIJacobian(ts,
m, p, swap_assemble, ts_ctx_ptr.get());
282 CHKERR KSPSetOperators(ksp,
m, p);
284 auto set_assembly = [&]() {
300 auto set_assemble = [&]() {
302 auto schur_asmb_pre_proc_lhs = boost::make_shared<FEMethod>();
303 auto schur_asmb_pre_proc_rhs = boost::make_shared<FEMethod>();
305 schur_asmb_pre_proc_lhs->preProcessHook = [
this]() {
311 auto *schur_asmb_pre_proc_rhs_ptr = schur_asmb_pre_proc_rhs.get();
312 schur_asmb_pre_proc_rhs->preProcessHook =
313 [
this, schur_asmb_pre_proc_rhs_ptr]() {
315 auto prb_ptr = schur_asmb_pre_proc_rhs_ptr->problemPtr;
316 auto dofs_prb = prb_ptr->getNumeredRowDofsPtr();
321 ->getSideDofsOnBrokenSpaceEntities(
329 if (
auto dof_ptr = dof.lock()) {
330 auto idx = dof_ptr->getPetscLocalDofIdx();
331 (*piolaZeroDofsMarker)[idx] = 1;
335 constexpr bool hard_coded_set_bc_debug =
true;
336 if constexpr (hard_coded_set_bc_debug) {
339 schur_asmb_pre_proc_rhs_ptr->problemPtr->getName();
342 SmartPetscObj<IS> crack_hybrid_is;
344 ->isCreateProblemFieldAndRankLocal(
346 SPACE_DIM, crack_hybrid_is, &*crack_faces);
348 SmartPetscObj<IS> crack_piola_is;
354 CHKERR VecGetArrayRead(schur_asmb_pre_proc_rhs_ptr->x, &a_x);
355 auto zero_by_is = [&](
auto is) {
357 const PetscInt *is_array;
359 CHKERR ISGetLocalSize(is, &is_size);
360 CHKERR ISGetIndices(is, &is_array);
361 for (
int i = 0;
i != is_size; ++
i) {
363 const_cast<double *
>(a_x)[is_array[
i]] = 0;
365 CHKERR ISRestoreIndices(is, &is_array);
369 CHKERR zero_by_is(crack_hybrid_is);
370 CHKERR zero_by_is(crack_piola_is);
372 CHKERR VecRestoreArrayRead(schur_asmb_pre_proc_rhs_ptr->x,
376 ->setLocalGhostVector(problem_name,
COL,
377 schur_asmb_pre_proc_rhs_ptr->x,
378 INSERT_VALUES, SCATTER_REVERSE);
384 auto schur_asmb_post_proc_lhs = boost::make_shared<FEMethod>();
385 auto schur_asmb_post_proc_rhs = boost::make_shared<FEMethod>();
387 auto schur_asmb_post_proc_rhs_weak_ptr =
388 boost::weak_ptr<FEMethod>(schur_asmb_post_proc_rhs);
389 schur_asmb_post_proc_rhs->postProcessHook =
390 [
this, schur_asmb_post_proc_rhs_weak_ptr]() {
393 if (
auto schur_asmb_post_proc_rhs_ptr =
394 schur_asmb_post_proc_rhs_weak_ptr.lock()) {
396 CHKERR VecGhostUpdateBegin(schur_asmb_post_proc_rhs_ptr->f,
397 ADD_VALUES, SCATTER_REVERSE);
398 CHKERR VecGhostUpdateEnd(schur_asmb_post_proc_rhs_ptr->f,
399 ADD_VALUES, SCATTER_REVERSE);
400 CHKERR VecAssemblyBegin(schur_asmb_post_proc_rhs_ptr->f);
401 CHKERR VecAssemblyEnd(schur_asmb_post_proc_rhs_ptr->f);
402 *(schur_asmb_post_proc_rhs_ptr->vecAssembleSwitch) =
false;
407 schur_asmb_post_proc_rhs_ptr->problemPtr->getName();
411 SmartPetscObj<IS> crack_hybrid_is;
413 ->isCreateProblemFieldAndRankLocal(
415 SPACE_DIM, crack_hybrid_is, &*crack_faces);
417 SmartPetscObj<IS> crack_piola_is;
419 ->isCreateProblemBrokenFieldAndRankLocal(
423 CHKERR VecGetArray(schur_asmb_post_proc_rhs_ptr->f, &a_f);
425 CHKERR VecGetArrayRead(schur_asmb_post_proc_rhs_ptr->x, &a_x);
426 auto zero_by_is = [&](
auto is) {
428 const PetscInt *is_array;
430 CHKERR ISGetLocalSize(is, &is_size);
431 CHKERR ISGetIndices(is, &is_array);
432 for (
int i = 0;
i != is_size; ++
i) {
433 a_f[is_array[
i]] = -a_x[is_array[
i]];
435 CHKERR ISRestoreIndices(is, &is_array);
439 CHKERR zero_by_is(crack_hybrid_is);
440 CHKERR zero_by_is(crack_piola_is);
442 CHKERR VecRestoreArray(schur_asmb_post_proc_rhs_ptr->f, &a_f);
443 CHKERR VecRestoreArrayRead(schur_asmb_post_proc_rhs_ptr->x,
448 SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB,
449 "schur_asmb_post_proc_rhs is expired");
455 auto schur_asmb_post_proc_lhs_weak_ptr =
456 boost::weak_ptr<FEMethod>(schur_asmb_post_proc_lhs);
457 schur_asmb_post_proc_lhs->postProcessHook =
458 [
this, schur_asmb_post_proc_lhs_weak_ptr]() {
461 if (
auto schur_asmb_post_proc_lhs_ptr =
462 schur_asmb_post_proc_lhs_weak_ptr.lock()) {
472 CHKERR MatAssemblyBegin(schur_asmb_post_proc_lhs_ptr->B,
474 CHKERR MatAssemblyEnd(schur_asmb_post_proc_lhs_ptr->B,
476 *(schur_asmb_post_proc_lhs_ptr->matAssembleSwitch) =
false;
478 SmartPetscObj<IS> crack_hybrid_is;
480 ->isCreateProblemFieldAndRank(
482 0,
SPACE_DIM, crack_hybrid_is, &*crack_faces);
483 CHKERR MatZeroRowsColumnsIS(schur_asmb_post_proc_lhs_ptr->B,
484 crack_hybrid_is, 1, PETSC_NULLPTR,
488 SmartPetscObj<IS> crack_piola_is;
492 CHKERR MatZeroRowsColumnsIS(schur_asmb_post_proc_lhs_ptr->B,
493 crack_piola_is, 1, PETSC_NULLPTR,
500 a00_field_list, a00_range_list,
aoS);
505 CHKERR MatAssemblyBegin(
S, MAT_FINAL_ASSEMBLY);
506 CHKERR MatAssemblyEnd(
S, MAT_FINAL_ASSEMBLY);
508 SmartPetscObj<IS> crack_hybrid_is;
510 ->isCreateProblemFieldAndRank(
512 SPACE_DIM, crack_hybrid_is, &*crack_faces);
514 CHKERR MatZeroRowsColumnsIS(
S, crack_hybrid_is, 1,
515 PETSC_NULLPTR, PETSC_NULLPTR);
518 SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB,
519 "schur_asmb_post_proc_lhs is expired");
526 ts_ctx_ptr->getPreProcessIFunction().push_front(
527 schur_asmb_pre_proc_rhs);
528 ts_ctx_ptr->getPostProcessIFunction().push_back(
529 schur_asmb_post_proc_rhs);
530 ts_ctx_ptr->getPreProcessIJacobian().push_front(
531 schur_asmb_pre_proc_lhs);
532 ts_ctx_ptr->getPostProcessIJacobian().push_back(
533 schur_asmb_post_proc_lhs);
538 boost::make_shared<std::vector<boost::weak_ptr<NumeredDofEntity>>>();
545 auto set_pc = [&]() {
548 auto schur_is =
getDMSubData(schur_dm)->getSmartRowIs();
549 CHKERR PCFieldSplitSetIS(pc, NULL, a00_is);
550 CHKERR PCFieldSplitSetIS(pc, NULL, schur_is);
551 CHKERR PCFieldSplitSetSchurPre(pc, PC_FIELDSPLIT_SCHUR_PRE_USER,
S);
555 auto set_diagonal_pc = [&]() {
558 CHKERR PCFieldSplitSchurGetSubKSP(pc, PETSC_NULLPTR, &subksp);
559 auto get_pc = [](
auto ksp) {
561 CHKERR KSPGetPC(ksp, &pc_raw);
562 return SmartPetscObj<PC>(pc_raw,
true);
566 auto set_pc_p_mg = [&](
auto dm,
auto pc,
auto S) {
569 PetscBool same = PETSC_FALSE;
570 PetscObjectTypeCompare((PetscObject)pc, PCMG, &same);
572 auto smart_pc = SmartPetscObj<PC>(pc,
true);
573 pMGPtr = boost::make_shared<P_MultiGridData>(dm, smart_pc,
S);
575 PetscObjectTypeCompare((PetscObject)pc, PCKSP, &same);
578 <<
"SetUpSchurImpl::setUp: fieldsplit 1 PCKSP";
579 CHKERR PCSetFromOptions(pc);
581 CHKERR PCKSPGetKSP(pc, &ksp);
582 CHKERR KSPSetFromOptions(ksp);
584 CHKERR KSPGetPC(ksp, &ksp_pc);
585 CHKERR PCSetFromOptions(ksp_pc);
586 PetscObjectTypeCompare((PetscObject)ksp_pc, PCMG, &same);
588 auto smart_pc = SmartPetscObj<PC>(ksp_pc,
true);
589 pMGPtr = boost::make_shared<P_MultiGridData>(dm, smart_pc,
S);
595 CHKERR set_pc_p_mg(schur_dm, get_pc(subksp[1]),
S);
608 MOFEM_LOG(
"EP", Sev::inform) <<
"SetUpSchurImpl::setUp: PCLU or other";
623boost::shared_ptr<EshelbianCore::SetUpSchur>
626 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[])
#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 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 a Mat Diag Blocks object.
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)
Get the Schur Nest Mat Array object.
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 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
static enum StretchHandling stretchHandling
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
const std::string rotAxis
const std::string contactDisp
const std::string naturalBcElement
boost::shared_ptr< Range > crackFaces
const std::string hybridSpatialDisp
SmartPetscObj< DM > dmElastic
Elastic problem.
const std::string stretchTensor
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]