PolyFEM
Loading...
Searching...
No Matches
ScalarVarForm.cpp
Go to the documentation of this file.
1#include "ScalarVarForm.hpp"
2
5
8
11
16
24
25#include <unsupported/Eigen/SparseExtra>
26
27#include <polysolve/linear/FEMSolver.hpp>
28
29#include <algorithm>
30
31namespace polyfem::varform
32{
33 namespace
34 {
35 void write_matrix_market(const json &args, const StiffnessMatrix &stiffness)
36 {
37 const std::string full_mat_path = args["output"]["data"]["full_mat"];
38 if (!full_mat_path.empty())
39 Eigen::saveMarket(stiffness, full_mat_path);
40 }
41 } // namespace
42
44 {
46 space_.reset();
51 rhs_assembler_ = nullptr;
52 mass_.resize(0, 0);
53 pure_mass_.resize(0, 0);
54 avg_mass_ = 0;
55 rhs_.resize(0, 0);
56 primary_assembler_ = nullptr;
57 mass_assembler_ = nullptr;
58 pure_mass_assembler_ = nullptr;
59 t0 = 0;
60 time_steps = 0;
61 dt = 0;
62 time_integrator = nullptr;
64 }
65
66 void ScalarVarForm::init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path)
67 {
68 VarForm::init(formulation, units, args, out_path);
69 const bool is_time_dependent = args.contains("time") && !args["time"].is_null();
70
72 assert(primary_assembler_->name() == formulation);
73 assert(primary_assembler_->is_linear());
74 assert(!primary_assembler_->is_tensor());
75 mass_assembler_ = std::make_shared<assembler::Mass>();
76 pure_mass_assembler_ = std::make_shared<assembler::HRZMass>();
77
78 if (!args.contains("preset_problem"))
79 {
80 problem = std::make_shared<assembler::GenericScalarProblem>("GenericScalar");
81 problem->clear();
82
83 json tmp;
84 tmp["is_time_dependent"] = is_time_dependent;
85 problem->set_parameters(tmp, root_path);
86
87 auto bc = args["boundary_conditions"];
88 bc["root_path"] = root_path;
89 problem->set_parameters(bc, root_path);
90 problem->set_parameters(args["initial_conditions"], root_path);
91 problem->set_parameters(args["output"], root_path);
92 }
93 else
94 {
95 problem = problem::ProblemFactory::factory().get_problem(args["preset_problem"]["type"]);
96 problem->clear();
97 problem->set_parameters(args["preset_problem"], root_path);
98 }
99
100 problem->set_units(*primary_assembler_, units);
101
102 t0 = is_time_dependent ? args["time"]["t0"].get<double>() : 0.0;
103 time_steps = is_time_dependent ? args["time"]["time_steps"].get<int>() : 0;
104 dt = is_time_dependent ? args["time"]["dt"].get<double>() : 0.0;
105 }
106
107 void ScalarVarForm::load_mesh(const mesh::Mesh &mesh, const json &args)
108 {
111 pure_mass_assembler_->set_size(mass_assembler_->size());
112
113 problem->init(mesh);
114 }
115
116 void ScalarVarForm::build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args)
117 {
118 assert(problem);
119 assert(primary_assembler_);
120 assert(mass_assembler_);
121 assert(pure_mass_assembler_);
122
123 Eigen::VectorXi space_disc_orders, space_disc_ordersq;
124 assign_discr_orders(args["space"], mesh, space_disc_orders, space_disc_ordersq);
125
126 if (args["space"]["use_p_ref"])
127 {
129 mesh,
130 args["space"]["advanced"]["B"],
131 args["space"]["advanced"]["h1_formula"],
132 args["space"]["discr_order"],
133 args["space"]["advanced"]["discr_order_max"],
134 stats,
135 space_disc_orders);
136
137 logger().info("min p: {} max p: {}", space_disc_orders.minCoeff(), space_disc_orders.maxCoeff());
138 }
139
141 mesh,
142 iso_parametric,
143 space_disc_orders,
144 space_disc_ordersq,
145 args["space"]["basis_type"],
146 args["space"]["poly_basis_type"],
148 /*value_dim=*/1,
149 args["space"]["advanced"]["quadrature_order"],
150 args["space"]["advanced"]["mass_quadrature_order"],
151 args["space"]["advanced"]["use_corner_quadrature"],
152 args["space"]["advanced"]["n_harmonic_samples"],
153 args["space"]["advanced"]["integral_constraints"],
154 space_,
155 boundary_);
156
158
159 problem->update_nodes(space_.space_in_node_to_node);
161
162 problem->setup_bc(
163 mesh,
165 /*fe_space_id=*/-1,
170 /*value_dim=*/1);
171 std::vector<int> unused_neumann_boundary_nodes;
172 problem->setup_bc(
173 mesh,
175 /*fe_space_id=*/-1,
179 unused_neumann_boundary_nodes,
180 /*value_dim=*/1);
181
182 problem->setup_nodal_bc(
183 mesh,
185 /*fe_space_id=*/-1,
188 problem->setup_nodal_bc(
189 mesh,
191 /*fe_space_id=*/-1,
194
195 for (const int n_id : boundary_.dirichlet_nodes)
196 {
197 const int tag = mesh.get_node_id(n_id);
198 if (problem->is_nodal_dimension_dirichlet(n_id, tag, 0))
199 boundary_.boundary_nodes.push_back(n_id);
200 }
201
203
206
207 const auto &current_bases = space_.geometry_basis_list();
208 if (args["space"]["advanced"]["count_flipped_els"])
209 stats.count_flipped_elements(mesh, current_bases);
210
211 const int n_samples = 10;
212 stats.compute_mesh_size(mesh, current_bases, n_samples, args["output"]["advanced"]["curved_mesh_size"]);
213
214 logger().info("flipped elements {}", stats.n_flipped);
215 logger().info("h: {}", stats.mesh_size);
216
217 if (space_.n_bases <= args["solver"]["advanced"]["cache_size"])
218 {
219 igl::Timer timer;
220 timer.start();
221 logger().info("Building cache...");
222 ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases);
223 mass_ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases, true);
224 pure_mass_ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases, true);
225 logger().info(" took {}s", timer.getElapsedTime());
226 }
227 else
228 {
232 }
233 }
234
236 {
237 json rhs_solver_params = args["solver"]["linear"];
238 if (!rhs_solver_params.contains("Pardiso"))
239 rhs_solver_params["Pardiso"] = {};
240 rhs_solver_params["Pardiso"]["mtype"] = -2;
241
242 rhs_assembler_ = std::make_shared<assembler::RhsAssembler>(
243 *primary_assembler_, *mesh_, nullptr,
247 args["space"]["advanced"]["bc_method"],
248 rhs_solver_params,
249 /*fe_space_id=*/-1);
251 }
252
254 {
255 igl::Timer timer;
256 json p_params = {};
257 p_params["formulation"] = primary_assembler_->name();
258 p_params["root_path"] = root_path;
259 {
260 RowVectorNd min, max, delta;
261 mesh.bounding_box(min, max);
262 delta = (max - min) / 2. + min;
263 if (mesh.is_volume())
264 p_params["bbox_center"] = {delta(0), delta(1), delta(2)};
265 else
266 p_params["bbox_center"] = {delta(0), delta(1)};
267 }
268 problem->set_parameters(p_params, root_path);
269
270 rhs_.resize(0, 0);
271
272 timer.start();
273 logger().info("Assigning rhs...");
274
276 assert(rhs_assembler_ != nullptr);
277 rhs_assembler_->assemble(mass_assembler_->density(), rhs_);
278 rhs_ *= -1;
279
280 timings.assigning_rhs_time = timer.getElapsedTime();
281 logger().info(" took {}s", timings.assigning_rhs_time);
282 }
283
284 void ScalarVarForm::assemble_mass_mat(const mesh::Mesh &mesh, const json &args)
285 {
286 if (!problem->is_time_dependent())
287 {
288 avg_mass_ = 1;
290 return;
291 }
292
293 mass_.resize(0, 0);
294
295 igl::Timer timer;
296 timer.start();
297 logger().info("Assembling mass mat...");
298
300
301 assert(mass_.size() > 0);
302
303 avg_mass_ = 0;
304 for (int k = 0; k < mass_.outerSize(); ++k)
305 {
306 for (StiffnessMatrix::InnerIterator it(mass_, k); it; ++it)
307 {
308 assert(it.col() == k);
309 avg_mass_ += it.value();
310 }
311 }
312
313 avg_mass_ /= mass_.rows();
314 logger().info("average mass {}", avg_mass_);
315
316 if (args["solver"]["advanced"]["lump_mass_matrix"])
318
319 timer.stop();
320 timings.assembling_mass_mat_time = timer.getElapsedTime();
321 logger().info(" took {}s", timings.assembling_mass_mat_time);
322
323 stats.nn_zero = mass_.nonZeros();
324 stats.num_dofs = mass_.rows();
325 stats.mat_size = (long long)mass_.rows() * (long long)mass_.cols();
326 logger().info("sparsity: {}/{}", stats.nn_zero, stats.mat_size);
327 }
328
329 void ScalarVarForm::prepare_initial_solution(Eigen::MatrixXd &solution) const
330 {
331 assert(rhs_assembler_ != nullptr);
332
333 const bool was_solution_loaded = read_initial_x_from_file(
334 resolve_input_path(args["input"]["data"]["state"]), "u",
335 args["input"]["data"]["reorder"], space_.space_in_node_to_node,
336 /*dim=*/1, solution);
337
338 if (!was_solution_loaded)
339 {
340 if (problem->is_time_dependent())
341 rhs_assembler_->initial_solution(solution);
342 else
343 {
344 solution.resize(rhs_.size(), 1);
345 solution.setZero();
346 }
347 }
348 }
349
350 void ScalarVarForm::save_json(const Eigen::MatrixXd &solution, std::ostream &out) const
351 {
352 if (!mesh_)
353 {
354 logger().error("Load the mesh first!");
355 return;
356 }
357 if (solution.size() <= 0)
358 {
359 logger().error("Solve the problem first!");
360 return;
361 }
362
363 logger().info("Saving json...");
364 const int primary_size = space_.n_bases;
365 const Eigen::MatrixXd stats_solution =
366 solution.rows() >= primary_size
367 ? solution.topRows(primary_size).eval()
368 : solution;
369
370 nlohmann::json j;
372 args, space_.n_bases, /*n_auxiliary_bases=*/0,
373 stats_solution, *mesh_, space_.disc_orders, space_.disc_ordersq, *problem,
375 args["output"]["advanced"]["sol_at_node"], j);
376 out << j.dump(4) << std::endl;
377 }
378
380 {
381 Eigen::VectorXi output_orders = space_.disc_orders;
382 if (mesh_ && space_.disc_ordersq.size() == space_.disc_orders.size())
383 {
384 for (int e = 0; e < output_orders.size(); ++e)
385 {
386 if (mesh_->is_prism(e))
387 output_orders(e) = std::max(space_.disc_orders(e), space_.disc_ordersq(e));
388 }
389 }
390
391 return {
392 mesh_.get(),
394 output_orders,
395 &space_.polys,
398 nullptr,
399 nullptr,
402 }
403
404 io::OutStatsData ScalarVarForm::compute_errors(const Eigen::MatrixXd &solution)
405 {
406 if (!args["output"]["advanced"]["compute_error"])
407 return stats;
408
409 double tend = 0;
410 if (!args["time"].is_null())
411 tend = args["time"]["tend"];
412
414 return stats;
415 }
416
417 void ScalarVarForm::export_data(const Eigen::MatrixXd &solution) const
418 {
419 const io::OutputSpace space = output_space();
420 if (!space.mesh)
421 {
422 logger().error("Load the mesh first!");
423 return;
424 }
425 if (solution.size() <= 0)
426 {
427 logger().error("Solve the problem first!");
428 return;
429 }
430
432
433 const std::string vis_mesh_path = resolve_output_path(args["output"]["paraview"]["file_name"]);
434 const bool has_time = args.contains("time") && !args["time"].is_null();
435 double tend = has_time ? args["time"]["tend"].get<double>() : 1.0;
436 double dt = 1;
437 if (has_time)
438 dt = args["time"]["dt"];
439
440 const auto opts = export_options(space);
442 space,
443 output_field_function(solution, opts),
444 has_time,
445 tend, dt,
446 opts,
447 vis_mesh_path);
448
449 const std::string solution_path = resolve_output_path(args["output"]["data"]["solution"]);
450 if (!solution_path.empty())
451 {
452 const int primary_ndof = std::min<int>(solution.rows(), space_.n_bases);
453 const Eigen::MatrixXd primary_solution = solution.topRows(primary_ndof);
454 if (opts.reorder_output && space_.space_in_node_to_node.size() > 0)
455 {
456 const Eigen::MatrixXd nodal_solution = utils::unflatten(primary_solution, 1);
457 Eigen::MatrixXd reordered = Eigen::MatrixXd::Zero(nodal_solution.rows(), nodal_solution.cols());
458 for (int input_node = 0; input_node < space_.space_in_node_to_node.size(); ++input_node)
459 {
460 const int node = space_.space_in_node_to_node(input_node);
461 if (node >= 0 && node < nodal_solution.rows() && input_node < reordered.rows())
462 reordered.row(input_node) = nodal_solution.row(node);
463 }
464 io::write_matrix(solution_path, reordered);
465 }
466 else
467 {
468 io::write_matrix(solution_path, primary_solution);
469 }
470 }
471
472 const std::string nodes_path = resolve_output_path(args["output"]["data"]["nodes"]);
473 if (!nodes_path.empty())
474 {
475 Eigen::MatrixXd nodes = Eigen::MatrixXd::Zero(space_.n_bases, mesh_->dimension());
476 for (const basis::ElementBases &element_bases : space_.basis_list())
477 for (const basis::Basis &basis : element_bases.bases)
478 for (const auto &global : basis.global())
479 nodes.row(global.index) = global.node;
480 io::write_matrix(nodes_path, nodes);
481 }
482
483 const std::string stress_path = resolve_output_path(args["output"]["data"]["stress_mat"]);
484 const std::string mises_path = resolve_output_path(args["output"]["data"]["mises"]);
485 if ((!stress_path.empty() || !mises_path.empty()) && primary_assembler_)
486 {
487 Eigen::MatrixXd stress;
488 Eigen::VectorXd mises;
492 stress, mises);
493 if (!stress_path.empty())
494 io::write_matrix(stress_path, stress);
495 if (!mises_path.empty())
496 io::write_matrix(mises_path, mises);
497 }
498 }
499
500 std::vector<io::OutputField> ScalarVarForm::output_fields(
501 const io::OutputSample &sample,
502 const Eigen::MatrixXd &solution,
503 const io::OutputFieldOptions &options) const
504 {
505 std::vector<io::OutputField> fields;
506 if (!mesh_ || !problem || solution.size() <= 0)
507 return fields;
508
509 assert(problem->is_scalar());
510 const bool has_element_samples = sample.local_points.rows() > 0 && sample.local_points.rows() == sample.element_ids.size();
511 const int output_rows = sample.points.rows() > 0 ? sample.points.rows() : std::max<int>(sample.local_points.rows(), sample.node_ids.size());
512 const int primary_ndof = std::min<int>(solution.rows(), space_.n_bases);
513 const Eigen::MatrixXd primary_solution = solution.topRows(primary_ndof);
514
515 const auto sample_dof_field = [&](const Eigen::MatrixXd &dof_values, Eigen::MatrixXd &values, Eigen::MatrixXd *gradients = nullptr) -> bool {
516 if (dof_values.size() <= 0)
517 return false;
518
519 if (has_element_samples)
520 {
521 values.resize(sample.local_points.rows(), 1);
522 if (gradients)
523 gradients->resize(sample.local_points.rows(), mesh_->dimension());
524 for (int i = 0; i < sample.local_points.rows(); ++i)
525 {
526 const int element_id = sample.element_ids(i);
527 if (element_id < 0)
528 {
529 values(i) = 0;
530 if (gradients)
531 gradients->row(i).setZero();
532 continue;
533 }
534
535 Eigen::MatrixXd local_sol, local_grad;
538 element_id, sample.local_points.row(i), dof_values, local_sol, local_grad);
539 values(i) = local_sol(0);
540 if (gradients)
541 gradients->row(i) = local_grad;
542 }
543
544 if (output_rows > values.rows())
545 {
546 const int previous_rows = values.rows();
547 values.conservativeResize(output_rows, Eigen::NoChange);
548 values.bottomRows(output_rows - previous_rows).setZero();
549 if (gradients)
550 {
551 gradients->conservativeResize(output_rows, Eigen::NoChange);
552 gradients->bottomRows(output_rows - previous_rows).setZero();
553 }
554 }
555 return true;
556 }
557
558 if (sample.node_ids.size() > 0)
559 {
560 values.resize(sample.node_ids.size(), 1);
561 for (int i = 0; i < sample.node_ids.size(); ++i)
562 {
563 const int node_id = sample.node_ids(i);
564 if (node_id < 0 || node_id >= dof_values.rows())
565 return false;
566 values(i) = dof_values(node_id);
567 }
568 return sample.points.rows() == 0 || sample.points.rows() == values.rows();
569 }
570
571 return false;
572 };
573
574 const auto &paraview_options = args["output"]["paraview"]["options"];
575 if (has_element_samples && problem->has_exact_sol() && sample.points.rows() == output_rows)
576 {
577 Eigen::MatrixXd exact;
578 problem->exact(sample.points, sample.time, exact);
579 if (exact.rows() == output_rows)
580 {
581 if (options.export_field("exact"))
582 fields.push_back({"exact", exact, io::OutputField::Association::Point});
583 if (options.export_field("error"))
584 {
585 Eigen::MatrixXd values;
586 if (sample_dof_field(primary_solution, values))
587 fields.push_back({"error", (values - exact).rowwise().norm(), io::OutputField::Association::Point});
588 }
589 }
590 }
591
592 if ((paraview_options["nodes"] || (!options.fields.empty() && options.export_field("nodes")))
593 && has_element_samples
594 && sample.primitive_ids.size() == 0)
595 {
596 Eigen::MatrixXd dof_ids(primary_ndof, 1);
597 dof_ids.col(0).setLinSpaced(primary_ndof, 0, primary_ndof - 1);
598 Eigen::MatrixXd values;
599 if (sample_dof_field(dof_ids, values))
600 fields.push_back({"nodes", values, io::OutputField::Association::Point});
601 }
602
603 if ((paraview_options["jacobian_validity"] || (!options.fields.empty() && options.export_field("validity")))
604 && has_element_samples
605 && mesh_->dimension() == 1
606 && sample.primitive_ids.size() == 0)
607 {
608 const auto invalid_elements = utils::count_invalid(mesh_->dimension(), space_.basis_list(), space_.geometry_basis_list(), primary_solution);
609 Eigen::MatrixXd validity = Eigen::MatrixXd::Zero(output_rows, 1);
610 for (int i = 0; i < sample.element_ids.size(); ++i)
611 validity(i) = std::find(invalid_elements.begin(), invalid_elements.end(), sample.element_ids(i)) != invalid_elements.end();
612 fields.push_back({"validity", validity, io::OutputField::Association::Point});
613 }
614
615 const bool export_solution_gradient =
616 !options.fields.empty() && options.export_field("solution_gradient");
617 if (options.export_field("solution") || export_solution_gradient)
618 {
619 Eigen::MatrixXd values, gradients;
620 if (sample_dof_field(
621 solution, values,
622 export_solution_gradient ? &gradients : nullptr))
623 {
624 if (options.export_field("solution"))
625 fields.push_back({"solution", values, io::OutputField::Association::Point});
626 if (export_solution_gradient)
627 fields.push_back({"solution_gradient", gradients, io::OutputField::Association::Point});
628 }
629 }
630
631 if (paraview_options["material"] && has_element_samples)
632 {
633 const auto &params = primary_assembler_->parameters();
634 std::map<std::string, Eigen::MatrixXd> param_values;
635 for (const auto &[p, _] : params)
636 param_values[p].setZero(output_rows, 1);
637
638 Eigen::MatrixXd rhos = Eigen::MatrixXd::Zero(output_rows, 1);
639 const auto &density = mass_assembler_->density();
640 for (int i = 0; i < sample.local_points.rows(); ++i)
641 {
642 const int element_id = sample.element_ids(i);
643 if (element_id < 0)
644 continue;
645
646 for (const auto &[p, func] : params)
647 param_values.at(p)(i) = func(sample.local_points.row(i), sample.points.row(i), sample.time, element_id);
648 rhos(i) = density(sample.local_points.row(i), sample.points.row(i), sample.time, element_id);
649 }
650
651 for (const auto &[name, values] : param_values)
652 if (options.export_field(name))
653 fields.push_back({name, values, io::OutputField::Association::Point});
654 if (options.export_field("rho"))
655 fields.push_back({"rho", rhos, io::OutputField::Association::Point});
656 }
657
658 if (paraview_options["body_ids"] && options.export_field("body_ids") && has_element_samples)
659 {
660 Eigen::MatrixXd ids = Eigen::MatrixXd::Zero(output_rows, 1);
661 for (int i = 0; i < sample.element_ids.size(); ++i)
662 {
663 const int element_id = sample.element_ids(i);
664 if (element_id >= 0)
665 ids(i) = mesh_->get_body_id(element_id);
666 }
667 fields.push_back({"body_ids", ids, io::OutputField::Association::Point});
668 }
669
670 return fields;
671 }
672
673 void ScalarVarForm::build_stiffness_mat(StiffnessMatrix &stiffness)
674 {
675 igl::Timer timer;
676 timer.start();
677 logger().info("Assembling stiffness mat...");
678 assert(primary_assembler_->is_linear());
679 assert(problem->is_scalar());
680
681 primary_assembler_->assemble(mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(), ass_vals_cache_, 0, stiffness);
682
683 timer.stop();
684 timings.assembling_stiffness_mat_time = timer.getElapsedTime();
685 logger().info(" took {}s", timings.assembling_stiffness_mat_time);
686
687 stats.nn_zero = stiffness.nonZeros();
688 stats.num_dofs = stiffness.rows();
689 stats.mat_size = (long long)stiffness.rows() * (long long)stiffness.cols();
690 logger().info("sparsity: {}/{}", stats.nn_zero, stats.mat_size);
691
692 write_matrix_market(args, stiffness);
693 }
694
695 void ScalarVarForm::solve_linear_system(
696 const std::unique_ptr<polysolve::linear::Solver> &solver,
698 Eigen::VectorXd &b,
699 const bool compute_spectrum,
700 Eigen::MatrixXd &sol)
701 {
702 assert(primary_assembler_->is_linear());
703 assert(problem->is_scalar());
704 assert(rhs_assembler_ != nullptr);
705
706 Eigen::VectorXd x;
707 stats.spectrum = dirichlet_solve(
708 *solver,
709 A,
710 b,
711 boundary_.boundary_nodes,
712 x,
713 space_.n_bases,
714 args["output"]["data"]["stiffness_mat"],
715 compute_spectrum,
716 /*is_problem_mixed=*/false,
717 /*use_avg_pressure=*/false);
718
719 sol = x;
720 solver->get_info(stats.solver_info);
721
722 const auto error = (A * x - b).norm();
723 if (error > 1e-4)
724 logger().error("Solver error: {}", error);
725 else
726 logger().debug("Solver error: {}", error);
727 }
728
729 void ScalarVarForm::solve_linear_system_with_constraints(
730 const std::unique_ptr<polysolve::linear::Solver> &solver,
732 Eigen::VectorXd &b,
733 const bool compute_spectrum,
734 const QuadratureOrders &boundary_samples,
735 const double time,
736 Eigen::MatrixXd &sol)
737 {
738 const json &periodic_conditions = args["boundary_conditions"]["periodic"];
739 const json &zero_mean = args["constraints"]["zero_mean"];
740 const bool add_zero_mean =
741 zero_mean.is_boolean()
742 ? zero_mean.get<bool>()
743 : (zero_mean.is_array()
744 && std::find(zero_mean.begin(), zero_mean.end(), 0) != zero_mean.end());
745 const bool has_global_constraints = !periodic_conditions.empty() || add_zero_mean;
746
747 if (!has_global_constraints)
748 {
749 solve_linear_system(solver, A, b, compute_spectrum, sol);
750 return;
751 }
752
753 if (!zero_mean.is_boolean() && !zero_mean.is_array())
754 log_and_throw_error("constraints.zero_mean must be a boolean or a list of FE-space IDs");
755
756 StiffnessMatrix constraint_mass = mass_;
757 if (constraint_mass.rows() != A.rows() || constraint_mass.cols() != A.cols())
758 {
759 mass_assembler_->assemble(
760 mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(),
761 mass_ass_vals_cache_, 0, constraint_mass, true);
762 }
763 if (constraint_mass.rows() != A.rows() || constraint_mass.cols() != A.cols())
764 log_and_throw_error("Unable to assemble scalar constraint mass matrix for {} DoFs", A.rows());
765
766 std::vector<std::shared_ptr<solver::AugmentedLagrangianForm>> constraint_forms;
767 if (!boundary_.boundary_nodes.empty())
768 {
769 constraint_forms.push_back(std::make_shared<solver::BCLagrangianForm>(
770 A.rows(), boundary_.boundary_nodes, boundary_.local_boundary,
771 boundary_.local_neumann_boundary, boundary_samples, constraint_mass,
772 *rhs_assembler_, /*obstacle_ndof=*/0, problem->is_time_dependent(), time));
773 }
774
775 for (const json &condition : periodic_conditions)
776 {
777 const int fe_space = condition.value("fe_space", -1);
778 if (fe_space >= 0 && fe_space != 0)
779 continue;
780
781 const std::array<int, 2> boundary_ids = {{condition["boundary_ids"][0].get<int>(),
782 condition["boundary_ids"][1].get<int>()}};
783 constraint_forms.push_back(std::make_shared<solver::PeriodicBoundaryLagrangianForm>(
784 A.rows(), /*value_dim=*/1, *mesh_, space_.basis_list(),
785 boundary_.total_local_boundary, boundary_ids,
786 condition.value("tolerance", 1e-5)));
787 }
788
789 if (add_zero_mean)
790 {
791 const Eigen::VectorXd weights = constraint_mass * Eigen::VectorXd::Ones(A.rows());
792 const double weight_sum = weights.cwiseAbs().sum();
793 if (weight_sum <= 0)
794 log_and_throw_error("Unable to assemble a scalar zero-mean constraint");
795
796 std::vector<Eigen::Triplet<double>> entries;
797 entries.reserve(weights.size());
798 for (int dof = 0; dof < weights.size(); ++dof)
799 if (weights(dof) != 0)
800 entries.emplace_back(0, dof, weights(dof) / weight_sum);
801
802 StiffnessMatrix C(1, A.rows());
803 C.setFromTriplets(entries.begin(), entries.end());
804 constraint_forms.push_back(std::make_shared<solver::MatrixLagrangianForm>(
805 C, Eigen::MatrixXd::Zero(1, 1)));
806 }
807
808 if (constraint_forms.empty())
809 {
810 solve_linear_system(solver, A, b, compute_spectrum, sol);
811 return;
812 }
813
814 auto constraint_solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
815 std::shared_ptr<polysolve::linear::Solver> shared_constraint_solver(std::move(constraint_solver));
816 solver::NLProblem constrained_problem(
817 A.rows(), time, {}, constraint_forms, shared_constraint_solver,
818 /*char_length=*/1, /*char_force=*/1, constraint_mass, /*dimension=*/1);
819
820 const StiffnessMatrix full_A = A;
821 const Eigen::VectorXd affine_offset =
822 constrained_problem.reduced_to_full(Eigen::VectorXd::Zero(constrained_problem.reduced_size()));
823 b = constrained_problem.full_to_reduced_grad(b - full_A * affine_offset);
824 constrained_problem.full_hessian_to_reduced_hessian(A);
825
826 Eigen::VectorXd reduced_solution;
827 stats.spectrum = dirichlet_solve(
828 *solver, A, b, {}, reduced_solution, A.rows(),
829 args["output"]["data"]["stiffness_mat"],
830 compute_spectrum,
831 /*is_problem_mixed=*/false, /*use_avg_pressure=*/false);
832 sol = constrained_problem.reduced_to_full(reduced_solution);
833 solver->get_info(stats.solver_info);
834
835 const double error = (A * reduced_solution - b).norm();
836 if (error > 1e-4)
837 logger().error("Solver error: {}", error);
838 else
839 logger().debug("Solver error: {}", error);
840 }
841
842 void ScalarVarForm::solve_static(Eigen::MatrixXd &sol, const ForwardStepCallback &post_step)
843 {
844 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
845 logger().info("{}...", solver->name());
846
847 const int gdiscr_order = mesh_->orders().size() <= 0 ? 1 : mesh_->orders().maxCoeff();
848 const QuadratureOrders boundary_samples = n_boundary_samples(space_.disc_orders.maxCoeff(), space_.disc_ordersq.maxCoeff(), gdiscr_order);
849
850 rhs_assembler_->set_bc(
851 boundary_.local_boundary, boundary_.boundary_nodes, boundary_samples,
852 (primary_assembler_->name() != "Bilaplacian") ? boundary_.local_neumann_boundary : std::vector<mesh::LocalBoundary>(), rhs_);
853
855 build_stiffness_mat(A);
856
857 Eigen::VectorXd b = rhs_;
858 solve_linear_system_with_constraints(
859 solver, A, b, args["output"]["advanced"]["spectrum"],
860 boundary_samples, /*time=*/1, sol);
861
862 // Static scalar solves do not use solver forms, but the current adjoint
863 // implementation requires them through SolveData to compute force derivatives.
864 // TODO: Remove this hack
865 solve_data_.elastic_form = std::make_shared<solver::ElasticForm>(
866 space_.n_bases, *space_.bases, space_.geometry_basis_list(),
867 *primary_assembler_, ass_vals_cache_, 0, 0, mesh_->is_volume(),
868 args["solver"]["advanced"]["jacobian_threshold"],
869 args["solver"]["advanced"]["check_inversion"],
870 args["solver"]["advanced"]["conservative_max_iter"]);
871 solve_data_.body_form = std::make_shared<solver::BodyForm>(
872 space_.ndof(), 0, boundary_.boundary_nodes, boundary_.local_boundary,
873 boundary_.local_neumann_boundary, boundary_samples, rhs_, *rhs_assembler_,
874 mass_assembler_->density(), false, false);
875 solve_data_.body_form->update_quantities(0, sol);
876 if (post_step)
877 post_step(0, sol);
878 }
879
880 void ScalarVarForm::solve_transient(Eigen::MatrixXd &sol, const ForwardStepCallback &post_step)
881 {
882 assert(problem->is_time_dependent());
883 assert(rhs_assembler_ != nullptr);
884
885 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
886 logger().info("{}...", solver->name());
887
889 args["time"]["integrator"]);
890 bdf->init(sol, Eigen::VectorXd::Zero(sol.size()), Eigen::VectorXd::Zero(sol.size()), dt);
891 time_integrator = bdf;
892
893 save_timestep(t0, 0, t0, dt, sol);
894 if (post_step)
895 post_step(0, sol);
896
897 Eigen::MatrixXd current_rhs = rhs_;
898
899 StiffnessMatrix stiffness;
900 build_stiffness_mat(stiffness);
901
902 const int gdiscr_order = mesh_->orders().size() <= 0 ? 1 : mesh_->orders().maxCoeff();
903 const QuadratureOrders n_b_samples = n_boundary_samples(space_.disc_orders.maxCoeff(), space_.disc_ordersq.maxCoeff(), gdiscr_order);
904 for (int t = 1; t <= time_steps; ++t)
905 {
906 const double time = t0 + t * dt;
907
908 rhs_assembler_->compute_energy_grad(
909 boundary_.local_boundary, boundary_.boundary_nodes, mass_assembler_->density(), n_b_samples,
910 boundary_.local_neumann_boundary, rhs_, time, current_rhs);
911
912 rhs_assembler_->set_bc(
913 boundary_.local_boundary, boundary_.boundary_nodes, n_b_samples, boundary_.local_neumann_boundary, current_rhs, sol, time);
914
915 StiffnessMatrix A = mass_ / bdf->beta_dt() + stiffness;
916 Eigen::VectorXd b = (mass_ * bdf->weighted_sum_x_prevs()) / bdf->beta_dt();
917 for (int i : boundary_.boundary_nodes)
918 b[i] = 0;
919 b += current_rhs;
920
921 solve_linear_system_with_constraints(
922 solver, A, b,
923 args["output"]["advanced"]["spectrum"].get<bool>() && t == time_steps,
924 n_b_samples, time, sol);
925 if (post_step)
926 post_step(t, sol);
927
928 bdf->update_quantities(sol);
929 save_timestep(time, t, t0, dt, sol);
930 save_step_state(t0, dt, t, time_integrator.get());
931
932 logger().info("{}/{} t={}", t, time_steps, time);
933 notify_time_step(t, time_steps, t0, dt);
934 }
935 }
936
937 void ScalarVarForm::solve_problem(
938 Eigen::MatrixXd &sol,
939 const InitialConditionOverride *initial_condition_override,
940 const ForwardStepCallback &post_step)
941 {
942 assert(
943 (!initial_condition_override
944 || (initial_condition_override->velocity.size() == 0
945 && initial_condition_override->acceleration.size() == 0))
946 && "Scalar formulations do not accept initial velocity or acceleration overrides");
947
948 stats.spectrum.setZero();
949
950 igl::Timer timer;
951 timer.start();
952 logger().info("Solving {}", primary_assembler_->name());
953
954 {
955 POLYFEM_SCOPED_TIMER("Setup RHS");
956
957 if (initial_condition_override && initial_condition_override->solution.size() != 0)
958 {
959 sol = initial_condition_override->solution;
960 assert(
961 sol.rows() == space_.ndof() && sol.cols() == 1
962 && "Scalar initial solution override must match the simulation DOFs and have one column");
963 }
964 else if (sol.size() <= 0)
965 prepare_initial_solution(sol);
966
967 if (sol.cols() > 1)
968 sol.conservativeResize(Eigen::NoChange, 1);
969 }
970
971 time_integrator = nullptr;
972 if (problem->is_time_dependent())
973 solve_transient(sol, post_step);
974 else
975 solve_static(sol, post_step);
976
977 timer.stop();
978 timings.solving_time = timer.getElapsedTime();
979 logger().info(" took {}s", timings.solving_time);
980 }
981} // namespace polyfem::varform
std::vector< Eigen::Triplet< double > > entries
std::vector< std::pair< int, double > > weights
int x
std::array< Matrix< int, 3, 3 >, 3 > space_
#define POLYFEM_SCOPED_TIMER(...)
Definition Timer.hpp:10
static std::shared_ptr< Assembler > make_assembler(const std::string &formulation)
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.
Represents one basis function and its gradient.
Definition Basis.hpp:44
Stores the basis functions for a given element in a mesh (facet in 2d, cell in 3d).
static void interpolate_at_local_vals(const mesh::Mesh &mesh, const bool is_problem_scalar, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, const int el_index, const Eigen::MatrixXd &local_pts, const Eigen::MatrixXd &fun, Eigen::MatrixXd &result, Eigen::MatrixXd &result_grad)
interpolate solution and gradient at element (calls interpolate_at_local_vals with sol)
static void compute_stress_at_quadrature_points(const mesh::Mesh &mesh, const bool is_problem_scalar, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, const Eigen::VectorXi &disc_orders, const Eigen::VectorXi &disc_ordersq, const assembler::Assembler &assembler, const Eigen::MatrixXd &fun, const double t, Eigen::MatrixXd &result, Eigen::VectorXd &von_mises)
compute von mises stress at quadrature points for the function fun, also compute the interpolated fun...
void export_data(const OutputSpace &space, const OutputFieldFunction &output_fields, const bool is_time_dependent, const double tend_in, const double dt, const ExportOptions &opts, const std::string &vis_mesh_path) const
exports everytihng, txt, vtu, etc
Definition OutData.cpp:2103
double assigning_rhs_time
time to computing the rhs
double assembling_mass_mat_time
time to assembly mass
all stats from polyfem
int n_flipped
number of flipped elements, compute only when using count_flipped_els (false 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:2815
void compute_errors(const int n_bases, const std::vector< polyfem::basis::ElementBases > &bases, const std::vector< polyfem::basis::ElementBases > &gbases, const polyfem::mesh::Mesh &mesh, const assembler::Problem &problem, const double tend, const Eigen::MatrixXd &sol)
compute errors
Definition OutData.cpp:2860
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:2732
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 save_json(const nlohmann::json &args, const int n_bases, const int n_pressure_bases, const Eigen::MatrixXd &sol, const mesh::Mesh &mesh, const Eigen::VectorXi &disc_orders, const Eigen::VectorXi &disc_ordersq, const assembler::Problem &problem, const OutRuntimeData &runtime, const std::string &formulation, const bool isoparametric, const int sol_at_node_id, nlohmann::json &j) const
saves the output statistic to a json object
Definition OutData.cpp:3103
Abstract mesh class to capture 2d/3d conforming and non-conforming meshes.
Definition Mesh.hpp:49
virtual void bounding_box(RowVectorNd &min, RowVectorNd &max) const =0
computes the bbox of the mesh
virtual bool is_volume() const =0
checks if mesh is volume
void update_nodes(const Eigen::VectorXi &in_node_to_node)
Update the node ids to reorder them.
Definition Mesh.cpp:456
virtual int get_node_id(const int node_id) const
Get the boundary selection of a node.
Definition Mesh.hpp:508
static const ProblemFactory & factory()
std::shared_ptr< assembler::Problem > get_problem(const std::string &problem) const
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
virtual TVector full_to_reduced_grad(const TVector &full) const
TVector reduced_to_full(const TVector &reduced) const
void full_hessian_to_reduced_hessian(StiffnessMatrix &hessian) const
class to store time stepping data
Definition SolveData.hpp:55
std::shared_ptr< assembler::RhsAssembler > rhs_assembler
static std::shared_ptr< BDF > construct_bdf_integrator(const json &params, DynamicOrder dynamic_order=DynamicOrder::Second)
Construct a BDF integrator for algorithms using BDF-specific operations.
const std::vector< basis::ElementBases > & geometry_basis_list() const
Definition FESpace.hpp:115
Eigen::VectorXi disc_orders
Primary polynomial degree for each mesh element.
Definition FESpace.hpp:71
Eigen::VectorXi disc_ordersq
Secondary polynomial degree for anisotropic bases, e.g. prisms.
Definition FESpace.hpp:74
int n_bases
Number of globally indexed scalar basis functions in the space.
Definition FESpace.hpp:65
Eigen::VectorXi space_in_node_to_node
Definition FESpace.hpp:91
std::map< int, std::pair< Eigen::MatrixXd, Eigen::MatrixXi > > polys_3d
Physical vertices and face connectivity for 3D polyhedral elements.
Definition FESpace.hpp:83
std::map< int, Eigen::MatrixXd > polys
Physical boundary samples for 2D polygonal elements.
Definition FESpace.hpp:80
const std::vector< basis::ElementBases > & basis_list() const
Definition FESpace.hpp:109
bool is_iso_parametric() const
Definition FESpace.hpp:104
void save_json(const Eigen::MatrixXd &solution, std::ostream &out) const override
Save the solution to a JSON file, for output purposes.
std::shared_ptr< assembler::HRZMass > pure_mass_assembler_
std::shared_ptr< time_integrator::ImplicitTimeIntegrator > time_integrator
std::shared_ptr< assembler::Mass > mass_assembler_
io::OutStatsData compute_errors(const Eigen::MatrixXd &solution) override
Get the error statistics of the variational formulation, for output purposes.
std::string name() const override
Get the name of the variational formulation.
void build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args) override
assembler::AssemblyValsCache pure_mass_ass_vals_cache_
assembler::AssemblyValsCache mass_ass_vals_cache_
assembler::AssemblyValsCache ass_vals_cache_
void export_data(const Eigen::MatrixXd &solution) const override
void assemble_rhs(const mesh::Mesh &mesh) override
std::vector< io::OutputField > output_fields(const io::OutputSample &sample, const Eigen::MatrixXd &solution, const io::OutputFieldOptions &options) const override
Get the output fields of the variational formulation, for output purposes.
void assemble_mass_mat(const mesh::Mesh &mesh, const json &args) override
void prepare_initial_solution(Eigen::MatrixXd &solution) const
std::shared_ptr< assembler::Assembler > primary_assembler_
std::shared_ptr< assembler::RhsAssembler > rhs_assembler_
void init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path) override
Initialize the variational formulation with the given parameters.
void load_mesh(const mesh::Mesh &mesh, const json &args) override
io::OutputSpace output_space() const override
Get the output space of the variational formulation, for output purposes.
std::string resolve_input_path(const std::string &path, const bool only_if_exists=false) const
Definition VarForm.cpp:1105
static void rebuild_node_positions(const std::vector< basis::ElementBases > &bases, const std::vector< int > &node_ids, std::vector< RowVectorNd > &positions)
Definition VarForm.cpp:1119
std::shared_ptr< assembler::Problem > problem
current problem, it contains rhs and bc
Definition VarForm.hpp:214
std::unique_ptr< mesh::Mesh > mesh_
Definition VarForm.hpp:226
void assign_discr_orders(const json &space_args, const mesh::Mesh &mesh, Eigen::VectorXi &disc_orders, Eigen::VectorXi &disc_ordersq)
Definition VarForm.cpp:745
io::OutStatsData stats
Definition VarForm.hpp:218
static bool read_initial_x_from_file(const std::string &state_path, const std::string &x_name, const bool reorder, const Eigen::VectorXi &in_node_to_node, const int dim, Eigen::MatrixXd &x)
Definition VarForm.cpp:38
io::OutGeometryData::ExportOptions export_options(const io::OutputSpace &space) const
Definition VarForm.cpp:898
io::OutGeometryData output_geometry_
Definition VarForm.hpp:230
io::OutputFieldFunction output_field_function(const Eigen::MatrixXd &solution, const io::OutGeometryData::ExportOptions &opts) const
Definition VarForm.cpp:907
void build_fe_space(mesh::Mesh &mesh, const bool iso_parametric, const Eigen::VectorXi &disc_orders, const Eigen::VectorXi &disc_ordersq, const std::string &basis_type, const std::string &poly_basis_type, const assembler::Assembler &space_assembler, const int value_dim, const int quadrature_order, const int mass_quadrature_order, const bool use_corner_quadrature, const int n_harmonic_samples, const int integral_constraints, FESpace &space, VarFormBoundaryState &boundary, std::shared_ptr< GeometryMapping > geometry=nullptr)
Definition VarForm.cpp:319
std::string resolve_output_path(const std::string &path) const
Definition VarForm.cpp:1110
void ensure_output_sampler() const
Definition VarForm.cpp:884
virtual void init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path)
Initialize the variational formulation with the given parameters.
Definition VarForm.cpp:276
io::OutRuntimeData timings
runtime statistics
Definition VarForm.hpp:221
void set_materials(assembler::Assembler &assembler, const int size) const
Definition VarForm.cpp:869
virtual void reset()=0
Definition VarForm.cpp:264
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
Eigen::SparseMatrix< double > lump_matrix(const Eigen::SparseMatrix< double > &M)
Lump each row of a matrix into the diagonal.
Eigen::MatrixXd unflatten(const Eigen::VectorXd &x, int dim)
Unflatten rowwises, so every dim elements in x become a row.
std::vector< int > count_invalid(const int dim, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, const Eigen::VectorXd &u, const unsigned max_iter)
Definition Jacobian.cpp:122
bool write_matrix_market(const json &args, const StiffnessMatrix &stiffness)
std::function< void(int step, const Eigen::MatrixXd &solution)> ForwardStepCallback
Definition VarForm.hpp:49
spdlog::logger & logger()
Retrieves the current logger.
Definition Logger.cpp:44
std::array< int, 2 > QuadratureOrders
Definition Types.hpp:19
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
bool export_field(const std::string &field) const
Definition OutData.cpp:56
std::vector< std::string > fields
Eigen::VectorXi node_ids
Eigen::VectorXi primitive_ids
Eigen::VectorXi element_ids
Eigen::MatrixXd local_points
const mesh::Mesh * mesh
std::vector< RowVectorNd > neumann_nodes_position
Definition FESpace.hpp:163
std::vector< mesh::LocalBoundary > local_boundary
Definition FESpace.hpp:155
std::vector< mesh::LocalBoundary > local_neumann_boundary
Definition FESpace.hpp:156
std::vector< mesh::LocalBoundary > total_local_boundary
Definition FESpace.hpp:154
std::vector< RowVectorNd > dirichlet_nodes_position
Definition FESpace.hpp:161