PolyFEM
Loading...
Searching...
No Matches
State.cpp
Go to the documentation of this file.
2#include <polyfem/Common.hpp>
3
8// the non-legacy OutData carries the hybrid (prism/pyramid) collision-proxy
9// construction; the collision mesh is built through it in both architectures
11
15
24
27
29
32
35
38
41
46
50
51#include <polysolve/linear/FEMSolver.hpp>
52
53#include <igl/edges.h>
54#include <igl/Timer.h>
55
56#include <Eigen/Core>
57
58#include <spdlog/fmt/fmt.h>
59
60#include <algorithm>
61#include <memory>
62#include <stdexcept>
63#include <string>
64#include <utility>
65#include <vector>
66#include <cassert>
67#include <cmath>
68#include <cstddef>
69
70using namespace Eigen;
71
72namespace polyfem::legacy
73{
74 using namespace assembler;
75 using namespace mesh;
76 using namespace io;
77 using namespace utils;
78
79 namespace
80 {
82 void build_in_node_to_in_primitive(const Mesh &mesh, const MeshNodes &mesh_nodes,
83 Eigen::VectorXi &in_node_to_in_primitive,
84 Eigen::VectorXi &in_node_offset)
85 {
86 const int num_vertex_nodes = mesh_nodes.num_vertex_nodes();
87 const int num_edge_nodes = mesh_nodes.num_edge_nodes();
88 const int num_face_nodes = mesh_nodes.num_face_nodes();
89 const int num_cell_nodes = mesh_nodes.num_cell_nodes();
90
91 const int num_nodes = num_vertex_nodes + num_edge_nodes + num_face_nodes + num_cell_nodes;
92
93 const long n_vertices = num_vertex_nodes;
94 const int num_in_primitives = n_vertices + mesh.n_edges() + mesh.n_faces() + mesh.n_cells();
95 const int num_primitives = mesh.n_vertices() + mesh.n_edges() + mesh.n_faces() + mesh.n_cells();
96
97 in_node_to_in_primitive.resize(num_nodes);
98 in_node_offset.resize(num_nodes);
99
100 // Only one node per vertex, so this is an identity map.
101 in_node_to_in_primitive.head(num_vertex_nodes).setLinSpaced(num_vertex_nodes, 0, num_vertex_nodes - 1); // vertex nodes
102 in_node_offset.head(num_vertex_nodes).setZero();
103
104 int prim_offset = n_vertices;
105 int node_offset = num_vertex_nodes;
106 auto foo = [&](const int num_prims, const int num_prim_nodes) {
107 if (num_prims <= 0 || num_prim_nodes <= 0)
108 return;
109 const Eigen::VectorXi range = Eigen::VectorXi::LinSpaced(num_prim_nodes, 0, num_prim_nodes - 1);
110 // TODO: This assumes isotropic degree of element.
111 const int node_per_prim = num_prim_nodes / num_prims;
112
113 in_node_to_in_primitive.segment(node_offset, num_prim_nodes) =
114 range.array() / node_per_prim + prim_offset;
115
116 in_node_offset.segment(node_offset, num_prim_nodes) =
117 range.unaryExpr([&](const int x) { return x % node_per_prim; });
118
119 prim_offset += num_prims;
120 node_offset += num_prim_nodes;
121 };
122
123 foo(mesh.n_edges(), num_edge_nodes);
124 foo(mesh.n_faces(), num_face_nodes);
125 foo(mesh.n_cells(), num_cell_nodes);
126 }
127
128 bool build_in_primitive_to_primitive(
129 const Mesh &mesh, const MeshNodes &mesh_nodes,
130 const Eigen::VectorXi &in_ordered_vertices,
131 const Eigen::MatrixXi &in_ordered_edges,
132 const Eigen::MatrixXi &in_ordered_faces,
133 Eigen::VectorXi &in_primitive_to_primitive)
134 {
135 // NOTE: Assume in_cells_to_cells is identity
136 const int num_vertex_nodes = mesh_nodes.num_vertex_nodes();
137 const int num_edge_nodes = mesh_nodes.num_edge_nodes();
138 const int num_face_nodes = mesh_nodes.num_face_nodes();
139 const int num_cell_nodes = mesh_nodes.num_cell_nodes();
140 const int num_nodes = num_vertex_nodes + num_edge_nodes + num_face_nodes + num_cell_nodes;
141
142 const long n_vertices = num_vertex_nodes;
143 const int num_in_primitives = n_vertices + mesh.n_edges() + mesh.n_faces() + mesh.n_cells();
144 const int num_primitives = mesh.n_vertices() + mesh.n_edges() + mesh.n_faces() + mesh.n_cells();
145
146 in_primitive_to_primitive.setLinSpaced(num_in_primitives, 0, num_in_primitives - 1);
147
148 igl::Timer timer;
149
150 // ------------
151 // Map vertices
152 // ------------
153
154 if (in_ordered_vertices.rows() != n_vertices)
155 {
156 logger().warn("Node ordering disabled, in_ordered_vertices != n_vertices, {} != {}", in_ordered_vertices.rows(), n_vertices);
157 return false;
158 }
159
160 in_primitive_to_primitive.head(n_vertices) = in_ordered_vertices;
161
162 int in_offset = n_vertices;
163 int offset = mesh.n_vertices();
164
165 // ---------
166 // Map edges
167 // ---------
168
169 logger().trace("Building Mesh edges to IDs...");
170 timer.start();
171 const auto edges_to_ids = mesh.edges_to_ids();
172 if (in_ordered_edges.rows() != edges_to_ids.size())
173 {
174 logger().warn("Node ordering disabled, in_ordered_edges != edges_to_ids, {} != {}", in_ordered_edges.rows(), edges_to_ids.size());
175 return false;
176 }
177 timer.stop();
178 logger().trace("Done (took {}s)", timer.getElapsedTime());
179
180 logger().trace("Building in-edge to edge mapping...");
181 timer.start();
182 for (int in_ei = 0; in_ei < in_ordered_edges.rows(); in_ei++)
183 {
184 const std::pair<int, int> in_edge(
185 in_ordered_edges.row(in_ei).minCoeff(),
186 in_ordered_edges.row(in_ei).maxCoeff());
187 in_primitive_to_primitive[in_offset + in_ei] =
188 offset + edges_to_ids.at(in_edge); // offset edge ids
189 }
190 timer.stop();
191 logger().trace("Done (took {}s)", timer.getElapsedTime());
192
193 in_offset += mesh.n_edges();
194 offset += mesh.n_edges();
195
196 // ---------
197 // Map faces
198 // ---------
199
200 if (mesh.is_volume())
201 {
202 logger().trace("Building Mesh faces to IDs...");
203 timer.start();
204 const auto faces_to_ids = mesh.faces_to_ids();
205 if (in_ordered_faces.rows() != faces_to_ids.size())
206 {
207 logger().warn("Node ordering disabled, in_ordered_faces != faces_to_ids, {} != {}", in_ordered_faces.rows(), faces_to_ids.size());
208 return false;
209 }
210 timer.stop();
211 logger().trace("Done (took {}s)", timer.getElapsedTime());
212
213 logger().trace("Building in-face to face mapping...");
214 timer.start();
215 for (int in_fi = 0; in_fi < in_ordered_faces.rows(); in_fi++)
216 {
217 std::vector<int> in_face(in_ordered_faces.cols());
218 for (int i = 0; i < in_face.size(); i++)
219 in_face[i] = in_ordered_faces(in_fi, i);
220 std::sort(in_face.begin(), in_face.end());
221
222 in_primitive_to_primitive[in_offset + in_fi] =
223 offset + faces_to_ids.at(in_face); // offset face ids
224 }
225 timer.stop();
226 logger().trace("Done (took {}s)", timer.getElapsedTime());
227
228 in_offset += mesh.n_faces();
229 offset += mesh.n_faces();
230 }
231
232 return true;
233 }
234 } // namespace
235
236 std::vector<int> State::primitive_to_node() const
237 {
238 auto indices = iso_parametric() ? mesh_nodes->primitive_to_node() : geom_mesh_nodes->primitive_to_node();
239 indices.resize(mesh->n_vertices());
240 return indices;
241 }
242
243 std::vector<int> State::node_to_primitive() const
244 {
245 auto p2n = primitive_to_node();
246 std::vector<int> indices;
247 indices.resize(n_geom_bases);
248 for (int i = 0; i < p2n.size(); i++)
249 indices[p2n[i]] = i;
250 return indices;
251 }
252
254 {
255 if (args["space"]["basis_type"] == "Spline")
256 {
257 logger().warn("Node ordering disabled, it dosent work for splines!");
258 return;
259 }
260
261 if (disc_orders.maxCoeff() >= 4 || disc_orders.maxCoeff() != disc_orders.minCoeff())
262 {
263 logger().warn("Node ordering disabled, it works only for p < 4 and uniform order!");
264 return;
265 }
266
267 if (!mesh->is_conforming())
268 {
269 logger().warn("Node ordering disabled, not supported for non-conforming meshes!");
270 return;
271 }
272
273 if (mesh->has_poly())
274 {
275 logger().warn("Node ordering disabled, not supported for polygonal meshes!");
276 return;
277 }
278
279 if (mesh->in_ordered_vertices().size() <= 0 || mesh->in_ordered_edges().size() <= 0 || (mesh->is_volume() && mesh->in_ordered_faces().size() <= 0))
280 {
281 logger().warn("Node ordering disabled, input vertices/edges/faces not computed!");
282 return;
283 }
284
285 const int num_vertex_nodes = mesh_nodes->num_vertex_nodes();
286 const int num_edge_nodes = mesh_nodes->num_edge_nodes();
287 const int num_face_nodes = mesh_nodes->num_face_nodes();
288 const int num_cell_nodes = mesh_nodes->num_cell_nodes();
289
290 const int num_nodes = num_vertex_nodes + num_edge_nodes + num_face_nodes + num_cell_nodes;
291
292 const long n_vertices = num_vertex_nodes;
293 const int num_in_primitives = n_vertices + mesh->n_edges() + mesh->n_faces() + mesh->n_cells();
294 const int num_primitives = mesh->n_vertices() + mesh->n_edges() + mesh->n_faces() + mesh->n_cells();
295
296 igl::Timer timer;
297
298 logger().trace("Building in-node to in-primitive mapping...");
299 timer.start();
300 Eigen::VectorXi in_node_to_in_primitive;
301 Eigen::VectorXi in_node_offset;
302 build_in_node_to_in_primitive(*mesh, *mesh_nodes, in_node_to_in_primitive, in_node_offset);
303 timer.stop();
304 logger().trace("Done (took {}s)", timer.getElapsedTime());
305
306 logger().trace("Building in-primitive to primitive mapping...");
307 timer.start();
308 bool ok = build_in_primitive_to_primitive(
309 *mesh, *mesh_nodes,
310 mesh->in_ordered_vertices(),
311 mesh->in_ordered_edges(),
312 mesh->in_ordered_faces(),
314 timer.stop();
315 logger().trace("Done (took {}s)", timer.getElapsedTime());
316
317 if (!ok)
318 {
319 in_node_to_node.resize(0);
321 return;
322 }
323 const auto &tmp = mesh_nodes->in_ordered_vertices();
324 int max_tmp = -1;
325 for (auto v : tmp)
326 max_tmp = std::max(max_tmp, v);
327
328 in_node_to_node.resize(max_tmp + 1);
329 for (int i = 0; i < tmp.size(); ++i)
330 {
331 if (tmp[i] >= 0)
332 in_node_to_node[tmp[i]] = i;
333 }
334 }
335
336 std::string State::formulation() const
337 {
338 if (args["materials"].is_null())
339 {
340 logger().error("specify some 'materials'");
341 assert(!args["materials"].is_null());
342 throw std::runtime_error("invalid input");
343 }
344
345 if (args["materials"].is_array())
346 {
347 std::string current = "";
348 for (const auto &m : args["materials"])
349 {
350 const std::string tmp = m["type"];
351 if (current.empty())
352 current = tmp;
353 else if (current != tmp)
354 {
356 {
358 current = "MultiModels";
359 else
360 {
361 logger().error("Current material is {}, new material is {}, multimaterial supported only for LinearElasticity and NeoHookean", current, tmp);
362 throw std::runtime_error("invalid input");
363 }
364 }
365 else
366 {
367 logger().error("Current material is {}, new material is {}, multimaterial supported only for LinearElasticity and NeoHookean", current, tmp);
368 throw std::runtime_error("invalid input");
369 }
370 }
371 }
372
373 return current;
374 }
375 else
376 return args["materials"]["type"];
377 }
378
379 void State::sol_to_pressure(Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure)
380 {
381 if (n_pressure_bases <= 0)
382 {
383 logger().error("No pressure bases defined!");
384 return;
385 }
386
387 assert(mixed_assembler != nullptr);
388 Eigen::MatrixXd tmp = sol;
389
390 int fluid_offset = use_avg_pressure ? (assembler->is_fluid() ? 1 : 0) : 0;
391 sol = tmp.topRows(tmp.rows() - n_pressure_bases - fluid_offset);
392 assert(sol.size() == n_bases * (problem->is_scalar() ? 1 : mesh->dimension()));
393 pressure = tmp.middleRows(tmp.rows() - n_pressure_bases - fluid_offset, n_pressure_bases);
394 assert(pressure.size() == n_pressure_bases);
395 }
396
398 const Mesh3D &mesh,
399 const int n_bases,
400 const std::vector<basis::ElementBases> &bases,
401 const std::vector<basis::ElementBases> &gbases,
402 Eigen::MatrixXd &basis_integrals)
403 {
404 if (!mesh.is_volume())
405 {
406 logger().error("Works only on volumetric meshes!");
407 return;
408 }
409 assert(mesh.is_volume());
410
411 basis_integrals.resize(n_bases, 9);
412 basis_integrals.setZero();
413 Eigen::MatrixXd rhs(n_bases, 9);
414 rhs.setZero();
415
416 const int n_elements = mesh.n_elements();
417 for (int e = 0; e < n_elements; ++e)
418 {
419 // if (mesh.is_polytope(e)) {
420 // continue;
421 // }
422 // ElementAssemblyValues vals = values[e];
423 // const ElementAssemblyValues &gvals = gvalues[e];
425 vals.compute(e, mesh.is_volume(), bases[e], gbases[e]);
426
427 // Computes the discretized integral of the PDE over the element
428 const int n_local_bases = int(vals.basis_values.size());
429 for (int j = 0; j < n_local_bases; ++j)
430 {
431 const AssemblyValues &v = vals.basis_values[j];
432 const double integral_100 = (v.grad_t_m.col(0).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
433 const double integral_010 = (v.grad_t_m.col(1).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
434 const double integral_001 = (v.grad_t_m.col(2).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
435
436 const double integral_110 = ((vals.val.col(1).array() * v.grad_t_m.col(0).array() + vals.val.col(0).array() * v.grad_t_m.col(1).array()) * vals.det.array() * vals.quadrature.weights.array()).sum();
437 const double integral_011 = ((vals.val.col(2).array() * v.grad_t_m.col(1).array() + vals.val.col(1).array() * v.grad_t_m.col(2).array()) * vals.det.array() * vals.quadrature.weights.array()).sum();
438 const double integral_101 = ((vals.val.col(0).array() * v.grad_t_m.col(2).array() + vals.val.col(2).array() * v.grad_t_m.col(0).array()) * vals.det.array() * vals.quadrature.weights.array()).sum();
439
440 const double integral_200 = 2 * (vals.val.col(0).array() * v.grad_t_m.col(0).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
441 const double integral_020 = 2 * (vals.val.col(1).array() * v.grad_t_m.col(1).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
442 const double integral_002 = 2 * (vals.val.col(2).array() * v.grad_t_m.col(2).array() * vals.det.array() * vals.quadrature.weights.array()).sum();
443
444 const double area = (v.val.array() * vals.det.array() * vals.quadrature.weights.array()).sum();
445
446 for (size_t ii = 0; ii < v.global.size(); ++ii)
447 {
448 basis_integrals(v.global[ii].index, 0) += integral_100 * v.global[ii].val;
449 basis_integrals(v.global[ii].index, 1) += integral_010 * v.global[ii].val;
450 basis_integrals(v.global[ii].index, 2) += integral_001 * v.global[ii].val;
451
452 basis_integrals(v.global[ii].index, 3) += integral_110 * v.global[ii].val;
453 basis_integrals(v.global[ii].index, 4) += integral_011 * v.global[ii].val;
454 basis_integrals(v.global[ii].index, 5) += integral_101 * v.global[ii].val;
455
456 basis_integrals(v.global[ii].index, 6) += integral_200 * v.global[ii].val;
457 basis_integrals(v.global[ii].index, 7) += integral_020 * v.global[ii].val;
458 basis_integrals(v.global[ii].index, 8) += integral_002 * v.global[ii].val;
459
460 rhs(v.global[ii].index, 6) += -2.0 * area * v.global[ii].val;
461 rhs(v.global[ii].index, 7) += -2.0 * area * v.global[ii].val;
462 rhs(v.global[ii].index, 8) += -2.0 * area * v.global[ii].val;
463 }
464 }
465 }
466
467 basis_integrals -= rhs;
468 }
469
471 {
472 if (mesh->has_poly())
473 return true;
474
475 if (args["space"]["basis_type"] == "Bernstein")
476 return false;
477
478 if (args["space"]["basis_type"] == "Spline")
479 return true;
480
481 if (mesh->is_rational())
482 return false;
483
484 if (args["space"]["use_p_ref"])
485 return false;
486
487 if (mesh->orders().size() <= 0)
488 {
489 if (args["space"]["discr_order"] == 1)
490 return true;
491 else
492 return args["space"]["advanced"]["isoparametric"];
493 }
494
495 if (mesh->orders().minCoeff() != mesh->orders().maxCoeff())
496 return false;
497
498 if (args["space"]["discr_order"] == mesh->orders().minCoeff())
499 return true;
500
501 // TODO:
502 // if (args["space"]["discr_order"] == 1 && args["force_linear_geometry"])
503 // return true;
504
505 return args["space"]["advanced"]["isoparametric"];
506 }
507
509 {
510 if (!mesh)
511 {
512 logger().error("Load the mesh first!");
513 return;
514 }
515
516 mesh->prepare_mesh();
517
518 bases.clear();
519 pressure_bases.clear();
520 geom_bases_.clear();
521 boundary_nodes.clear();
522 dirichlet_nodes.clear();
523 neumann_nodes.clear();
524 local_boundary.clear();
525 total_local_boundary.clear();
528 local_pressure_cavity.clear();
529 polys.clear();
530 poly_edge_to_data.clear();
531 rhs.resize(0, 0);
532
533 if (assembler::MultiModel *mm = dynamic_cast<assembler::MultiModel *>(assembler.get()))
534 {
535 assert(args["materials"].is_array());
536
537 std::vector<std::string> materials(mesh->n_elements());
538
539 std::map<int, std::string> mats;
540
541 for (const auto &m : args["materials"])
542 mats[m["id"].get<int>()] = m["type"];
543
544 for (int i = 0; i < materials.size(); ++i)
545 materials[i] = mats.at(mesh->get_body_id(i));
546
547 mm->init_multimodels(materials);
548 }
549
550 n_bases = 0;
551 n_geom_bases = 0;
553
554 stats.reset();
555
556 disc_orders.resize(mesh->n_elements());
557 disc_ordersq.resize(mesh->n_elements());
558
559 problem->init(*mesh);
560 logger().info("Building {} basis...", (iso_parametric() ? "isoparametric" : "not isoparametric"));
561 const bool has_polys = mesh->has_poly();
562
563 local_boundary.clear();
566 local_pressure_cavity.clear();
567 std::map<int, basis::InterfaceData> poly_edge_to_data_geom; // temp dummy variable
568
569 const auto &tmp_json = args["space"]["discr_order"];
570 if (tmp_json.is_number_integer())
571 {
572 disc_orders.setConstant(tmp_json);
573 }
574 else if (tmp_json.is_string())
575 {
576 const std::string discr_orders_path = utils::resolve_path(tmp_json, root_path());
577 Eigen::MatrixXi tmp;
578 polyfem::io::read_matrix(discr_orders_path, tmp);
579 assert(tmp.size() == disc_orders.size());
580 assert(tmp.cols() == 1);
581 disc_orders = tmp;
582 }
583 else if (tmp_json.is_array())
584 {
585 const auto b_discr_orders = tmp_json;
586
587 std::map<int, int> b_orders;
588 for (size_t i = 0; i < b_discr_orders.size(); ++i)
589 {
590 assert(b_discr_orders[i]["id"].is_array() || b_discr_orders[i]["id"].is_number_integer());
591
592 const int order = b_discr_orders[i]["order"];
593 for (const int id : json_as_array<int>(b_discr_orders[i]["id"]))
594 {
595 b_orders[id] = order;
596 logger().trace("bid {}, discr {}", id, order);
597 }
598 }
599
600 for (int e = 0; e < mesh->n_elements(); ++e)
601 {
602 const int bid = mesh->get_body_id(e);
603 const auto order = b_orders.find(bid);
604 if (order == b_orders.end())
605 {
606 logger().debug("Missing discretization order for body {}; using 1", bid);
607 b_orders[bid] = 1;
608 disc_orders[e] = 1;
609 }
610 else
611 {
612 disc_orders[e] = order->second;
613 }
614 }
615 }
616 else
617 {
618 logger().error("space/discr_order must be either a number a path or an array");
619 throw std::runtime_error("invalid json");
620 }
621 // TODO: same for pressure!
622
623#ifdef POLYFEM_WITH_MISO
624 if (!mesh->is_simplicial())
625#else
626 if constexpr (true)
627#endif
628 {
629 args["space"]["advanced"]["count_flipped_els_continuous"] = false;
630 args["output"]["paraview"]["options"]["jacobian_validity"] = false;
631 args["solver"]["advanced"]["check_inversion"] = "Discrete";
632 }
633 else if (args["solver"]["advanced"]["check_inversion"] != "Discrete")
634 {
635 args["space"]["advanced"]["use_corner_quadrature"] = true;
636 }
637
638 Eigen::MatrixXi geom_disc_orders;
639 if (!iso_parametric())
640 {
641 if (mesh->orders().size() <= 0)
642 {
643 geom_disc_orders.resizeLike(disc_orders);
644 geom_disc_orders.setConstant(1);
645 }
646 else
647 geom_disc_orders = mesh->orders();
648 }
649
650 // TODO: implement prism geometric order
651 Eigen::MatrixXi geom_disc_ordersq = geom_disc_orders;
652 const auto &tmp_json2 = args["space"]["discr_orderq"];
653 if (tmp_json2.is_number_integer())
654 {
655 // tmp fix for n-m order prism
656 disc_ordersq.setConstant(tmp_json2);
657 }
658
659 igl::Timer timer;
660 timer.start();
661 if (args["space"]["use_p_ref"])
662 {
664 *mesh,
665 args["space"]["advanced"]["B"],
666 args["space"]["advanced"]["h1_formula"],
667 args["space"]["discr_order"],
668 args["space"]["advanced"]["discr_order_max"],
669 stats,
671
672 logger().info("min p: {} max p: {}", disc_orders.minCoeff(), disc_orders.maxCoeff());
673 }
674
675 int quadrature_order = args["space"]["advanced"]["quadrature_order"].get<int>();
676 const int mass_quadrature_order = args["space"]["advanced"]["mass_quadrature_order"].get<int>();
677 if (mixed_assembler != nullptr)
678 {
679 const int disc_order = disc_orders.maxCoeff();
680 if (disc_order - disc_orders.minCoeff() != 0)
681 {
682 logger().error("p refinement not supported in mixed formulation!");
683 return;
684 }
685 }
686
687 // shape optimization needs continuous geometric basis
688 const bool use_continuous_gbasis = true;
689 const bool use_corner_quadrature = args["space"]["advanced"]["use_corner_quadrature"];
690
691 if (mesh->is_volume())
692 {
693 const Mesh3D &tmp_mesh = *dynamic_cast<Mesh3D *>(mesh.get());
694 if (args["space"]["basis_type"] == "Spline")
695 {
696 // if (!iso_parametric())
697 // {
698 // logger().error("Splines must be isoparametric, ignoring...");
699 // // LagrangeBasis3d::build_bases(tmp_mesh, quadrature_order, geom_disc_orders, has_polys, geom_bases_, local_boundary, poly_edge_to_data_geom, mesh_nodes);
700 // SplineBasis3d::build_bases(tmp_mesh, quadrature_order, geom_bases_, local_boundary, poly_edge_to_data);
701 // }
702
703 n_bases = basis::SplineBasis3d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, bases, local_boundary, poly_edge_to_data);
704
705 // if (iso_parametric() && args["fit_nodes"])
706 // SplineBasis3d::fit_nodes(tmp_mesh, n_bases, bases);
707 }
708 else
709 {
710 if (!iso_parametric())
711 n_geom_bases = basis::LagrangeBasis3d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, geom_disc_orders, geom_disc_ordersq, false, false, has_polys, !use_continuous_gbasis, use_corner_quadrature, geom_bases_, local_boundary, poly_edge_to_data_geom, geom_mesh_nodes);
712
713 n_bases = basis::LagrangeBasis3d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, disc_orders, disc_ordersq, args["space"]["basis_type"] == "Bernstein", args["space"]["basis_type"] == "Serendipity", has_polys, false, use_corner_quadrature, bases, local_boundary, poly_edge_to_data, mesh_nodes);
714 }
715
716 // if(problem->is_mixed())
717 if (mixed_assembler != nullptr)
718 {
719 log_and_throw_error("Mixed formulation is not supported anymore for legacy!");
720 const int order = args["space"]["pressure_discr_order"];
721 // todo prism
722 const int orderq = order;
723
724 n_pressure_bases = basis::LagrangeBasis3d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, order, orderq, args["space"]["basis_type"] == "Bernstein", false, has_polys, false, use_corner_quadrature, pressure_bases, local_boundary, poly_edge_to_data_geom, pressure_mesh_nodes);
725 }
726 }
727 else
728 {
729 const Mesh2D &tmp_mesh = *dynamic_cast<Mesh2D *>(mesh.get());
730 if (args["space"]["basis_type"] == "Spline")
731 {
732 // TODO:
733 // if (!iso_parametric())
734 // {
735 // logger().error("Splines must be isoparametric, ignoring...");
736 // // LagrangeBasis2d::build_bases(tmp_mesh, quadrature_order, disc_orders, has_polys, geom_bases_, local_boundary, poly_edge_to_data_geom, mesh_nodes);
737 // n_bases = SplineBasis2d::build_bases(tmp_mesh, quadrature_order, geom_bases_, local_boundary, poly_edge_to_data);
738 // }
739
740 n_bases = basis::SplineBasis2d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, bases, local_boundary, poly_edge_to_data);
741
742 // if (iso_parametric() && args["fit_nodes"])
743 // SplineBasis2d::fit_nodes(tmp_mesh, n_bases, bases);
744 }
745 else
746 {
747 if (!iso_parametric())
748 n_geom_bases = basis::LagrangeBasis2d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, geom_disc_orders, false, false, has_polys, !use_continuous_gbasis, use_corner_quadrature, geom_bases_, local_boundary, poly_edge_to_data_geom, geom_mesh_nodes);
749
750 n_bases = basis::LagrangeBasis2d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, disc_orders, args["space"]["basis_type"] == "Bernstein", args["space"]["basis_type"] == "Serendipity", has_polys, false, use_corner_quadrature, bases, local_boundary, poly_edge_to_data, mesh_nodes);
751 }
752
753 // if(problem->is_mixed())
754 if (mixed_assembler != nullptr)
755 {
756 log_and_throw_error("Mixed formulation is not supported anymore for legacy!");
757
758 n_pressure_bases = basis::LagrangeBasis2d::build_bases(tmp_mesh, assembler->name(), quadrature_order, mass_quadrature_order, int(args["space"]["pressure_discr_order"]), args["space"]["basis_type"] == "Bernstein", false, has_polys, false, use_corner_quadrature, pressure_bases, local_boundary, poly_edge_to_data_geom, pressure_mesh_nodes);
759 }
760 }
761
762 if (mixed_assembler != nullptr)
763 {
764 assert(bases.size() == pressure_bases.size());
765 for (int i = 0; i < pressure_bases.size(); ++i)
766 {
768 bases[i].compute_quadrature(b_quad);
769 pressure_bases[i].set_quadrature([b_quad](quadrature::Quadrature &quad) { quad = b_quad; });
770 }
771 }
772
773 timer.stop();
774
776
777 if (n_geom_bases == 0)
779
780 for (const auto &lb : local_boundary)
781 total_local_boundary.emplace_back(lb);
782
783 const int dim = mesh->dimension();
784 const int problem_dim = problem->is_scalar() ? 1 : dim;
785
786 // Build the explicit periodic pair mapping once for consumers such as
787 // periodic contact. The constraint forms use the same centroid matcher.
788 if (has_periodic_bc())
789 {
790 const json &conditions = args["boundary_conditions"]["periodic"];
791 periodic_dof_mask.setZero(n_bases);
792 periodic_tile_offsets.resize(dim, conditions.size());
793 for (int i = 0; i < int(conditions.size()); ++i)
794 {
795 const json &condition = conditions[i];
796 const std::array<int, 2> boundary_ids = {{condition["boundary_ids"][0].get<int>(),
797 condition["boundary_ids"][1].get<int>()}};
799 n_bases * problem_dim, problem_dim, *mesh, bases, total_local_boundary,
800 boundary_ids, condition.value("tolerance", 1e-5));
801 periodic_tile_offsets.col(i) = mapping.translation.transpose();
802 for (const int dof : mapping.boundary_dofs)
803 periodic_dof_mask(dof) = 1;
804 }
805 }
806 else
807 {
808 periodic_dof_mask.resize(0);
809 periodic_tile_offsets.resize(0, 0);
810 }
811
812 if (args["constraints"].contains("macro_displacement_gradient"))
813 macro_strain_constraint.init(dim, args["constraints"]["macro_displacement_gradient"], root_path());
814
815 if (args["space"]["advanced"]["count_flipped_els"])
817
818 const int prev_bases = n_bases;
820
821 {
822 igl::Timer timer2;
823 logger().debug("Building node mapping...");
824 timer2.start();
826 problem->update_nodes(in_node_to_node);
827 mesh->update_nodes(in_node_to_node);
828 timer2.stop();
829 logger().debug("Done (took {}s)", timer2.getElapsedTime());
830 }
831
832 logger().info("Building collision mesh...");
834 if (has_periodic_bc() && args["contact"]["periodic"])
836 logger().info("Done!");
837
838 const int prev_b_size = local_boundary.size();
839 problem->setup_bc(*mesh, n_bases - obstacle.n_vertices(),
848
849 // setp nodal values
850 {
852 for (int n = 0; n < dirichlet_nodes.size(); ++n)
853 {
854 const int n_id = dirichlet_nodes[n];
855 bool found = false;
856 for (const auto &bs : bases)
857 {
858 for (const auto &b : bs.bases)
859 {
860 for (const auto &lg : b.global())
861 {
862 if (lg.index == n_id)
863 {
864 dirichlet_nodes_position[n] = lg.node;
865 found = true;
866 break;
867 }
868 }
869
870 if (found)
871 break;
872 }
873
874 if (found)
875 break;
876 }
877
878 assert(found);
879 }
880
882 for (int n = 0; n < neumann_nodes.size(); ++n)
883 {
884 const int n_id = neumann_nodes[n];
885 bool found = false;
886 for (const auto &bs : bases)
887 {
888 for (const auto &b : bs.bases)
889 {
890 for (const auto &lg : b.global())
891 {
892 if (lg.index == n_id)
893 {
894 neumann_nodes_position[n] = lg.node;
895 found = true;
896 break;
897 }
898 }
899
900 if (found)
901 break;
902 }
903
904 if (found)
905 break;
906 }
907
908 assert(found);
909 }
910 }
911
912 const bool has_neumann = local_neumann_boundary.size() > 0 || local_boundary.size() < prev_b_size;
913 use_avg_pressure = !has_neumann;
914
915 for (int i = prev_bases; i < n_bases; ++i)
916 {
917 for (int d = 0; d < problem_dim; ++d)
918 boundary_nodes.push_back(i * problem_dim + d);
919 }
920
921 std::sort(boundary_nodes.begin(), boundary_nodes.end());
922 auto it = std::unique(boundary_nodes.begin(), boundary_nodes.end());
923 boundary_nodes.resize(std::distance(boundary_nodes.begin(), it));
924
925 const auto &curret_bases = geom_bases();
926 const int n_samples = 10;
927 stats.compute_mesh_size(*mesh, curret_bases, n_samples, args["output"]["advanced"]["curved_mesh_size"]);
929 {
931 }
933 {
935 }
936
937 if (is_contact_enabled())
938 {
939 min_boundary_edge_length = std::numeric_limits<double>::max();
940 for (const auto &edge : collision_mesh.edges().rowwise())
941 {
942 const VectorNd v0 = collision_mesh.rest_positions().row(edge(0));
943 const VectorNd v1 = collision_mesh.rest_positions().row(edge(1));
944 min_boundary_edge_length = std::min(min_boundary_edge_length, (v1 - v0).norm());
945 }
946
947 double dhat = Units::convert(args["contact"]["dhat"], units.length());
948 args["contact"]["epsv"] = Units::convert(args["contact"]["epsv"], units.velocity());
949 args["contact"]["dhat"] = dhat;
950
951 if (!has_dhat && dhat > min_boundary_edge_length)
952 {
953 args["contact"]["dhat"] = double(args["contact"]["dhat_percentage"]) * min_boundary_edge_length;
954 logger().info("dhat set to {}", double(args["contact"]["dhat"]));
955 }
956 else
957 {
958 if (dhat > min_boundary_edge_length)
959 logger().warn("dhat larger than min boundary edge, {} > {}", dhat, min_boundary_edge_length);
960 }
961 }
962
963 logger().info("n_bases {}", n_bases);
964
965 timings.building_basis_time = timer.getElapsedTime();
966 logger().info(" took {}s", timings.building_basis_time);
967
968 logger().info("flipped elements {}", stats.n_flipped);
969 logger().info("h: {}", stats.mesh_size);
970 logger().info("n bases: {}", n_bases);
971 logger().info("n pressure bases: {}", n_pressure_bases);
972
973 if (n_bases <= args["solver"]["advanced"]["cache_size"])
974 {
975 timer.start();
976 logger().info("Building cache...");
977 ass_vals_cache.init(mesh->is_volume(), bases, curret_bases);
978 mass_ass_vals_cache.init(mesh->is_volume(), bases, curret_bases, true);
979 pure_mass_ass_vals_cache.init(mesh->is_volume(), bases, curret_bases, true);
980 if (mixed_assembler != nullptr)
981 pressure_ass_vals_cache.init(mesh->is_volume(), pressure_bases, curret_bases);
982
983 logger().info(" took {}s", timer.getElapsedTime());
984 }
985 else
986 {
989 if (mixed_assembler != nullptr)
991 }
992
993 out_geom.build_grid(*mesh, args["output"]["advanced"]["sol_on_grid"]);
994
995 if ((!problem->is_time_dependent() || args["time"]["quasistatic"]) && boundary_nodes.empty())
996 {
997 const bool has_global_constraints =
998 !args["constraints"]["hard"].empty()
999 || (args["constraints"]["zero_mean"].is_boolean() && args["constraints"]["zero_mean"].get<bool>())
1000 || (args["constraints"]["zero_mean"].is_array() && !args["constraints"]["zero_mean"].empty())
1001 || has_periodic_bc();
1002 if (!has_global_constraints)
1003 {
1004 log_and_throw_error("Static problem need to have some Dirichlet nodes or linear constraints!");
1005 }
1006 logger().warn("Static problem has no Dirichlet nodes; relying on linear constraints for uniqueness");
1007 }
1008 }
1009
1011 {
1012 if (!mesh)
1013 {
1014 logger().error("Load the mesh first!");
1015 return;
1016 }
1017
1018 rhs.resize(0, 0);
1019
1020 if (poly_edge_to_data.empty() && polys.empty())
1021 {
1023 return;
1024 }
1025
1026 igl::Timer timer;
1027 timer.start();
1028 logger().info("Computing polygonal basis...");
1029
1030 // std::sort(boundary_nodes.begin(), boundary_nodes.end());
1031
1032 // mixed not supports polygonal bases
1033 assert(n_pressure_bases == 0 || poly_edge_to_data.size() == 0);
1034
1035 int new_bases = 0;
1036
1037 if (iso_parametric())
1038 {
1039 if (mesh->is_volume())
1040 {
1041 if (args["space"]["poly_basis_type"] == "MeanValue" || args["space"]["poly_basis_type"] == "Wachspress")
1042 logger().error("Barycentric bases not supported in 3D");
1043 assert(assembler->is_linear());
1045 *dynamic_cast<LinearAssembler *>(assembler.get()),
1046 args["space"]["advanced"]["n_harmonic_samples"],
1047 *dynamic_cast<Mesh3D *>(mesh.get()),
1048 n_bases,
1049 args["space"]["advanced"]["quadrature_order"],
1050 args["space"]["advanced"]["mass_quadrature_order"],
1051 args["space"]["advanced"]["integral_constraints"],
1052 bases,
1053 bases,
1055 polys_3d);
1056 }
1057 else
1058 {
1059 if (args["space"]["poly_basis_type"] == "MeanValue")
1060 {
1062 assembler->name(),
1063 assembler->is_tensor() ? 2 : 1,
1064 *dynamic_cast<Mesh2D *>(mesh.get()),
1065 n_bases,
1066 args["space"]["advanced"]["quadrature_order"],
1067 args["space"]["advanced"]["mass_quadrature_order"],
1069 }
1070 else if (args["space"]["poly_basis_type"] == "Wachspress")
1071 {
1073 assembler->name(),
1074 assembler->is_tensor() ? 2 : 1,
1075 *dynamic_cast<Mesh2D *>(mesh.get()),
1076 n_bases,
1077 args["space"]["advanced"]["quadrature_order"],
1078 args["space"]["advanced"]["mass_quadrature_order"],
1080 }
1081 else
1082 {
1083 assert(assembler->is_linear());
1085 *dynamic_cast<LinearAssembler *>(assembler.get()),
1086 args["space"]["advanced"]["n_harmonic_samples"],
1087 *dynamic_cast<Mesh2D *>(mesh.get()),
1088 n_bases,
1089 args["space"]["advanced"]["quadrature_order"],
1090 args["space"]["advanced"]["mass_quadrature_order"],
1091 args["space"]["advanced"]["integral_constraints"],
1092 bases,
1093 bases,
1095 polys);
1096 }
1097 }
1098 }
1099 else
1100 {
1101 if (mesh->is_volume())
1102 {
1103 if (args["space"]["poly_basis_type"] == "MeanValue" || args["space"]["poly_basis_type"] == "Wachspress")
1104 {
1105 logger().error("Barycentric bases not supported in 3D");
1106 throw std::runtime_error("not implemented");
1107 }
1108 else
1109 {
1110 assert(assembler->is_linear());
1112 *dynamic_cast<LinearAssembler *>(assembler.get()),
1113 args["space"]["advanced"]["n_harmonic_samples"],
1114 *dynamic_cast<Mesh3D *>(mesh.get()),
1115 n_bases,
1116 args["space"]["advanced"]["quadrature_order"],
1117 args["space"]["advanced"]["mass_quadrature_order"],
1118 args["space"]["advanced"]["integral_constraints"],
1119 bases,
1122 polys_3d);
1123 }
1124 }
1125 else
1126 {
1127 if (args["space"]["poly_basis_type"] == "MeanValue")
1128 {
1130 assembler->name(),
1131 assembler->is_tensor() ? 2 : 1,
1132 *dynamic_cast<Mesh2D *>(mesh.get()),
1133 n_bases, args["space"]["advanced"]["quadrature_order"],
1134 args["space"]["advanced"]["mass_quadrature_order"],
1136 }
1137 else if (args["space"]["poly_basis_type"] == "Wachspress")
1138 {
1140 assembler->name(),
1141 assembler->is_tensor() ? 2 : 1,
1142 *dynamic_cast<Mesh2D *>(mesh.get()),
1143 n_bases, args["space"]["advanced"]["quadrature_order"],
1144 args["space"]["advanced"]["mass_quadrature_order"],
1146 }
1147 else
1148 {
1149 assert(assembler->is_linear());
1151 *dynamic_cast<LinearAssembler *>(assembler.get()),
1152 args["space"]["advanced"]["n_harmonic_samples"],
1153 *dynamic_cast<Mesh2D *>(mesh.get()),
1154 n_bases,
1155 args["space"]["advanced"]["quadrature_order"],
1156 args["space"]["advanced"]["mass_quadrature_order"],
1157 args["space"]["advanced"]["integral_constraints"],
1158 bases,
1161 polys);
1162 }
1163 }
1164 }
1165
1166 timer.stop();
1167 timings.computing_poly_basis_time = timer.getElapsedTime();
1168 logger().info(" took {}s", timings.computing_poly_basis_time);
1169
1170 n_bases += new_bases;
1171 }
1172
1174 {
1175 assert(!mesh->is_volume());
1176 const int dim = mesh->dimension();
1177 const int n_tiles = 2;
1178
1179 if (mesh->dimension() != 2)
1180 log_and_throw_error("Periodic collision mesh is only implemented in 2D!");
1181
1182 Eigen::MatrixXd V(n_bases, dim);
1183 for (const auto &bs : bases)
1184 for (const auto &b : bs.bases)
1185 for (const auto &g : b.global())
1186 V.row(g.index) = g.node;
1187
1188 Eigen::MatrixXi E = collision_mesh.edges();
1189 for (int i = 0; i < E.size(); i++)
1190 E(i) = collision_mesh.to_full_vertex_id(E(i));
1191
1192 Eigen::MatrixXd bbox(V.cols(), 2);
1193 bbox.col(0) = V.colwise().minCoeff();
1194 bbox.col(1) = V.colwise().maxCoeff();
1195
1196 // remove boundary edges on periodic BC, buggy
1197 {
1198 std::vector<int> ind;
1199 for (int i = 0; i < E.rows(); i++)
1200 {
1201 if (!periodic_dof_mask(E(i, 0)) || !periodic_dof_mask(E(i, 1)))
1202 ind.push_back(i);
1203 }
1204
1205 E = E(ind, Eigen::all).eval();
1206 }
1207
1208 Eigen::MatrixXd Vtmp, Vnew;
1209 Eigen::MatrixXi Etmp, Enew;
1210 Vtmp.setZero(V.rows() * n_tiles * n_tiles, V.cols());
1211 Etmp.setZero(E.rows() * n_tiles * n_tiles, E.cols());
1212
1213 if (periodic_tile_offsets.rows() != dim || periodic_tile_offsets.cols() != dim
1214 || Eigen::FullPivLU<Eigen::MatrixXd>(periodic_tile_offsets).rank() != dim)
1215 log_and_throw_error("Periodic contact requires {} linearly independent periodic boundary pairs", dim);
1216 const Eigen::MatrixXd &tile_offset = periodic_tile_offsets;
1217
1218 for (int i = 0, idx = 0; i < n_tiles; i++)
1219 {
1220 for (int j = 0; j < n_tiles; j++)
1221 {
1222 Eigen::Vector2d block_id;
1223 block_id << i, j;
1224
1225 Vtmp.middleRows(idx * V.rows(), V.rows()) = V;
1226 // Vtmp.block(idx * V.rows(), 0, V.rows(), 1).array() += tile_offset(0) * i;
1227 // Vtmp.block(idx * V.rows(), 1, V.rows(), 1).array() += tile_offset(1) * j;
1228 for (int vid = 0; vid < V.rows(); vid++)
1229 Vtmp.block(idx * V.rows() + vid, 0, 1, 2) += (tile_offset * block_id).transpose();
1230
1231 Etmp.middleRows(idx * E.rows(), E.rows()) = E.array() + idx * V.rows();
1232 idx += 1;
1233 }
1234 }
1235
1236 // clean duplicated vertices
1237 Eigen::VectorXi indices;
1238 {
1239 std::vector<int> tmp;
1240 for (int i = 0; i < V.rows(); i++)
1241 {
1242 if (periodic_dof_mask(i))
1243 tmp.push_back(i);
1244 }
1245
1246 indices.resize(tmp.size() * n_tiles * n_tiles);
1247 for (int i = 0; i < n_tiles * n_tiles; i++)
1248 {
1249 indices.segment(i * tmp.size(), tmp.size()) = Eigen::Map<Eigen::VectorXi, Eigen::Unaligned>(tmp.data(), tmp.size());
1250 indices.segment(i * tmp.size(), tmp.size()).array() += i * V.rows();
1251 }
1252 }
1253
1254 Eigen::VectorXi potentially_duplicate_mask(Vtmp.rows());
1255 potentially_duplicate_mask.setZero();
1256 potentially_duplicate_mask(indices).array() = 1;
1257
1258 Eigen::MatrixXd candidates = Vtmp(indices, Eigen::all);
1259
1260 Eigen::VectorXi SVI;
1261 std::vector<int> SVJ;
1262 SVI.setConstant(Vtmp.rows(), -1);
1263 int id = 0;
1264 double relative_tolerance = 1e-5;
1265 for (const json &condition : args["boundary_conditions"]["periodic"])
1266 relative_tolerance = std::max(relative_tolerance, condition.value("tolerance", 1e-5));
1267 const double eps = (bbox.col(1) - bbox.col(0)).maxCoeff() * relative_tolerance;
1268 for (int i = 0; i < Vtmp.rows(); i++)
1269 {
1270 if (SVI[i] < 0)
1271 {
1272 SVI[i] = id;
1273 SVJ.push_back(i);
1274 if (potentially_duplicate_mask(i))
1275 {
1276 Eigen::VectorXd diffs = (candidates.rowwise() - Vtmp.row(i)).rowwise().norm();
1277 for (int j = 0; j < diffs.size(); j++)
1278 if (diffs(j) < eps)
1279 SVI[indices[j]] = id;
1280 }
1281 id++;
1282 }
1283 }
1284
1285 Vnew = Vtmp(SVJ, Eigen::all);
1286
1287 Enew.resizeLike(Etmp);
1288 for (int d = 0; d < Etmp.cols(); d++)
1289 Enew.col(d) = SVI(Etmp.col(d));
1290
1291 std::vector<bool> is_on_surface = ipc::CollisionMesh::construct_is_on_surface(Vnew.rows(), Enew);
1292
1293 Eigen::MatrixXi boundary_triangles;
1294 Eigen::SparseMatrix<double> displacement_map;
1295 periodic_collision_mesh = ipc::CollisionMesh(is_on_surface,
1296 std::vector<bool>(Vnew.rows(), false),
1297 Vnew,
1298 Enew,
1299 boundary_triangles,
1300 displacement_map);
1301
1302 periodic_collision_mesh.init_area_jacobians();
1303
1304 periodic_collision_mesh_to_basis.setConstant(Vnew.rows(), -1);
1305 for (int i = 0; i < V.rows(); i++)
1306 for (int j = 0; j < n_tiles * n_tiles; j++)
1307 periodic_collision_mesh_to_basis(SVI[j * V.rows() + i]) = i;
1308
1309 if (periodic_collision_mesh_to_basis.maxCoeff() + 1 != V.rows())
1310 log_and_throw_error("Failed to tile mesh!");
1311 }
1312
1314 {
1317 args, [this](const std::string &p) { return resolve_input_path(p); },
1319 }
1320
1322 const mesh::Mesh &mesh,
1323 const int n_bases,
1324 const std::vector<basis::ElementBases> &bases,
1325 const std::vector<basis::ElementBases> &geom_bases,
1326 const std::vector<mesh::LocalBoundary> &total_local_boundary,
1327 const mesh::Obstacle &obstacle,
1328 const json &args,
1329 const std::function<std::string(const std::string &)> &resolve_input_path,
1330 const Eigen::VectorXi &in_node_to_node,
1331 ipc::CollisionMesh &collision_mesh)
1332 {
1333 Eigen::MatrixXd collision_vertices;
1334 Eigen::VectorXi collision_codim_vids;
1335 Eigen::MatrixXi collision_edges, collision_triangles;
1336 std::vector<Eigen::Triplet<double>> displacement_map_entries;
1337
1338 if (args.contains("/contact/collision_mesh"_json_pointer)
1339 && args.at("/contact/collision_mesh/enabled"_json_pointer).get<bool>())
1340 {
1341 const json collision_mesh_args = args.at("/contact/collision_mesh"_json_pointer);
1342 if (collision_mesh_args.contains("linear_map"))
1343 {
1344 assert(displacement_map_entries.empty());
1345 assert(collision_mesh_args.contains("mesh"));
1346 const std::string root_path = utils::json_value<std::string>(args, "root_path", "");
1347 // TODO: handle transformation per geometry
1348 const json transformation = json_as_array(args["geometry"])[0]["transformation"];
1350 utils::resolve_path(collision_mesh_args["mesh"], root_path),
1351 utils::resolve_path(collision_mesh_args["linear_map"], root_path),
1352 in_node_to_node, transformation, collision_vertices, collision_codim_vids,
1353 collision_edges, collision_triangles, displacement_map_entries);
1354 }
1355 else if (collision_mesh_args.contains("tessellation_type")
1356 && collision_mesh_args["tessellation_type"] == "max_order")
1357 {
1360 collision_vertices, collision_edges, collision_triangles, displacement_map_entries,
1361 utils::json_value<int>(collision_mesh_args, "sampling_order", 0));
1362 }
1363 else if (collision_mesh_args.contains("max_edge_length"))
1364 {
1365 logger().debug(
1366 "Building collision proxy with max edge length={} ...",
1367 collision_mesh_args["max_edge_length"].get<double>());
1368 igl::Timer timer;
1369 timer.start();
1372 collision_mesh_args["max_edge_length"], collision_vertices,
1373 collision_triangles, displacement_map_entries,
1374 collision_mesh_args["tessellation_type"]);
1375 if (collision_triangles.size())
1376 igl::edges(collision_triangles, collision_edges);
1377 timer.stop();
1378 logger().debug(fmt::format(
1379 std::locale("en_US.UTF-8"),
1380 "Done (took {:g}s, {:L} vertices, {:L} triangles)",
1381 timer.getElapsedTime(),
1382 collision_vertices.rows(), collision_triangles.rows()));
1383 }
1384 else
1385 {
1388 collision_vertices, collision_edges, collision_triangles, displacement_map_entries);
1389 }
1390 }
1391 else
1392 {
1395 collision_vertices, collision_edges, collision_triangles, displacement_map_entries);
1396 }
1397
1398 std::vector<bool> is_orientable_vertex(collision_vertices.rows(), true);
1399
1400 // n_bases already contains the obstacle vertices
1401 const int num_fe_nodes = n_bases - obstacle.n_vertices();
1402 const int num_fe_collision_vertices = collision_vertices.rows();
1403 assert(collision_edges.size() == 0 || collision_edges.maxCoeff() < num_fe_collision_vertices);
1404 assert(collision_triangles.size() == 0 || collision_triangles.maxCoeff() < num_fe_collision_vertices);
1405
1406 // Append the obstacles to the collision mesh
1407 if (obstacle.n_vertices() > 0)
1408 {
1409 append_rows(collision_vertices, obstacle.v());
1410 append_rows(collision_codim_vids, obstacle.codim_v().array() + num_fe_collision_vertices);
1411 append_rows(collision_edges, obstacle.e().array() + num_fe_collision_vertices);
1412 append_rows(collision_triangles, obstacle.f().array() + num_fe_collision_vertices);
1413
1414 for (int i = 0; i < obstacle.n_vertices(); i++)
1415 {
1416 is_orientable_vertex.push_back(false);
1417 }
1418
1419 if (!displacement_map_entries.empty())
1420 {
1421 displacement_map_entries.reserve(displacement_map_entries.size() + obstacle.n_vertices());
1422 for (int i = 0; i < obstacle.n_vertices(); i++)
1423 {
1424 displacement_map_entries.emplace_back(num_fe_collision_vertices + i, num_fe_nodes + i, 1.0);
1425 }
1426 }
1427 }
1428
1429 std::vector<bool> is_on_surface = ipc::CollisionMesh::construct_is_on_surface(
1430 collision_vertices.rows(), collision_edges);
1431 for (const int vid : collision_codim_vids)
1432 {
1433 is_on_surface[vid] = true;
1434 }
1435
1436 Eigen::SparseMatrix<double> displacement_map;
1437 if (!displacement_map_entries.empty())
1438 {
1439 displacement_map.resize(collision_vertices.rows(), n_bases);
1440 displacement_map.setFromTriplets(displacement_map_entries.begin(), displacement_map_entries.end());
1441 }
1442
1443 collision_mesh = ipc::CollisionMesh(
1444 is_on_surface, is_orientable_vertex, collision_vertices, collision_edges, collision_triangles,
1445 displacement_map);
1446
1447 collision_mesh.can_collide = [&collision_mesh, num_fe_collision_vertices](size_t vi, size_t vj) {
1448 // obstacles do not collide with other obstacles
1449 return collision_mesh.to_full_vertex_id(vi) < num_fe_collision_vertices
1450 || collision_mesh.to_full_vertex_id(vj) < num_fe_collision_vertices;
1451 };
1452
1453 collision_mesh.init_area_jacobians();
1454 }
1455
1457 {
1458 if (!mesh)
1459 {
1460 logger().error("Load the mesh first!");
1461 return;
1462 }
1463 if (n_bases <= 0)
1464 {
1465 logger().error("Build the bases first!");
1466 return;
1467 }
1468 if (assembler->name() == "OperatorSplitting")
1469 {
1471 avg_mass = 1;
1472 return;
1473 }
1474
1475 if (!problem->is_time_dependent())
1476 {
1477 avg_mass = 1;
1479 if (!is_problem_linear())
1481
1482 return;
1483 }
1484
1485 mass.resize(0, 0);
1486
1487 igl::Timer timer;
1488 timer.start();
1489 logger().info("Assembling mass mat...");
1490
1491 if (mixed_assembler != nullptr)
1492 {
1493 StiffnessMatrix velocity_mass;
1494 mass_matrix_assembler->assemble(mesh->is_volume(), n_bases, bases, geom_bases(), mass_ass_vals_cache, 0, velocity_mass, true);
1495 if (!is_problem_linear())
1497
1498 std::vector<Eigen::Triplet<double>> mass_blocks;
1499 mass_blocks.reserve(velocity_mass.nonZeros());
1500
1501 for (int k = 0; k < velocity_mass.outerSize(); ++k)
1502 {
1503 for (StiffnessMatrix::InnerIterator it(velocity_mass, k); it; ++it)
1504 {
1505 mass_blocks.emplace_back(it.row(), it.col(), it.value());
1506 }
1507 }
1508
1509 mass.resize(n_bases * assembler->size(), n_bases * assembler->size());
1510 mass.setFromTriplets(mass_blocks.begin(), mass_blocks.end());
1511 mass.makeCompressed();
1512 }
1513 else
1514 {
1515 mass_matrix_assembler->assemble(mesh->is_volume(), n_bases, bases, geom_bases(), mass_ass_vals_cache, 0, mass, true);
1516 if (!is_problem_linear())
1518 }
1519
1520 assert(mass.size() > 0);
1521
1522 avg_mass = 0;
1523 for (int k = 0; k < mass.outerSize(); ++k)
1524 {
1525
1526 for (StiffnessMatrix::InnerIterator it(mass, k); it; ++it)
1527 {
1528 assert(it.col() == k);
1529 avg_mass += it.value();
1530 }
1531 }
1532
1533 avg_mass /= mass.rows();
1534 logger().info("average mass {}", avg_mass);
1535
1536 if (args["solver"]["advanced"]["lump_mass_matrix"])
1537 {
1539 }
1540
1541 timer.stop();
1542 timings.assembling_mass_mat_time = timer.getElapsedTime();
1543 logger().info(" took {}s", timings.assembling_mass_mat_time);
1544
1545 stats.nn_zero = mass.nonZeros();
1546 stats.num_dofs = mass.rows();
1547 stats.mat_size = (long long)mass.rows() * (long long)mass.cols();
1548 logger().info("sparsity: {}/{}", stats.nn_zero, stats.mat_size);
1549 }
1550
1551 std::shared_ptr<RhsAssembler> State::build_rhs_assembler(
1552 const int n_bases_,
1553 const std::vector<basis::ElementBases> &bases_,
1554 const assembler::AssemblyValsCache &ass_vals_cache_) const
1555 {
1556 json rhs_solver_params = args["solver"]["linear"];
1557 if (!rhs_solver_params.contains("Pardiso"))
1558 rhs_solver_params["Pardiso"] = {};
1559 rhs_solver_params["Pardiso"]["mtype"] = -2; // matrix type for Pardiso (2 = SPD)
1560
1561 const int size = problem->is_scalar() ? 1 : mesh->dimension();
1562
1563 return std::make_shared<RhsAssembler>(
1564 *assembler, *mesh, &obstacle,
1567 n_bases_, size, bases_, geom_bases(), ass_vals_cache_, *problem,
1568 args["space"]["advanced"]["bc_method"],
1569 rhs_solver_params);
1570 }
1571
1572 std::shared_ptr<PressureAssembler> State::build_pressure_assembler(
1573 const int n_bases_,
1574 const std::vector<basis::ElementBases> &bases_) const
1575 {
1576 const int size = problem->is_scalar() ? 1 : mesh->dimension();
1577
1578 return std::make_shared<PressureAssembler>(
1584 n_bases_, size, bases_, geom_bases(), *problem);
1585 }
1586
1588 {
1589 if (!mesh)
1590 {
1591 logger().error("Load the mesh first!");
1592 return;
1593 }
1594 if (n_bases <= 0)
1595 {
1596 logger().error("Build the bases first!");
1597 return;
1598 }
1599
1600 igl::Timer timer;
1601
1602 json p_params = {};
1603 p_params["formulation"] = assembler->name();
1604 p_params["root_path"] = root_path();
1605 {
1606 RowVectorNd min, max, delta;
1607 mesh->bounding_box(min, max);
1608 delta = (max - min) / 2. + min;
1609 if (mesh->is_volume())
1610 p_params["bbox_center"] = {delta(0), delta(1), delta(2)};
1611 else
1612 p_params["bbox_center"] = {delta(0), delta(1)};
1613 }
1614 problem->set_parameters(p_params, root_path());
1615
1616 rhs.resize(0, 0);
1617
1618 timer.start();
1619 logger().info("Assigning rhs...");
1620
1622 solve_data.rhs_assembler->assemble(mass_matrix_assembler->density(), rhs);
1623 rhs *= -1;
1624
1625 // if(problem->is_mixed())
1626 if (mixed_assembler != nullptr)
1627 {
1628 const int prev_size = rhs.size();
1629 const int n_larger = n_pressure_bases + (use_avg_pressure ? (assembler->is_fluid() ? 1 : 0) : 0);
1630 rhs.conservativeResize(prev_size + n_larger, rhs.cols());
1631 if (assembler->name() == "OperatorSplitting")
1632 {
1634 return;
1635 }
1636 // Divergence free rhs
1637 if (assembler->name() != "Bilaplacian" || local_neumann_boundary.empty())
1638 {
1639 rhs.block(prev_size, 0, n_larger, rhs.cols()).setZero();
1640 }
1641 else
1642 {
1643 Eigen::MatrixXd tmp(n_pressure_bases, 1);
1644 tmp.setZero();
1645
1646 std::shared_ptr<RhsAssembler> tmp_rhs_assembler = build_rhs_assembler(
1648
1649 tmp_rhs_assembler->set_bc(std::vector<LocalBoundary>(), std::vector<int>(), n_boundary_samples(), local_neumann_boundary, tmp);
1650 rhs.block(prev_size, 0, n_larger, rhs.cols()) = tmp;
1651 }
1652 }
1653
1654 timer.stop();
1655 timings.assigning_rhs_time = timer.getElapsedTime();
1656 logger().info(" took {}s", timings.assigning_rhs_time);
1657 }
1658
1659 void State::solve_problem(Eigen::MatrixXd &sol,
1660 Eigen::MatrixXd &pressure,
1661 UserPostStepCallback user_post_step,
1662 const InitialConditionOverride *ic_override)
1663 {
1664 if (!mesh)
1665 {
1666 logger().error("Load the mesh first!");
1667 return;
1668 }
1669 if (n_bases <= 0)
1670 {
1671 logger().error("Build the bases first!");
1672 return;
1673 }
1674
1675 // if (rhs.size() <= 0)
1676 // {
1677 // logger().error("Assemble the rhs first!");
1678 // return;
1679 // }
1680
1681 // sol.resize(0, 0);
1682 // pressure.resize(0, 0);
1683 stats.spectrum.setZero();
1684
1685 igl::Timer timer;
1686 timer.start();
1687 logger().info("Solving {}", assembler->name());
1688
1689 init_solve(sol, pressure, ic_override);
1690
1691 if (problem->is_time_dependent())
1692 {
1693 const double t0 = args["time"]["t0"];
1694 const int time_steps = args["time"]["time_steps"];
1695 const double dt = args["time"]["dt"];
1696
1697 // Pre log the output path for easier watching
1698 if (args["output"]["advanced"]["save_time_sequence"])
1699 {
1700 logger().info("Time sequence of simulation will be written to: \"{}\"",
1701 resolve_output_path(args["output"]["paraview"]["file_name"]));
1702 }
1703
1704 if (assembler->name() == "NavierStokes")
1705 log_and_throw_error("NavierStokes is only supported through VarFormFactory");
1706 else if (assembler->name() == "OperatorSplitting")
1707 solve_transient_navier_stokes_split(time_steps, dt, sol, pressure, user_post_step);
1708 else if (is_homogenization())
1709 solve_homogenization(time_steps, t0, dt, sol, user_post_step);
1710 else if (is_problem_linear())
1711 solve_transient_linear(time_steps, t0, dt, sol, pressure, user_post_step, ic_override);
1712 else if (!assembler->is_linear() && problem->is_scalar())
1713 throw std::runtime_error("Nonlinear scalar problems are not supported yet!");
1714 else
1715 solve_transient_tensor_nonlinear(time_steps, t0, dt, sol, user_post_step, ic_override);
1716 }
1717 else
1718 {
1719 if (assembler->name() == "NavierStokes")
1720 log_and_throw_error("NavierStokes is only supported through VarFormFactory");
1721 else if (is_homogenization())
1722 solve_homogenization(/* time steps */ 0, /* t0 */ 0, /* dt */ 0, sol, user_post_step);
1723 else if (is_problem_linear())
1724 {
1725 init_linear_solve(sol, 1.0, ic_override);
1726 solve_linear(0, sol, pressure, user_post_step);
1727 }
1728 else if (!assembler->is_linear() && problem->is_scalar())
1729 throw std::runtime_error("Nonlinear scalar problems are not supported yet!");
1730 else
1731 {
1732 init_nonlinear_tensor_solve(sol, 1.0, true, ic_override);
1733 solve_tensor_nonlinear(0, sol, true, user_post_step);
1734
1735 const std::string state_path = resolve_output_path(args["output"]["data"]["state"]);
1736 if (!state_path.empty())
1737 polyfem::io::write_matrix(state_path, "u", sol);
1738 }
1739 }
1740
1741 timer.stop();
1742 timings.solving_time = timer.getElapsedTime();
1743 logger().info(" took {}s", timings.solving_time);
1744 }
1745
1746} // namespace polyfem::legacy
int V
ElementAssemblyValues vals
Definition Assembler.cpp:25
int x
std::string velocity() const
Definition Units.hpp:29
static double convert(const json &val, const std::string &unit_type)
Definition Units.cpp:35
const std::string & length() const
Definition Units.hpp:19
static bool is_elastic_material(const std::string &material)
utility to check if material is one of the elastic materials
Caches basis evaluation and geometric mapping at every element.
void init(const bool is_volume, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, const bool is_mass=false)
computes the basis evaluation and geometric mapping for each of the given ElementBases in bases initi...
void init_empty(const bool is_mass=false)
initialize an empty cache.
stores per local bases evaluations
std::vector< basis::Local2Global > global
stores per element basis values at given quadrature points and geometric mapping
void compute(const int el_index, const bool is_volume, const Eigen::MatrixXd &pts, const basis::ElementBases &basis, const basis::ElementBases &gbasis)
computes the per element values at the local (ref el) points (pts) sets basis_values,...
assemble matrix based on the local assembler local assembler is eg Laplace, LinearElasticity etc
void init(const int dim, const json &param, const std::string &root_path)
static int build_bases(const mesh::Mesh2D &mesh, const std::string &assembler, const int quadrature_order, const int mass_quadrature_order, const int discr_order, const bool bernstein, const bool serendipity, const bool has_polys, const bool is_geom_bases, const bool use_corner_quadrature, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, InterfaceData > &poly_edge_to_data, std::shared_ptr< mesh::MeshNodes > &mesh_nodes)
Builds FE basis functions over the entire mesh (P1, P2 over triangles, Q1, Q2 over quads).
static int build_bases(const mesh::Mesh3D &mesh, const std::string &assembler, const int quadrature_order, const int mass_quadrature_order, const int discr_orderp, const int discr_orderq, const bool bernstein, const bool serendipity, const bool has_polys, const bool is_geom_bases, const bool use_corner_quadrature, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, InterfaceData > &poly_face_to_data, std::shared_ptr< mesh::MeshNodes > &mesh_nodes)
Builds FE basis functions over the entire mesh (P1, P2 over tets, Q1, Q2 over hes).
static int build_bases(const std::string &assembler_name, const int dim, const mesh::Mesh2D &mesh, const int n_bases, const int quadrature_order, const int mass_quadrature_order, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, Eigen::MatrixXd > &mapped_boundary)
static int build_bases(const assembler::LinearAssembler &assembler, const int n_samples_per_edge, const mesh::Mesh2D &mesh, const int n_bases, const int quadrature_order, const int mass_quadrature_order, const int integral_constraints, std::vector< ElementBases > &bases, const std::vector< ElementBases > &gbases, const std::map< int, InterfaceData > &poly_edge_to_data, std::map< int, Eigen::MatrixXd > &mapped_boundary)
Build bases over the remaining polygons of a mesh.
static int build_bases(const assembler::LinearAssembler &assembler, const int n_samples_per_edge, const mesh::Mesh3D &mesh, const int n_bases, const int quadrature_order, const int mass_quadrature_order, const int integral_constraints, std::vector< ElementBases > &bases, const std::vector< ElementBases > &gbases, const std::map< int, InterfaceData > &poly_face_to_data, std::map< int, std::pair< Eigen::MatrixXd, Eigen::MatrixXi > > &mapped_boundary)
Build bases over the remaining polygons of a mesh.
static int build_bases(const mesh::Mesh2D &mesh, const std::string &assembler, const int quadrature_order, const int mass_quadrature_order, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, InterfaceData > &poly_edge_to_data)
static int build_bases(const mesh::Mesh3D &mesh, const std::string &assembler, const int quadrature_order, const int mass_quadrature_order, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, InterfaceData > &poly_face_to_data)
static int build_bases(const std::string &assembler_name, const int dim, const mesh::Mesh2D &mesh, const int n_bases, const int quadrature_order, const int mass_quadrature_order, std::vector< ElementBases > &bases, std::vector< mesh::LocalBoundary > &local_boundary, std::map< int, Eigen::MatrixXd > &mapped_boundary)
static void extract_boundary_mesh_sampled(const mesh::Mesh &mesh, const int n_bases, const std::vector< basis::ElementBases > &bases, const std::vector< mesh::LocalBoundary > &total_local_boundary, Eigen::MatrixXd &node_positions, Eigen::MatrixXi &boundary_edges, Eigen::MatrixXi &boundary_triangles, std::vector< Eigen::Triplet< double > > &displacement_map_entries, const int sampling_order=0)
extracts a collision proxy sampling every boundary face on a uniform lattice of the globally maximal ...
Definition OutData.cpp:434
static void extract_boundary_mesh(const mesh::Mesh &mesh, const int n_bases, const std::vector< basis::ElementBases > &bases, const std::vector< mesh::LocalBoundary > &total_local_boundary, Eigen::MatrixXd &node_positions, Eigen::MatrixXi &boundary_edges, Eigen::MatrixXi &boundary_triangles, std::vector< Eigen::Triplet< double > > &displacement_map_entries)
extracts the boundary mesh
Definition OutData.cpp:707
double assembling_stiffness_mat_time
time to assembly
double assigning_rhs_time
time to computing the rhs
double assembling_mass_mat_time
time to assembly mass
double building_basis_time
time to construct the basis
double solving_time
time to solve
double computing_poly_basis_time
time to build the polygonal/polyhedral bases
int n_flipped
number of flipped elements, compute only when using count_flipped_els (false by default)
Eigen::Vector4d spectrum
spectrum of the stiffness matrix, enable only if POLYSOLVE_WITH_SPECTRA is ON (off by default)
void count_flipped_elements(const polyfem::mesh::Mesh &mesh, const std::vector< polyfem::basis::ElementBases > &gbases)
counts the number of flipped elements
Definition OutData.cpp:2785
void compute_mesh_size(const polyfem::mesh::Mesh &mesh_in, const std::vector< polyfem::basis::ElementBases > &bases_in, const int n_samples, const bool use_curved_mesh_size)
computes the mesh size, it samples every edges n_samples times uses curved_mesh_size (false by defaul...
Definition OutData.cpp:2702
long long nn_zero
non zeros and sytem matrix size num dof is the total dof in the system
double mesh_size
max edge lenght
void reset()
clears all stats
Definition OutData.cpp:2780
double min_edge_length
min edge lenght
Runtime override for initial-condition histories.
Definition State.hpp:90
std::shared_ptr< assembler::Problem > problem
current problem, it contains rhs and bc
Definition State.hpp:203
bool iso_parametric() const
check if using iso parametric bases
Definition State.cpp:470
StiffnessMatrix pure_mass
Definition State.hpp:239
Eigen::VectorXi periodic_dof_mask
Explicit periodic boundary-pair data used by periodic contact.
Definition State.hpp:484
void solve_transient_tensor_nonlinear(const int time_steps, const double t0, const double dt, Eigen::MatrixXd &sol, UserPostStepCallback user_post_step={}, const InitialConditionOverride *ic_override=nullptr)
solves transient tensor nonlinear problem
const std::vector< basis::ElementBases > & geom_bases() const
Get a constant reference to the geometry mapping bases.
Definition State.hpp:263
ipc::CollisionMesh collision_mesh
IPC collision mesh.
Definition State.hpp:651
StiffnessMatrix mass
Mass matrix, it is computed only for time dependent problems.
Definition State.hpp:238
bool has_dhat
stores if input json contains dhat
Definition State.hpp:710
std::vector< RowVectorNd > dirichlet_nodes_position
Definition State.hpp:551
std::string resolve_input_path(const std::string &path, const bool only_if_exists=false) const
Resolve input path relative to root_path() if the path is not absolute.
void build_collision_mesh()
extracts the boundary mesh for collision, called in build_basis
Definition State.cpp:1313
std::vector< mesh::LocalBoundary > local_boundary
mapping from elements to nodes for dirichlet boundary conditions
Definition State.hpp:540
std::vector< mesh::LocalBoundary > local_pressure_boundary
mapping from elements to nodes for pressure boundary conditions
Definition State.hpp:544
std::vector< int > dirichlet_nodes
per node dirichlet
Definition State.hpp:550
std::shared_ptr< polyfem::mesh::MeshNodes > mesh_nodes
Mapping from input nodes to FE nodes.
Definition State.hpp:228
Eigen::VectorXi in_primitive_to_primitive
maps in vertices/edges/faces/cells to polyfem vertices/edges/faces/cells
Definition State.hpp:559
void solve_tensor_nonlinear(int step, Eigen::MatrixXd &sol, const bool init_lagging=true, UserPostStepCallback user_post_step={})
solves nonlinear problems
std::shared_ptr< assembler::Mass > mass_matrix_assembler
Definition State.hpp:191
std::vector< int > pressure_boundary_nodes
list of neumann boundary nodes
Definition State.hpp:536
void init_solve(Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure, const InitialConditionOverride *ic_override=nullptr)
initialize solver
std::unordered_map< int, std::vector< mesh::LocalBoundary > > local_pressure_cavity
mapping from elements to nodes for pressure boundary conditions
Definition State.hpp:546
std::unique_ptr< mesh::Mesh > mesh
current mesh, it can be a Mesh2D or Mesh3D
Definition State.hpp:573
Eigen::MatrixXd rhs
System right-hand side.
Definition State.hpp:247
void build_node_mapping()
build the mapping from input nodes to polyfem nodes
Definition State.cpp:253
void init_linear_solve(Eigen::MatrixXd &sol, const double t=1.0, const InitialConditionOverride *ic_override=nullptr)
initialize the linear solve
io::OutStatsData stats
Other statistics.
Definition State.hpp:723
json args
main input arguments containing all defaults
Definition State.hpp:135
void build_polygonal_basis()
builds bases for polygons, called inside build_basis
Definition State.cpp:1010
assembler::AssemblyValsCache pure_mass_ass_vals_cache
Definition State.hpp:233
std::vector< basis::ElementBases > geom_bases_
Geometric mapping bases, if the elements are isoparametric, this list is empty.
Definition State.hpp:210
std::vector< RowVectorNd > neumann_nodes_position
Definition State.hpp:554
Eigen::VectorXi disc_ordersq
Definition State.hpp:225
std::map< int, Eigen::MatrixXd > polys
polygons, used since poly have no geom mapping
Definition State.hpp:220
void solve_transient_navier_stokes_split(const int time_steps, const double dt, Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure, UserPostStepCallback user_post_step={})
solves transient navier stokes with operator splitting
void sol_to_pressure(Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure)
splits the solution in solution and pressure for mixed problems
Definition State.cpp:379
void solve_homogenization(const int time_steps, const double t0, const double dt, Eigen::MatrixXd &sol, UserPostStepCallback user_post_step={})
int n_pressure_bases
number of pressure bases
Definition State.hpp:215
assembler::AssemblyValsCache pressure_ass_vals_cache
used to store assembly values for pressure for small problems
Definition State.hpp:235
int n_bases
number of bases
Definition State.hpp:213
void assemble_mass_mat()
assemble mass, step 4 of solve build mass matrix based on defined basis modifies mass (and maybe more...
Definition State.cpp:1456
double starting_min_edge_length
Definition State.hpp:724
std::shared_ptr< polyfem::mesh::MeshNodes > geom_mesh_nodes
Definition State.hpp:228
std::string resolve_output_path(const std::string &path) const
Resolve output path relative to output_dir if the path is not absolute.
double min_boundary_edge_length
Definition State.hpp:726
io::OutRuntimeData timings
runtime statistics
Definition State.hpp:721
std::vector< basis::ElementBases > pressure_bases
FE pressure bases for mixed elements, the size is #elements.
Definition State.hpp:208
mesh::Obstacle obstacle
Obstacles used in collisions.
Definition State.hpp:575
std::string root_path() const
Get the root path for the state (e.g., args["root_path"] or ".")
std::string formulation() const
return the formulation (checks if the problem is scalar or not and deals with multiphysics)
Definition State.cpp:336
Eigen::VectorXi disc_orders
vector of discretization orders, used when not all elements have the same degree, one per element
Definition State.hpp:225
assembler::AssemblyValsCache ass_vals_cache
used to store assembly values for small problems
Definition State.hpp:231
void solve_transient_linear(const int time_steps, const double t0, const double dt, Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure, UserPostStepCallback user_post_step={}, const InitialConditionOverride *ic_override=nullptr)
solves transient linear problem
io::OutGeometryData out_geom
visualization stuff
Definition State.hpp:719
assembler::AssemblyValsCache mass_ass_vals_cache
Definition State.hpp:232
QuadratureOrders n_boundary_samples() const
quadrature used for projecting boundary conditions
Definition State.hpp:303
bool use_avg_pressure
use average pressure for stokes problem to fix the additional dofs, true by default if false,...
Definition State.hpp:251
std::shared_ptr< assembler::Assembler > assembler
assemblers
Definition State.hpp:189
void build_basis()
builds the bases step 2 of solve modifies bases, pressure_bases, geom_bases_, boundary_nodes,...
Definition State.cpp:508
std::map< int, basis::InterfaceData > poly_edge_to_data
nodes on the boundary of polygonal elements, used for harmonic bases
Definition State.hpp:548
double avg_mass
average system mass, used for contact with IPC
Definition State.hpp:241
std::vector< basis::ElementBases > bases
FE bases, the size is #elements.
Definition State.hpp:206
void solve_linear(int step, Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure, UserPostStepCallback user_post_step={})
solves a linear problem
Eigen::MatrixXd periodic_tile_offsets
Definition State.hpp:485
void build_periodic_collision_mesh()
Definition State.cpp:1173
std::map< int, std::pair< Eigen::MatrixXd, Eigen::MatrixXi > > polys_3d
polyhedra, used since poly have no geom mapping
Definition State.hpp:222
bool has_periodic_bc() const
Definition State.hpp:486
ipc::CollisionMesh periodic_collision_mesh
IPC collision mesh under periodic BC.
Definition State.hpp:654
std::vector< int > neumann_nodes
per node neumann
Definition State.hpp:553
Eigen::VectorXi periodic_collision_mesh_to_basis
index mapping from periodic 2x2 collision mesh to FE periodic mesh
Definition State.hpp:656
std::shared_ptr< polyfem::mesh::MeshNodes > pressure_mesh_nodes
Definition State.hpp:228
assembler::MacroStrainValue macro_strain_constraint
Definition State.hpp:793
std::shared_ptr< assembler::RhsAssembler > build_rhs_assembler() const
build a RhsAssembler for the problem
Definition State.hpp:288
bool is_problem_linear() const
Returns whether the system is linear. Collisions and pressure add nonlinearity to the problem.
Definition State.hpp:509
std::shared_ptr< assembler::PressureAssembler > build_pressure_assembler() const
Definition State.hpp:296
std::vector< mesh::LocalBoundary > total_local_boundary
mapping from elements to nodes for all mesh
Definition State.hpp:538
int n_geom_bases
number of geometric bases
Definition State.hpp:217
std::shared_ptr< assembler::HRZMass > pure_mass_matrix_assembler
Definition State.hpp:192
void init_nonlinear_tensor_solve(Eigen::MatrixXd &sol, const double t=1.0, const bool init_time_integrator=true, const InitialConditionOverride *ic_override=nullptr)
initialize the nonlinear solver
void assemble_rhs()
compute rhs, step 3 of solve build rhs vector based on defined basis and given rhs of the problem mod...
Definition State.cpp:1587
void solve_problem(Eigen::MatrixXd &sol, Eigen::MatrixXd &pressure, UserPostStepCallback user_post_step={}, const InitialConditionOverride *ic_override=nullptr)
solves the problems
Definition State.cpp:1659
double starting_max_edge_length
Definition State.hpp:725
std::vector< mesh::LocalBoundary > local_neumann_boundary
mapping from elements to nodes for neumann boundary conditions
Definition State.hpp:542
std::vector< int > primitive_to_node() const
Definition State.cpp:236
std::vector< int > boundary_nodes
list of boundary nodes
Definition State.hpp:534
solver::SolveData solve_data
timedependent stuff cached
Definition State.hpp:380
std::vector< int > node_to_primitive() const
Definition State.cpp:243
Eigen::VectorXi in_node_to_node
Inpute nodes (including high-order) to polyfem nodes, only for isoparametric.
Definition State.hpp:557
bool is_homogenization() const
Definition State.hpp:799
bool is_contact_enabled() const
does the simulation have contact
Definition State.hpp:687
std::shared_ptr< assembler::MixedAssembler > mixed_assembler
Definition State.hpp:194
void build_grid(const polyfem::mesh::Mesh &mesh, const double spacing)
builds the grid to export the solution
Definition OutData.cpp:2782
bool is_volume() const override
checks if mesh is volume
Definition Mesh3D.hpp:28
Abstract mesh class to capture 2d/3d conforming and non-conforming meshes.
Definition Mesh.hpp:49
int n_elements() const
utitlity to return the number of elements, cells or faces in 3d and 2d
Definition Mesh.hpp:174
const Eigen::MatrixXi & e() const
Definition Obstacle.hpp:45
const Eigen::MatrixXi & f() const
Definition Obstacle.hpp:44
const Eigen::MatrixXd & v() const
Definition Obstacle.hpp:42
const Eigen::VectorXi & codim_v() const
Definition Obstacle.hpp:43
static void p_refine(const mesh::Mesh &mesh, const double B, const bool h1_formula, const int base_p, const int discr_order_max, io::OutStatsData &stats, Eigen::VectorXi &disc_orders)
compute a priori prefinement
Definition APriori.cpp:242
static Mapping build_mapping(int ndof, int value_dim, const mesh::Mesh &mesh, const std::vector< basis::ElementBases > &bases, const std::vector< mesh::LocalBoundary > &local_boundary, const std::array< int, 2 > &boundary_ids, double relative_tolerance)
std::shared_ptr< assembler::RhsAssembler > rhs_assembler
bool read_matrix(const std::string &path, Eigen::Matrix< T, Eigen::Dynamic, Eigen::Dynamic > &mat)
Reads a matrix from a file. Determines the file format based on the path's extension.
Definition MatrixIO.cpp:18
bool write_matrix(const std::string &path, const Mat &mat)
Writes a matrix to a file. Determines the file format based on the path's extension.
Definition MatrixIO.cpp:42
std::function< void(int step, State &state, const Eigen::MatrixXd &sol, const Eigen::MatrixXd *disp_grad, const Eigen::MatrixXd *pressure)> UserPostStepCallback
User callback at the end of every solver step.
Definition State.hpp:86
void compute_integral_constraints(const Mesh3D &mesh, const int n_bases, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, Eigen::MatrixXd &basis_integrals)
Definition State.cpp:397
void load_collision_proxy(const std::string &mesh_filename, const std::string &weights_filename, const Eigen::VectorXi &in_node_to_node, const json &transformation, Eigen::MatrixXd &vertices, Eigen::VectorXi &codim_vertices, Eigen::MatrixXi &edges, Eigen::MatrixXi &faces, std::vector< Eigen::Triplet< double > > &displacement_map_entries)
Load a collision proxy mesh and displacement map from files.
void build_collision_proxy(const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &geom_bases, const std::vector< LocalBoundary > &total_local_boundary, const int n_bases, const int dim, const double max_edge_length, Eigen::MatrixXd &proxy_vertices, Eigen::MatrixXi &proxy_faces, std::vector< Eigen::Triplet< double > > &displacement_map_entries, const CollisionProxyTessellation tessellation)
Eigen::SparseMatrix< double > lump_matrix(const Eigen::SparseMatrix< double > &M)
Lump each row of a matrix into the diagonal.
std::string resolve_path(const std::string &path, const std::string &input_file_path, const bool only_if_exists=false)
std::vector< T > json_as_array(const json &j)
Return the value of a json object as an array.
Definition JSONUtils.hpp:38
void append_rows(DstMat &dst, const SrcMat &src)
spdlog::logger & logger()
Retrieves the current logger.
Definition Logger.cpp:44
Eigen::Matrix< double, Eigen::Dynamic, 1, 0, 3, 1 > VectorNd
Definition Types.hpp:11
nlohmann::json json
Definition Common.hpp:9
Eigen::Matrix< double, 1, Eigen::Dynamic, Eigen::RowMajor, 1, 3 > RowVectorNd
Definition Types.hpp:13
void log_and_throw_error(const std::string &msg)
Definition Logger.cpp:73
Eigen::SparseMatrix< double, Eigen::ColMajor > StiffnessMatrix
Definition Types.hpp:24