schur_test_diag_mat.cpp File Reference

#include <MoFEM.hpp>

Go to the source code of this file.

Classes
struct	ElementsAndOps< DIM >
	[Operators_definition] More...
struct	ElementsAndOps< 2 >
struct	ElementsAndOps< 3 >

Typedefs
using	EntData = EntitiesFieldData::EntData
using	DomainEle = ElementsAndOps< SPACE_DIM >::DomainEle
using	DomainEleOp = DomainEle::UserDataOperator

Functions
int	main (int argc, char *argv[])

Variables
static char	help [] = "...\n\n"
constexpr int	SPACE_DIM = 3
	[Define dimension]
constexpr int	FIELD_DIM = SPACE_DIM
constexpr AssemblyType	A
constexpr IntegrationType	I
SmartPetscObj< Mat >	petsc_mat
SmartPetscObj< Mat >	block_mat
constexpr bool	debug = false

Typedef Documentation

DomainEle

using DomainEle = ElementsAndOps<SPACE_DIM>::DomainEle

Definition at line 35 of file schur_test_diag_mat.cpp.

DomainEleOp

using DomainEleOp = DomainEle::UserDataOperator

Definition at line 36 of file schur_test_diag_mat.cpp.

EntData

using EntData = EntitiesFieldData::EntData

