Skip to content

Tet support with contact #1431

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ebchin merged 11 commits into from
Jan 24, 2026
Merged

Tet support with contact #1431

Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
5a94a74
update tribol and modify patch to work with tets
ebchin Aug 1, 2025
9cddcf4
Merge branch 'develop' into feature/chin23/tet-contact
ebchin Aug 25, 2025
b95b224
update tribol to latest develop
ebchin Aug 25, 2025
63b436c
update spack tribol hash
ebchin Aug 25, 2025
123e882
update tribol version
ebchin Aug 25, 2025
03f0fe1
Merge branch 'develop' into feature/chin23/tet-contact
ebchin Sep 4, 2025
b2cbf22
Merge branch 'develop' into feature/chin23/tet-contact
ebchin Jan 5, 2026
987f775
Merge branch 'develop' into feature/chin23/tet-contact
ebchin Jan 22, 2026
5f7550f
update name
ebchin Jan 22, 2026
0ca299b
do line search so tests pass easier
ebchin Jan 22, 2026
08f9646
Merge branch 'develop' into feature/chin23/tet-contact
ebchin Jan 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 37 additions & 12 deletions src/smith/physics/tests/contact_patch.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,22 +11,23 @@
#include "gtest/gtest.h"
#include "mpi.h"
#include "mfem.hpp"
#include "shared/mesh/MeshBuilder.hpp"
Copy link
Member

@white238 white238 Jan 22, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

took a bit to find out this came from tribol.. why is it not just "tribol/meshbuilder.hpp"?

Copy link
Member Author

@ebchin ebchin Jan 22, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'll tell the Tribol guy to fix it over there


#include "smith/physics/solid_mechanics_contact.hpp"
#include "smith/physics/boundary_conditions/components.hpp"
#include "smith/physics/state/state_manager.hpp"
#include "smith/physics/mesh.hpp"
#include "smith/physics/materials/solid_material.hpp"
#include "smith/smith_config.hpp"
#include "smith/infrastructure/application_manager.hpp"
#include "smith/mesh_utils/mesh_utils.hpp"
#include "smith/numerics/functional/tensor.hpp"
#include "smith/numerics/solver_config.hpp"
#include "smith/physics/contact/contact_config.hpp"

namespace smith {

class ContactTest : public testing::TestWithParam<std::tuple<ContactEnforcement, ContactJacobian, std::string>> {};
class ContactTest
: public testing::TestWithParam<std::tuple<ContactEnforcement, ContactJacobian, std::string, mfem::Element::Type>> {
};

TEST_P(ContactTest, patch)
{
Expand All @@ -41,10 +42,23 @@ TEST_P(ContactTest, patch)
axom::sidre::DataStore datastore;
StateManager::initialize(datastore, name + "_data");

// Construct the appropriate dimension mesh and give it to the data store
std::string filename = SMITH_REPO_DIR "/data/meshes/twohex_for_contact.mesh";

auto mesh = std::make_shared<smith::Mesh>(buildMeshFromFile(filename), "patch_mesh", 2, 0);
// clang-format off
auto mesh = std::make_shared<smith::Mesh>(shared::MeshBuilder::Unify({
shared::MeshBuilder::CubeMesh(1, 1, 1, std::get<3>(GetParam()))
.updateBdrAttrib(3, 7)
.updateBdrAttrib(1, 3)
.updateBdrAttrib(4, 7)
.updateBdrAttrib(5, 1)
.updateBdrAttrib(6, 4),
shared::MeshBuilder::CubeMesh(1, 1, 1, std::get<3>(GetParam()))
.translate({0.0, 0.0, 1.0})
.updateBdrAttrib(1, 8)
.updateBdrAttrib(3, 7)
.updateBdrAttrib(4, 7)
.updateBdrAttrib(5, 1)
.updateBdrAttrib(8, 5)
}), "patch_mesh", 2, 0);
// clang-format on

mesh->addDomainOfBoundaryElements("x0_faces", smith::by_attr<dim>(1));
mesh->addDomainOfBoundaryElements("y0_faces", smith::by_attr<dim>(2));
Expand All @@ -69,10 +83,11 @@ TEST_P(ContactTest, patch)
return;
#endif

NonlinearSolverOptions nonlinear_options{.nonlin_solver = NonlinearSolver::Newton,
NonlinearSolverOptions nonlinear_options{.nonlin_solver = NonlinearSolver::NewtonLineSearch,
.relative_tol = 1.0e-13,
.absolute_tol = 1.0e-13,
.max_iterations = 20,
.max_line_search_iterations = 10,
.print_level = 1};

ContactOptions contact_options{.method = ContactMethod::SingleMortar,
Expand Down Expand Up @@ -132,12 +147,22 @@ TEST_P(ContactTest, patch)

INSTANTIATE_TEST_SUITE_P(
tribol, ContactTest,
testing::Values(std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Approximate, "penalty_approxJ"),
testing::Values(std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Approximate, "penalty_approxJ_hex",
mfem::Element::HEXAHEDRON),
std::make_tuple(ContactEnforcement::LagrangeMultiplier, ContactJacobian::Approximate,
"lagrange_multiplier_approxJ_hex", mfem::Element::HEXAHEDRON),
std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Exact, "penalty_exactJ_hex",
mfem::Element::HEXAHEDRON),
std::make_tuple(ContactEnforcement::LagrangeMultiplier, ContactJacobian::Exact,
"lagrange_multiplier_exactJ_hex", mfem::Element::HEXAHEDRON),
std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Approximate, "penalty_approxJ_tet",
mfem::Element::TETRAHEDRON),
std::make_tuple(ContactEnforcement::LagrangeMultiplier, ContactJacobian::Approximate,
"lagrange_multiplier_approxJ"),
std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Exact, "penalty_exactJ"),
"lagrange_multiplier_approxJ_tet", mfem::Element::TETRAHEDRON),
std::make_tuple(ContactEnforcement::Penalty, ContactJacobian::Exact, "penalty_exactJ_tet",
mfem::Element::TETRAHEDRON),
std::make_tuple(ContactEnforcement::LagrangeMultiplier, ContactJacobian::Exact,
"lagrange_multiplier_exactJ")));
"lagrange_multiplier_exactJ_tet", mfem::Element::TETRAHEDRON)));

} // namespace smith

Expand Down