Definition at line 34 of file schur_test_diag_mat.cpp.

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 85 of file schur_test_diag_mat.cpp.

                                 {
 
  // initialize petsc
  MoFEM::Core::Initialize(&argc, &argv, (char *)0, help);
 
  try {
 
    // Create MoAB database
    moab::Core moab_core;
    moab::Interface &moab = moab_core;
 
    // Create MoFEM database and link it to MoAB
    MoFEM::Core mofem_core(moab);
    MoFEM::Interface &m_field = mofem_core;
 
    // Register DM Manager
    DMType dm_name = "DMMOFEM";
    CHKERR DMRegister_MoFEM(dm_name);
 
    // Add logging channel for example
    auto core_log = logging::core::get();
    core_log->add_sink(
        LogManager::createSink(LogManager::getStrmWorld(), "Timeline"));
    LogManager::setLog("Timeline");
    MOFEM_LOG_TAG("Timeline", "Timeline");
 
    // Simple interface
    auto simple = m_field.getInterface<Simple>();
 
    // get options from command line
    CHKERR simple->getOptions();
    // load mesh file
    CHKERR simple->loadFile();
 
    CHKERR simple->addDomainField("V", H1, AINSWORTH_LEGENDRE_BASE, FIELD_DIM);
    CHKERR simple->addDomainField("T", L2, AINSWORTH_LEGENDRE_BASE, FIELD_DIM);
    CHKERR simple->addDomainField("S", L2, AINSWORTH_LEGENDRE_BASE, FIELD_DIM);
    CHKERR simple->addDomainField("O", L2, AINSWORTH_LEGENDRE_BASE, FIELD_DIM);
 
    // set fields order, i.e. for most first cases order is sufficient.
    int order = 3;
    CHKERR PetscOptionsGetInt(PETSC_NULLPTR, "", "-order", &order,
                              PETSC_NULLPTR);
    // without preconditioner blocks A00 element matrices are factorised in
    // place, that tests cached factors in mult, mult transpose and solve
    PetscBool no_preconditioner_block = PETSC_FALSE;
    CHKERR PetscOptionsGetBool(PETSC_NULLPTR, "", "-no_preconditioner_block",
                               &no_preconditioner_block, PETSC_NULLPTR);
    // block pattern of A00 with uncoupled pair of fields (S, O are not
    // coupled), and with empty diagonal block (O, O is listed but not
    // assembled), that tests block elimination of A00 elements
    PetscBool uncoupled_so = PETSC_FALSE;
    CHKERR PetscOptionsGetBool(PETSC_NULLPTR, "", "-uncoupled_so",
                               &uncoupled_so, PETSC_NULLPTR);
    PetscBool empty_oo = PETSC_FALSE;
    CHKERR PetscOptionsGetBool(PETSC_NULLPTR, "", "-empty_oo", &empty_oo,
                               PETSC_NULLPTR);
    // diagonal block (S, S) scaled to 1e-300 and couplings (S, T), (T, S)
    // scaled by 1e10, such that block elimination of S overflows. A00 is
    // regular, and dense factorisation with pivoting is accurate. With
    // -overflow_pivot_element only the last owned element on each process is
    // scaled, the first one is the probe of block elimination, thus block
    // elimination is accepted and the scaled element has to fall back to
    // dense factorisation.
    PetscBool overflow_pivot = PETSC_FALSE;
    CHKERR PetscOptionsGetBool(PETSC_NULLPTR, "", "-overflow_pivot",
                               &overflow_pivot, PETSC_NULLPTR);
    PetscBool overflow_pivot_element = PETSC_FALSE;
    CHKERR PetscOptionsGetBool(PETSC_NULLPTR, "", "-overflow_pivot_element",
                               &overflow_pivot_element, PETSC_NULLPTR);
    if (overflow_pivot_element)
      overflow_pivot = PETSC_TRUE;
    CHKERR simple->setFieldOrder("V", order);
    CHKERR simple->setFieldOrder("T", order);
    CHKERR simple->setFieldOrder("S", order - 1);
    CHKERR simple->setFieldOrder("O", order - 2);
 
    // setup problem
    CHKERR simple->setUp();
 
    // If block "VOL" exist, first index is removed from "T" field. That test
    // blocks handling when some DOFs are removed.
    auto bc_mng = m_field.getInterface<BcManager>();
    CHKERR bc_mng->removeBlockDOFsOnEntities(simple->getProblemName(), "VOL",
                                             "T", 0, 1);
 
    auto schur_dm = createDM(m_field.get_comm(), "DMMOFEM");
    CHKERR DMMoFEMCreateSubDM(schur_dm, simple->getDM(), "SCHUR");
    CHKERR DMMoFEMSetSquareProblem(schur_dm, PETSC_TRUE);
    CHKERR DMMoFEMAddElement(schur_dm, simple->getDomainFEName());
    CHKERR DMMoFEMAddSubFieldRow(schur_dm, "V");
    CHKERR DMMoFEMAddSubFieldCol(schur_dm, "V");
    CHKERR DMSetUp(schur_dm);
 
    auto block_dm = createDM(m_field.get_comm(), "DMMOFEM");
    CHKERR DMMoFEMCreateSubDM(block_dm, simple->getDM(), "BLOCK");
    CHKERR DMMoFEMSetSquareProblem(block_dm, PETSC_TRUE);
    CHKERR DMMoFEMAddElement(block_dm, simple->getDomainFEName());
    CHKERR DMMoFEMAddSubFieldRow(block_dm, "T");
    CHKERR DMMoFEMAddSubFieldCol(block_dm, "T");
    CHKERR DMMoFEMAddSubFieldRow(block_dm, "S");
    CHKERR DMMoFEMAddSubFieldCol(block_dm, "S");
    CHKERR DMMoFEMAddSubFieldRow(block_dm, "O");
    CHKERR DMMoFEMAddSubFieldCol(block_dm, "O");
    CHKERR DMSetUp(block_dm);
 
    petsc_mat = createDMMatrix(simple->getDM());
    auto S = createDMMatrix(schur_dm);
 
    std::vector<SchurFieldPair> block_pairs{
        {"V", "V"}, {"T", "T"}, {"S", "S"}, {"O", "O"}, {"V", "T"},
        {"T", "V"}, {"S", "T"}, {"T", "S"}, {"T", "O"}, {"O", "T"}};
    if (!uncoupled_so) {
      block_pairs.push_back({"S", "O"});
      block_pairs.push_back({"O", "S"});
    }
 
    auto shell_data = createBlockMat(
        simple->getDM(),
        createBlockMatStructure(simple->getDM(),
                                {{simple->getDomainFEName(), block_pairs}}));
 
    auto [mat, block_data_ptr] = shell_data;
    block_mat = mat;
 
    std::vector<std::string> fields{"T", "S", "O"};
 
    auto [nested_mat, nested_data_ptr] = createSchurNestedMatrix(
 
        createSchurNestedMatrixStruture(
 
            {schur_dm, block_dm}, block_data_ptr,
 
            fields, {nullptr, nullptr, nullptr},
            no_preconditioner_block ? false : true
 
            )
 
    );
 
    using OpMassPETSCAssemble = FormsIntegrators<DomainEleOp>::Assembly<
        PETSC>::BiLinearForm<GAUSS>::OpMass<1, FIELD_DIM>;
    using OpMassBlockAssemble = FormsIntegrators<DomainEleOp>::Assembly<
        BLOCK_SCHUR>::BiLinearForm<GAUSS>::OpMass<1, FIELD_DIM>;
    using OpMassBlockPreconditionerAssemble =
        FormsIntegrators<DomainEleOp>::Assembly<BLOCK_PRECONDITIONER_SCHUR>::
            BiLinearForm<GAUSS>::OpMass<1, FIELD_DIM>;
 
    // get operators tester
    auto pip_mng = m_field.getInterface<PipelineManager>(); // get interface to
                                                            // pipeline manager
 
    auto close_zero = [](double, double, double) { return 1; };
    auto beta = [](double, double, double) { return -1. / 2; };
    auto gamma = [](double, double, double) { return -1. / 4; };
    // vertices of scaled element, if only one element is scaled
    std::array<double, 12> bad_tet;
    if (overflow_pivot_element) {
      auto prb = m_field.get_problem(simple->getProblemName());
      Range owned;
      for (auto &fe : *prb->numeredFiniteElementsPtr)
        if (fe->getPart() == m_field.get_comm_rank() &&
            fe->getName() == simple->getDomainFEName())
          owned.insert(fe->getEnt());
      if (owned.empty())
        SETERRQ(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID, "No elements");
      const EntityHandle *conn;
      int num_nodes;
      CHKERR moab.get_connectivity(owned.back(), conn, num_nodes, true);
      CHKERR moab.get_coords(conn, 4, bad_tet.data());
    }
    // point inside scaled element (Gauss points are interior points)
    auto in_bad = [&](double x, double y, double z) {
      if (!overflow_pivot)
        return false;
      if (!overflow_pivot_element)
        return true;
      FTensor::Tensor2<double, 3, 3> t_jac;
      FTensor::Tensor1<double, 3> t_p{x - bad_tet[0], y - bad_tet[1],
                                      z - bad_tet[2]};
      for (int i = 0; i != 3; ++i)
        for (int j = 0; j != 3; ++j)
          t_jac(i, j) = bad_tet[3 * (j + 1) + i] - bad_tet[i];
      FTensor::Tensor2<double, 3, 3> t_inv;
      double det;
      CHK_THROW_MESSAGE(determinantTensor3by3(t_jac, det), "det");
      CHK_THROW_MESSAGE(invertTensor3by3(t_jac, det, t_inv), "inv");
      double sum = 0;
      for (int i = 0; i != 3; ++i) {
        double l = 0;
        for (int j = 0; j != 3; ++j)
          l += t_inv(i, j) * t_p(j);
        if (l < -1e-10)
          return false;
        sum += l;
      }
      return sum < 1 + 1e-10;
    };
    auto ss_coeff = [&](double x, double y, double z) {
      return in_bad(x, y, z) ? 1e-300 : 1.;
    };
    auto st_coeff = [&](double x, double y, double z) {
      return in_bad(x, y, z) ? -1e10 / 2 : -1. / 2;
    };
 
    pip_mng->setDomainLhsIntegrationRule([](int, int, int o) { return 2 * o; });
    auto &pip_lhs = pip_mng->getOpDomainLhsPipeline();
 
    pip_lhs.push_back(new OpMassPETSCAssemble("V", "V"));
    // (T, T) block is assembled as preconditioner block, unless
    // preconditioner blocks are not allocated
    if (no_preconditioner_block)
      pip_lhs.push_back(new OpMassPETSCAssemble("T", "T"));
    pip_lhs.push_back(new OpMassPETSCAssemble("V", "T"));
    pip_lhs.push_back(new OpMassPETSCAssemble("T", "V"));
    pip_lhs.push_back(new OpMassPETSCAssemble("S", "S", ss_coeff));
    pip_lhs.push_back(new OpMassPETSCAssemble("S", "T", st_coeff));
    pip_lhs.push_back(new OpMassPETSCAssemble("T", "S", st_coeff));
    if (!empty_oo)
      pip_lhs.push_back(new OpMassPETSCAssemble("O", "O", close_zero));
    pip_lhs.push_back(new OpMassPETSCAssemble("T", "O", beta));
    pip_lhs.push_back(new OpMassPETSCAssemble("O", "T", beta));
    if (!uncoupled_so) {
      pip_lhs.push_back(new OpMassPETSCAssemble("S", "O", gamma));
      pip_lhs.push_back(new OpMassPETSCAssemble("O", "S", beta));
    }
 
    pip_lhs.push_back(createOpSchurAssembleBegin());
    pip_lhs.push_back(new OpMassBlockAssemble("V", "V"));
    if (no_preconditioner_block)
      pip_lhs.push_back(new OpMassBlockAssemble("T", "T"));
    pip_lhs.push_back(new OpMassBlockAssemble("V", "T"));
    pip_lhs.push_back(new OpMassBlockAssemble("T", "V"));
    pip_lhs.push_back(new OpMassBlockAssemble("S", "S", ss_coeff));
    pip_lhs.push_back(new OpMassBlockAssemble("S", "T", st_coeff));
    pip_lhs.push_back(new OpMassBlockAssemble("T", "S", st_coeff));
    if (!empty_oo)
      pip_lhs.push_back(new OpMassBlockAssemble("O", "O", close_zero));
    pip_lhs.push_back(new OpMassBlockAssemble("T", "O", beta));
    pip_lhs.push_back(new OpMassBlockAssemble("O", "T", beta));
    if (!uncoupled_so) {
      pip_lhs.push_back(new OpMassBlockAssemble("S", "O", gamma));
      pip_lhs.push_back(new OpMassBlockAssemble("O", "S", beta));
    }
    if (!no_preconditioner_block)
      pip_lhs.push_back(new OpMassBlockPreconditionerAssemble("T", "T"));
 
    auto schur_is = getDMSubData(schur_dm)->getSmartRowIs();
    auto ao_up = createAOMappingIS(schur_is, PETSC_NULLPTR);
 
    pip_lhs.push_back(createOpSchurAssembleEnd(
 
        fields, {nullptr, nullptr, nullptr}, ao_up, S, false, false)
 
    );
 
    {
      MOFEM_LOG_CHANNEL("Timeline");
      MOFEM_LOG_TAG("Timeline", "timer");
      BOOST_LOG_SCOPED_THREAD_ATTR("Timeline", attrs::timer());
      MOFEM_LOG("Timeline", Sev::inform) << "Assemble start";
      CHKERR DMoFEMLoopFiniteElements(simple->getDM(),
                                      simple->getDomainFEName(),
                                      pip_mng->getDomainLhsFE());
      MOFEM_LOG("Timeline", Sev::inform) << "Assemble end";
    }
    {
      MOFEM_LOG_CHANNEL("Timeline");
      MOFEM_LOG_TAG("Timeline", "timer");
      BOOST_LOG_SCOPED_THREAD_ATTR("Timeline", attrs::timer());
      MOFEM_LOG("Timeline", Sev::inform) << "Mat assemble start";
      CHKERR MatAssemblyBegin(petsc_mat, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyEnd(petsc_mat, MAT_FINAL_ASSEMBLY);
      MOFEM_LOG("Timeline", Sev::inform) << "Mat assemble end";
    }
 
    auto get_random_vector = [&](auto dm) {
      auto v = createDMVector(dm);
      PetscRandom rctx;
      PetscRandomCreate(PETSC_COMM_WORLD, &rctx);
      CHK_MOAB_THROW(VecSetRandom(v, rctx), "generate rand vector");
      PetscRandomDestroy(&rctx);
      return v;
    };
    auto v = get_random_vector(simple->getDM());
 
    auto y_petsc = createDMVector(simple->getDM());
    auto y_block = createDMVector(simple->getDM());
 
    auto test = [](auto msg, auto y, double norm0) {
      MoFEMFunctionBegin;
 
      double eps = 1e-10;
      CHKERR PetscOptionsGetScalar(PETSC_NULLPTR, "", "-eps", &eps,
                                   PETSC_NULLPTR);
 
      PetscReal norm;
      CHKERR VecNorm(y, NORM_2, &norm);
      norm = norm / norm0;
      MOFEM_LOG_CHANNEL("WORLD");
      MOFEM_TAG_AND_LOG("WORLD", Sev::inform, "TestBlockMat")
          << msg << ": norm of difference: " << norm;
      if (norm > eps || std::isnan(norm) || std::isinf(norm)) {
        SETERRQ(PETSC_COMM_WORLD, 1, "norm of difference is too big");
      }
      MoFEMFunctionReturn(0);
    };
 
    std::vector<int> zero_rows_and_cols = {
        0, 1, 10, 20,
        500}; // not to remove dofs for TENSOR field, inverse will not work
    CHKERR MatZeroRowsColumns(petsc_mat, zero_rows_and_cols.size(),
                              &*zero_rows_and_cols.begin(), 1, PETSC_NULLPTR,
                              PETSC_NULLPTR);
    CHKERR MatZeroRowsColumns(block_mat, zero_rows_and_cols.size(),
                              &*zero_rows_and_cols.begin(), 1, PETSC_NULLPTR,
                              PETSC_NULLPTR);
 
    // test mult
    {
      MOFEM_LOG_CHANNEL("Timeline");
      MOFEM_LOG_TAG("Timeline", "timer");
      BOOST_LOG_SCOPED_THREAD_ATTR("Timeline", attrs::timer());
      MOFEM_LOG("Timeline", Sev::inform)
          << "MatMult(petsc_mat, v, y_petsc) star";
      CHKERR MatMult(petsc_mat, v, y_petsc);
      MOFEM_LOG("Timeline", Sev::inform)
          << "MatMult(petsc_mat, v, y_petsc) end";
    }
    double nrm0;
    CHKERR VecNorm(y_petsc, NORM_2, &nrm0);
 
    {
      MOFEM_LOG_CHANNEL("Timeline");
      MOFEM_LOG_TAG("Timeline", "timer");
      BOOST_LOG_SCOPED_THREAD_ATTR("Timeline", attrs::timer());
      MOFEM_LOG("Timeline", Sev::inform)
          << "MatMult(block_mat, v, y_block) star";
      CHKERR MatMult(block_mat, v, y_block);
      MOFEM_LOG("Timeline", Sev::inform)
          << "MatMult(block_mat, v, y_block) end";
    }
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult", y_petsc, nrm0);
 
    // tets mult add
 
    MOFEM_LOG_CHANNEL("Timeline");
    MOFEM_LOG_TAG("Timeline", "timer");
 
    CHKERR MatMult(petsc_mat, v, y_petsc);
    CHKERR MatMult(block_mat, v, y_block);
    CHKERR MatMultAdd(petsc_mat, v, y_petsc, y_petsc);
    CHKERR MatMultAdd(block_mat, v, y_block, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult add", y_petsc, nrm0);
 
    // test mult transpose
    CHKERR MatMultTranspose(petsc_mat, v, y_petsc);
    CHKERR MatMultTranspose(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult transpose", y_petsc, nrm0);
 
    // tets mult add transpose
    CHKERR MatMultTranspose(petsc_mat, v, y_petsc);
    CHKERR MatMultTranspose(block_mat, v, y_block);
    CHKERR MatMultTransposeAdd(petsc_mat, v, y_petsc, y_petsc);
    CHKERR MatMultTransposeAdd(block_mat, v, y_block, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult add transpose", y_petsc, nrm0);
 
    // test schur nested mat with preconditioner
    if (!no_preconditioner_block)
      CHKERR schurSwitchPreconditioner(std::get<1>(*nested_data_ptr)[3]);
    auto y_nested = createDMVector(simple->getDM());
    CHKERR MatMult(petsc_mat, v, y_petsc);
    CHKERR MatMult(nested_mat, v, y_nested);
    CHKERR VecAXPY(y_petsc, -1.0, y_nested);
    CHKERR test("mult nested", y_petsc, nrm0);
 
    if (!no_preconditioner_block)
      CHKERR schurSwitchPreconditioner(std::get<1>(*nested_data_ptr)[3]);
    auto diag_mat = std::get<0>(*nested_data_ptr)[3];
    auto diag_block_x = get_random_vector(block_dm);
    auto diag_block_f = createDMVector(block_dm);
    auto block_solved_x = createDMVector(block_dm);
    CHKERR MatMult(diag_mat, diag_block_x, diag_block_f);
 
    // That is if one like to use MatSolve directly, not though PC, as it is
    // below
    CHKERR MatSolve(diag_mat, diag_block_f, block_solved_x);
    auto diag_block_f_test = createDMVector(block_dm);
    CHKERR MatMult(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("diag solve", diag_block_f_test, nrm0);
    // Transpose solve test
    CHKERR MatSolveTranspose(diag_mat, diag_block_f, block_solved_x);
    CHKERR MatMultTranspose(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("diag transpose solve", diag_block_f_test, nrm0);
 
    // set matrix type to shell, set data
    CHKERR DMSetMatType(block_dm, MATSHELL);
    CHKERR DMMoFEMSetBlocMatData(block_dm, std::get<1>(*nested_data_ptr)[3]);
    // set empty operator, since block data are already calculated
    CHKERR DMKSPSetComputeOperators(
        block_dm,
        [](KSP, Mat, Mat, void *) {
          MOFEM_LOG("WORLD", Sev::inform) << "empty operator";
          return 0;
        },
        nullptr);
 
    auto ksp = createKSP(m_field.get_comm());
    CHKERR KSPSetDM(ksp, block_dm);
    CHKERR KSPSetFromOptions(ksp);
 
    // set preconditioner to block mat
    auto get_pc = [](auto ksp) {
      PC pc_raw;
      CHKERR KSPGetPC(ksp, &pc_raw);
      return SmartPetscObj<PC>(pc_raw, true); // bump reference
    };
    CHKERR setSchurA00MatSolvePC(get_pc(ksp));
    CHKERR KSPSetUp(ksp);
 
    CHKERR VecZeroEntries(block_solved_x);
    CHKERR KSPSolve(ksp, diag_block_f, block_solved_x);
 
    CHKERR MatMult(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("diag solve", diag_block_f_test, nrm0);
 
    // solve transpose system
    CHKERR VecZeroEntries(block_solved_x);
    CHKERR KSPSolveTranspose(ksp, diag_block_f, block_solved_x);
    CHKERR MatMultTranspose(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("diag transpose solve", diag_block_f_test, nrm0);
 
    // block matrix after cached solves. Without preconditioner blocks A00
    // factors are stored in place and mult has to apply them.
    CHKERR MatMult(petsc_mat, v, y_petsc);
    CHKERR MatMult(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult after solve", y_petsc, nrm0);
    CHKERR MatMultTranspose(petsc_mat, v, y_petsc);
    CHKERR MatMultTranspose(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult transpose after solve", y_petsc, nrm0);
    if (no_preconditioner_block) {
      CHKERR MatMult(petsc_mat, v, y_petsc);
      CHKERR MatMult(nested_mat, v, y_nested);
      CHKERR VecAXPY(y_petsc, -1.0, y_nested);
      CHKERR test("mult nested after solve", y_petsc, nrm0);
    }
 
    // Schur complement assembled from block matrix is compared with Schur
    // complement assembled element by element (S)
    auto test_schur = [&](auto msg, std::vector<boost::shared_ptr<Range>> ents,
                          Mat s_ref) {
      MoFEMFunctionBegin;
      auto s = matDuplicate(s_ref, MAT_DO_NOT_COPY_VALUES);
      CHKERR assembleBlockMatSchur(m_field, block_mat, s, fields, ents, ao_up);
      CHKERR MatAssemblyBegin(s, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyEnd(s, MAT_FINAL_ASSEMBLY);
      double nrm_ref;
      CHKERR MatNorm(s_ref, NORM_FROBENIUS, &nrm_ref);
      CHKERR MatAXPY(s, -1.0, s_ref, DIFFERENT_NONZERO_PATTERN);
      double nrm;
      CHKERR MatNorm(s, NORM_FROBENIUS, &nrm);
      nrm /= nrm_ref;
      double eps = 1e-10;
      CHKERR PetscOptionsGetScalar(PETSC_NULLPTR, "", "-eps", &eps,
                                   PETSC_NULLPTR);
      MOFEM_LOG_CHANNEL("WORLD");
      MOFEM_TAG_AND_LOG("WORLD", Sev::inform, "TestBlockMat")
          << msg << ": norm of difference: " << nrm;
      if (nrm > eps || std::isnan(nrm) || std::isinf(nrm))
        SETERRQ(PETSC_COMM_WORLD, 1, "norm of difference is too big");
      MoFEMFunctionReturn(0);
    };
 
    // zero matrices and assemble again with different values (two assembly
    // passes double the values), factors have to be recomputed
    auto reassemble = [&]() {
      MoFEMFunctionBegin;
      CHKERR MatAssemblyBegin(S, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyEnd(S, MAT_FINAL_ASSEMBLY);
      CHKERR MatZeroEntries(petsc_mat);
      CHKERR MatZeroEntries(block_mat);
      CHKERR MatZeroEntries(S);
      for (int i = 0; i != 2; ++i)
        CHKERR DMoFEMLoopFiniteElements(simple->getDM(),
                                        simple->getDomainFEName(),
                                        pip_mng->getDomainLhsFE());
      CHKERR MatAssemblyBegin(petsc_mat, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyEnd(petsc_mat, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyBegin(S, MAT_FINAL_ASSEMBLY);
      CHKERR MatAssemblyEnd(S, MAT_FINAL_ASSEMBLY);
      MoFEMFunctionReturn(0);
    };
 
    CHKERR reassemble();
    std::vector<boost::shared_ptr<Range>> all_ents = {nullptr, nullptr,
                                                      nullptr};
    // element level Schur complement includes (T, T) preconditioner block,
    // thus block matrix has to include preconditioner blocks as well
    if (!no_preconditioner_block)
      CHKERR schurSwitchPreconditioner(block_data_ptr);
    CHKERR test_schur("schur from block", all_ents, S);
 
    // half of elements eliminated, that is not consistent with nested matrix
    Range vols, part_vols;
    CHKERR moab.get_entities_by_dimension(0, 3, vols, true);
    int nb_vols = 0;
    for (auto e : vols)
      if (nb_vols++ % 2 == 0)
        part_vols.insert(e);
    auto part_ptr = boost::make_shared<Range>(part_vols);
    std::vector<boost::shared_ptr<Range>> part_ents = {part_ptr, part_ptr,
                                                       part_ptr};
 
    {
      // A00 is factorised in place by Schur assembly (in data, or in
      // preconditioner blocks), elimination of different set of entities is
      // not possible until matrix is zeroed
      PetscPushErrorHandler(PetscIgnoreErrorHandler, PETSC_NULLPTR);
      auto ierr = assembleBlockMatSchur(m_field, block_mat, S, fields,
                                        part_ents, ao_up);
      PetscPopErrorHandler();
      if (!ierr)
        SETERRQ(PETSC_COMM_WORLD, 1,
                "Schur assembly with different elimination set should fail "
                "on factorised matrix");
      MOFEM_TAG_AND_LOG("WORLD", Sev::inform, "TestBlockMat")
          << "schur assembly with inconsistent elimination set rejected";
    }
    if (!no_preconditioner_block)
      CHKERR schurSwitchPreconditioner(block_data_ptr);
 
    CHKERR MatMult(petsc_mat, v, y_petsc);
    CHKERR VecNorm(y_petsc, NORM_2, &nrm0);
    CHKERR MatMult(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult after reassembly", y_petsc, nrm0);
 
    CHKERR MatMult(diag_mat, diag_block_x, diag_block_f);
    CHKERR MatSolve(diag_mat, diag_block_f, block_solved_x);
    CHKERR MatMult(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("diag solve after reassembly", diag_block_f_test, nrm0);
 
    CHKERR MatMult(petsc_mat, v, y_petsc);
    CHKERR MatMult(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult after reassembly and solve", y_petsc, nrm0);
    CHKERR MatMultTranspose(petsc_mat, v, y_petsc);
    CHKERR MatMultTranspose(block_mat, v, y_block);
    CHKERR VecAXPY(y_petsc, -1.0, y_block);
    CHKERR test("mult transpose after reassembly and solve", y_petsc, nrm0);
 
    CHKERR VecZeroEntries(block_solved_x);
    CHKERR KSPSolve(ksp, diag_block_f, block_solved_x);
    CHKERR MatMult(diag_mat, block_solved_x, diag_block_f_test);
    CHKERR VecAXPY(diag_block_f_test, -1.0, diag_block_f);
    CHKERR test("ksp solve after reassembly", diag_block_f_test, nrm0);
 
    // Without preconditioner blocks element level reference can be assembled
    // with part of A00 eliminated.
    if (no_preconditioner_block) {
      // Schur complement with part of A00 eliminated. Element level reference
      // uses the same entities. Block matrix can not use factors stored in
      // place, scratch memory is used.
      pip_lhs.pop_back();
      pip_lhs.push_back(
          createOpSchurAssembleEnd(fields, part_ents, ao_up, S, false, false));
      CHKERR reassemble();
      CHKERR test_schur("schur from block, part of A00 eliminated", part_ents,
                        S);
      CHKERR MatMult(petsc_mat, v, y_petsc);
      CHKERR VecNorm(y_petsc, NORM_2, &nrm0);
      CHKERR MatMult(block_mat, v, y_block);
      CHKERR VecAXPY(y_petsc, -1.0, y_block);
      CHKERR test("mult after partial schur assembly", y_petsc, nrm0);
    }
 
    if (m_field.get_comm_rank() == 0) {
      CHKERR schurSaveBlockMesh(block_data_ptr, "block_mesh.vtk");
    }
 
    petsc_mat.reset();
    block_mat.reset();
  }
  CATCH_ERRORS;
 
  // finish work cleaning memory, getting statistics, etc.
  MoFEM::Core::Finalize();
 
  return 0;
}

Variable Documentation

A

constexpr AssemblyType A

constexpr

Initial value:

=
    AssemblyType::BLOCK_MAT

Definition at line 29 of file schur_test_diag_mat.cpp.

block_mat

SmartPetscObj<Mat> block_mat

Examples

mofem/atom_tests/schur_test_diag_mat.cpp.

Definition at line 39 of file schur_test_diag_mat.cpp.

debug

constexpr bool debug = false

constexpr

Definition at line 83 of file schur_test_diag_mat.cpp.

FIELD_DIM

constexpr int FIELD_DIM = SPACE_DIM

constexpr

Definition at line 27 of file schur_test_diag_mat.cpp.

help

char help[] = "...\n\n"

static

Definition at line 13 of file schur_test_diag_mat.cpp.

I

constexpr IntegrationType I

constexpr

Initial value:

=
    IntegrationType::GAUSS

Definition at line 31 of file schur_test_diag_mat.cpp.

petsc_mat

SmartPetscObj<Mat> petsc_mat

Examples

mofem/atom_tests/schur_test_diag_mat.cpp.

Definition at line 38 of file schur_test_diag_mat.cpp.

SPACE_DIM

constexpr int SPACE_DIM = 3

constexpr

[Define dimension]

Definition at line 26 of file schur_test_diag_mat.cpp.