PolyFEM
Loading...
Searching...
No Matches
ScalarVarForm.cpp
Go to the documentation of this file.
1#include "ScalarVarForm.hpp"
2
5
8
11
16
22
23#include <unsupported/Eigen/SparseExtra>
24
25#include <polysolve/linear/FEMSolver.hpp>
26
27#include <algorithm>
28
29namespace polyfem::varform
30{
31 namespace
32 {
33 void write_matrix_market(const json &args, const StiffnessMatrix &stiffness)
34 {
35 const std::string full_mat_path = args["output"]["data"]["full_mat"];
36 if (!full_mat_path.empty())
37 Eigen::saveMarket(stiffness, full_mat_path);
38 }
39 } // namespace
40
42 {
44 space_.reset();
49 rhs_assembler_ = nullptr;
50 mass_.resize(0, 0);
51 pure_mass_.resize(0, 0);
52 avg_mass_ = 0;
53 rhs_.resize(0, 0);
54 primary_assembler_ = nullptr;
55 mass_assembler_ = nullptr;
56 pure_mass_assembler_ = nullptr;
57 t0 = 0;
58 time_steps = 0;
59 dt = 0;
60 time_integrator = nullptr;
61 }
62
63 void ScalarVarForm::init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path)
64 {
65 VarForm::init(formulation, units, args, out_path);
66 const bool is_time_dependent = args.contains("time") && !args["time"].is_null();
67
69 assert(primary_assembler_->name() == formulation);
70 assert(primary_assembler_->is_linear());
71 assert(!primary_assembler_->is_tensor());
72 mass_assembler_ = std::make_shared<assembler::Mass>();
73 pure_mass_assembler_ = std::make_shared<assembler::HRZMass>();
74
75 if (!args.contains("preset_problem"))
76 {
77 problem = std::make_shared<assembler::GenericScalarProblem>("GenericScalar");
78 problem->clear();
79
80 json tmp;
81 tmp["is_time_dependent"] = is_time_dependent;
82 problem->set_parameters(tmp, root_path);
83
84 auto bc = args["boundary_conditions"];
85 bc["root_path"] = root_path;
86 problem->set_parameters(bc, root_path);
87 problem->set_parameters(args["initial_conditions"], root_path);
88 problem->set_parameters(args["output"], root_path);
89 }
90 else
91 {
92 problem = problem::ProblemFactory::factory().get_problem(args["preset_problem"]["type"]);
93 problem->clear();
94 problem->set_parameters(args["preset_problem"], root_path);
95 }
96
97 problem->set_units(*primary_assembler_, units);
98
99 t0 = is_time_dependent ? args["time"]["t0"].get<double>() : 0.0;
100 time_steps = is_time_dependent ? args["time"]["time_steps"].get<int>() : 0;
101 dt = is_time_dependent ? args["time"]["dt"].get<double>() : 0.0;
102 }
103
104 void ScalarVarForm::load_mesh(const mesh::Mesh &mesh, const json &args)
105 {
108 pure_mass_assembler_->set_size(mass_assembler_->size());
109
110 problem->init(mesh);
111 }
112
113 void ScalarVarForm::build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args)
114 {
115 assert(problem);
116 assert(primary_assembler_);
117 assert(mass_assembler_);
118 assert(pure_mass_assembler_);
119
120 Eigen::VectorXi space_disc_orders, space_disc_ordersq;
121 assign_discr_orders(args["space"], mesh, space_disc_orders, space_disc_ordersq);
122
123 if (args["space"]["use_p_ref"])
124 {
126 mesh,
127 args["space"]["advanced"]["B"],
128 args["space"]["advanced"]["h1_formula"],
129 args["space"]["discr_order"],
130 args["space"]["advanced"]["discr_order_max"],
131 stats,
132 space_disc_orders);
133
134 logger().info("min p: {} max p: {}", space_disc_orders.minCoeff(), space_disc_orders.maxCoeff());
135 }
136
138 mesh,
139 iso_parametric,
140 space_disc_orders,
141 space_disc_ordersq,
142 args["space"]["basis_type"],
143 args["space"]["poly_basis_type"],
145 /*value_dim=*/1,
146 args["space"]["advanced"]["quadrature_order"],
147 args["space"]["advanced"]["mass_quadrature_order"],
148 args["space"]["advanced"]["use_corner_quadrature"],
149 args["space"]["advanced"]["n_harmonic_samples"],
150 args["space"]["advanced"]["integral_constraints"],
151 space_,
152 boundary_);
153
155
156 problem->update_nodes(space_.space_in_node_to_node);
158
159 problem->setup_bc(
160 mesh,
162 /*fe_space_id=*/-1,
167 /*value_dim=*/1);
168 std::vector<int> unused_neumann_boundary_nodes;
169 problem->setup_bc(
170 mesh,
172 /*fe_space_id=*/-1,
176 unused_neumann_boundary_nodes,
177 /*value_dim=*/1);
178
179 problem->setup_nodal_bc(
180 mesh,
182 /*fe_space_id=*/-1,
185 problem->setup_nodal_bc(
186 mesh,
188 /*fe_space_id=*/-1,
191
192 for (const int n_id : boundary_.dirichlet_nodes)
193 {
194 const int tag = mesh.get_node_id(n_id);
195 if (problem->is_nodal_dimension_dirichlet(n_id, tag, 0))
196 boundary_.boundary_nodes.push_back(n_id);
197 }
198
200
203
204 const auto &current_bases = space_.geometry_basis_list();
205 if (args["space"]["advanced"]["count_flipped_els"])
206 stats.count_flipped_elements(mesh, current_bases);
207
208 const int n_samples = 10;
209 stats.compute_mesh_size(mesh, current_bases, n_samples, args["output"]["advanced"]["curved_mesh_size"]);
210
211 logger().info("flipped elements {}", stats.n_flipped);
212 logger().info("h: {}", stats.mesh_size);
213
214 if (space_.n_bases <= args["solver"]["advanced"]["cache_size"])
215 {
216 igl::Timer timer;
217 timer.start();
218 logger().info("Building cache...");
219 ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases);
220 mass_ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases, true);
221 pure_mass_ass_vals_cache_.init(mesh.is_volume(), space_.basis_list(), current_bases, true);
222 logger().info(" took {}s", timer.getElapsedTime());
223 }
224 else
225 {
229 }
230 }
231
233 {
234 json rhs_solver_params = args["solver"]["linear"];
235 if (!rhs_solver_params.contains("Pardiso"))
236 rhs_solver_params["Pardiso"] = {};
237 rhs_solver_params["Pardiso"]["mtype"] = -2;
238
239 rhs_assembler_ = std::make_shared<assembler::RhsAssembler>(
240 *primary_assembler_, *mesh_, nullptr,
244 args["space"]["advanced"]["bc_method"],
245 rhs_solver_params,
246 /*fe_space_id=*/-1);
247 }
248
250 {
251 igl::Timer timer;
252 json p_params = {};
253 p_params["formulation"] = primary_assembler_->name();
254 p_params["root_path"] = root_path;
255 {
256 RowVectorNd min, max, delta;
257 mesh.bounding_box(min, max);
258 delta = (max - min) / 2. + min;
259 if (mesh.is_volume())
260 p_params["bbox_center"] = {delta(0), delta(1), delta(2)};
261 else
262 p_params["bbox_center"] = {delta(0), delta(1)};
263 }
264 problem->set_parameters(p_params, root_path);
265
266 rhs_.resize(0, 0);
267
268 timer.start();
269 logger().info("Assigning rhs...");
270
272 assert(rhs_assembler_ != nullptr);
273 rhs_assembler_->assemble(mass_assembler_->density(), rhs_);
274 rhs_ *= -1;
275
276 timings.assigning_rhs_time = timer.getElapsedTime();
277 logger().info(" took {}s", timings.assigning_rhs_time);
278 }
279
280 void ScalarVarForm::assemble_mass_mat(const mesh::Mesh &mesh, const json &args)
281 {
282 if (!problem->is_time_dependent())
283 {
284 avg_mass_ = 1;
286 return;
287 }
288
289 mass_.resize(0, 0);
290
291 igl::Timer timer;
292 timer.start();
293 logger().info("Assembling mass mat...");
294
296
297 assert(mass_.size() > 0);
298
299 avg_mass_ = 0;
300 for (int k = 0; k < mass_.outerSize(); ++k)
301 {
302 for (StiffnessMatrix::InnerIterator it(mass_, k); it; ++it)
303 {
304 assert(it.col() == k);
305 avg_mass_ += it.value();
306 }
307 }
308
309 avg_mass_ /= mass_.rows();
310 logger().info("average mass {}", avg_mass_);
311
312 if (args["solver"]["advanced"]["lump_mass_matrix"])
314
315 timer.stop();
316 timings.assembling_mass_mat_time = timer.getElapsedTime();
317 logger().info(" took {}s", timings.assembling_mass_mat_time);
318
319 stats.nn_zero = mass_.nonZeros();
320 stats.num_dofs = mass_.rows();
321 stats.mat_size = (long long)mass_.rows() * (long long)mass_.cols();
322 logger().info("sparsity: {}/{}", stats.nn_zero, stats.mat_size);
323 }
324
325 void ScalarVarForm::prepare_initial_solution(Eigen::MatrixXd &solution) const
326 {
327 assert(rhs_assembler_ != nullptr);
328
329 const bool was_solution_loaded = read_initial_x_from_file(
330 resolve_input_path(args["input"]["data"]["state"]), "u",
331 args["input"]["data"]["reorder"], space_.space_in_node_to_node,
332 /*dim=*/1, solution);
333
334 if (!was_solution_loaded)
335 {
336 if (problem->is_time_dependent())
337 rhs_assembler_->initial_solution(solution);
338 else
339 {
340 solution.resize(rhs_.size(), 1);
341 solution.setZero();
342 }
343 }
344 }
345
346 void ScalarVarForm::save_json(const Eigen::MatrixXd &solution, std::ostream &out) const
347 {
348 if (!mesh_)
349 {
350 logger().error("Load the mesh first!");
351 return;
352 }
353 if (solution.size() <= 0)
354 {
355 logger().error("Solve the problem first!");
356 return;
357 }
358
359 logger().info("Saving json...");
360 const int primary_size = space_.n_bases;
361 const Eigen::MatrixXd stats_solution =
362 solution.rows() >= primary_size
363 ? solution.topRows(primary_size).eval()
364 : solution;
365
366 nlohmann::json j;
368 args, space_.n_bases, /*n_auxiliary_bases=*/0,
369 stats_solution, *mesh_, space_.disc_orders, space_.disc_ordersq, *problem,
371 args["output"]["advanced"]["sol_at_node"], j);
372 out << j.dump(4) << std::endl;
373 }
374
376 {
377 Eigen::VectorXi output_orders = space_.disc_orders;
378 if (mesh_ && space_.disc_ordersq.size() == space_.disc_orders.size())
379 {
380 for (int e = 0; e < output_orders.size(); ++e)
381 {
382 if (mesh_->is_prism(e))
383 output_orders(e) = std::max(space_.disc_orders(e), space_.disc_ordersq(e));
384 }
385 }
386
387 return {
388 mesh_.get(),
390 output_orders,
391 &space_.polys,
394 nullptr,
395 nullptr,
398 }
399
400 io::OutStatsData ScalarVarForm::compute_errors(const Eigen::MatrixXd &solution)
401 {
402 if (!args["output"]["advanced"]["compute_error"])
403 return stats;
404
405 double tend = 0;
406 if (!args["time"].is_null())
407 tend = args["time"]["tend"];
408
410 return stats;
411 }
412
413 void ScalarVarForm::export_data(const Eigen::MatrixXd &solution) const
414 {
415 const io::OutputSpace space = output_space();
416 if (!space.mesh)
417 {
418 logger().error("Load the mesh first!");
419 return;
420 }
421 if (solution.size() <= 0)
422 {
423 logger().error("Solve the problem first!");
424 return;
425 }
426
428
429 const std::string vis_mesh_path = resolve_output_path(args["output"]["paraview"]["file_name"]);
430 const bool has_time = args.contains("time") && !args["time"].is_null();
431 double tend = has_time ? args["time"]["tend"].get<double>() : 1.0;
432 double dt = 1;
433 if (has_time)
434 dt = args["time"]["dt"];
435
436 const auto opts = export_options(space);
438 space,
439 output_field_function(solution, opts),
440 has_time,
441 tend, dt,
442 opts,
443 vis_mesh_path);
444
445 const std::string solution_path = resolve_output_path(args["output"]["data"]["solution"]);
446 if (!solution_path.empty())
447 {
448 const int primary_ndof = std::min<int>(solution.rows(), space_.n_bases);
449 const Eigen::MatrixXd primary_solution = solution.topRows(primary_ndof);
450 if (opts.reorder_output && space_.space_in_node_to_node.size() > 0)
451 {
452 const Eigen::MatrixXd nodal_solution = utils::unflatten(primary_solution, 1);
453 Eigen::MatrixXd reordered = Eigen::MatrixXd::Zero(nodal_solution.rows(), nodal_solution.cols());
454 for (int input_node = 0; input_node < space_.space_in_node_to_node.size(); ++input_node)
455 {
456 const int node = space_.space_in_node_to_node(input_node);
457 if (node >= 0 && node < nodal_solution.rows() && input_node < reordered.rows())
458 reordered.row(input_node) = nodal_solution.row(node);
459 }
460 io::write_matrix(solution_path, reordered);
461 }
462 else
463 {
464 io::write_matrix(solution_path, primary_solution);
465 }
466 }
467
468 const std::string nodes_path = resolve_output_path(args["output"]["data"]["nodes"]);
469 if (!nodes_path.empty())
470 {
471 Eigen::MatrixXd nodes = Eigen::MatrixXd::Zero(space_.n_bases, mesh_->dimension());
472 for (const basis::ElementBases &element_bases : space_.basis_list())
473 for (const basis::Basis &basis : element_bases.bases)
474 for (const auto &global : basis.global())
475 nodes.row(global.index) = global.node;
476 io::write_matrix(nodes_path, nodes);
477 }
478
479 const std::string stress_path = resolve_output_path(args["output"]["data"]["stress_mat"]);
480 const std::string mises_path = resolve_output_path(args["output"]["data"]["mises"]);
481 if ((!stress_path.empty() || !mises_path.empty()) && primary_assembler_)
482 {
483 Eigen::MatrixXd stress;
484 Eigen::VectorXd mises;
488 stress, mises);
489 if (!stress_path.empty())
490 io::write_matrix(stress_path, stress);
491 if (!mises_path.empty())
492 io::write_matrix(mises_path, mises);
493 }
494 }
495
496 std::vector<io::OutputField> ScalarVarForm::output_fields(
497 const io::OutputSample &sample,
498 const Eigen::MatrixXd &solution,
499 const io::OutputFieldOptions &options) const
500 {
501 std::vector<io::OutputField> fields;
502 if (!mesh_ || !problem || solution.size() <= 0)
503 return fields;
504
505 assert(problem->is_scalar());
506 const bool has_element_samples = sample.local_points.rows() > 0 && sample.local_points.rows() == sample.element_ids.size();
507 const int output_rows = sample.points.rows() > 0 ? sample.points.rows() : std::max<int>(sample.local_points.rows(), sample.node_ids.size());
508 const int primary_ndof = std::min<int>(solution.rows(), space_.n_bases);
509 const Eigen::MatrixXd primary_solution = solution.topRows(primary_ndof);
510
511 const auto sample_dof_field = [&](const Eigen::MatrixXd &dof_values, Eigen::MatrixXd &values, Eigen::MatrixXd *gradients = nullptr) -> bool {
512 if (dof_values.size() <= 0)
513 return false;
514
515 if (has_element_samples)
516 {
517 values.resize(sample.local_points.rows(), 1);
518 if (gradients)
519 gradients->resize(sample.local_points.rows(), mesh_->dimension());
520 for (int i = 0; i < sample.local_points.rows(); ++i)
521 {
522 const int element_id = sample.element_ids(i);
523 if (element_id < 0)
524 {
525 values(i) = 0;
526 if (gradients)
527 gradients->row(i).setZero();
528 continue;
529 }
530
531 Eigen::MatrixXd local_sol, local_grad;
534 element_id, sample.local_points.row(i), dof_values, local_sol, local_grad);
535 values(i) = local_sol(0);
536 if (gradients)
537 gradients->row(i) = local_grad;
538 }
539
540 if (output_rows > values.rows())
541 {
542 const int previous_rows = values.rows();
543 values.conservativeResize(output_rows, Eigen::NoChange);
544 values.bottomRows(output_rows - previous_rows).setZero();
545 if (gradients)
546 {
547 gradients->conservativeResize(output_rows, Eigen::NoChange);
548 gradients->bottomRows(output_rows - previous_rows).setZero();
549 }
550 }
551 return true;
552 }
553
554 if (sample.node_ids.size() > 0)
555 {
556 values.resize(sample.node_ids.size(), 1);
557 for (int i = 0; i < sample.node_ids.size(); ++i)
558 {
559 const int node_id = sample.node_ids(i);
560 if (node_id < 0 || node_id >= dof_values.rows())
561 return false;
562 values(i) = dof_values(node_id);
563 }
564 return sample.points.rows() == 0 || sample.points.rows() == values.rows();
565 }
566
567 return false;
568 };
569
570 const auto &paraview_options = args["output"]["paraview"]["options"];
571 if (has_element_samples && problem->has_exact_sol() && sample.points.rows() == output_rows)
572 {
573 Eigen::MatrixXd exact;
574 problem->exact(sample.points, sample.time, exact);
575 if (exact.rows() == output_rows)
576 {
577 if (options.export_field("exact"))
578 fields.push_back({"exact", exact, io::OutputField::Association::Point});
579 if (options.export_field("error"))
580 {
581 Eigen::MatrixXd values;
582 if (sample_dof_field(primary_solution, values))
583 fields.push_back({"error", (values - exact).rowwise().norm(), io::OutputField::Association::Point});
584 }
585 }
586 }
587
588 if ((paraview_options["nodes"] || (!options.fields.empty() && options.export_field("nodes")))
589 && has_element_samples
590 && sample.primitive_ids.size() == 0)
591 {
592 Eigen::MatrixXd dof_ids(primary_ndof, 1);
593 dof_ids.col(0).setLinSpaced(primary_ndof, 0, primary_ndof - 1);
594 Eigen::MatrixXd values;
595 if (sample_dof_field(dof_ids, values))
596 fields.push_back({"nodes", values, io::OutputField::Association::Point});
597 }
598
599 if ((paraview_options["jacobian_validity"] || (!options.fields.empty() && options.export_field("validity")))
600 && has_element_samples
601 && mesh_->dimension() == 1
602 && sample.primitive_ids.size() == 0)
603 {
604 const auto invalid_elements = utils::count_invalid(mesh_->dimension(), space_.basis_list(), space_.geometry_basis_list(), primary_solution);
605 Eigen::MatrixXd validity = Eigen::MatrixXd::Zero(output_rows, 1);
606 for (int i = 0; i < sample.element_ids.size(); ++i)
607 validity(i) = std::find(invalid_elements.begin(), invalid_elements.end(), sample.element_ids(i)) != invalid_elements.end();
608 fields.push_back({"validity", validity, io::OutputField::Association::Point});
609 }
610
611 const bool export_solution_gradient =
612 !options.fields.empty() && options.export_field("solution_gradient");
613 if (options.export_field("solution") || export_solution_gradient)
614 {
615 Eigen::MatrixXd values, gradients;
616 if (sample_dof_field(
617 solution, values,
618 export_solution_gradient ? &gradients : nullptr))
619 {
620 if (options.export_field("solution"))
621 fields.push_back({"solution", values, io::OutputField::Association::Point});
622 if (export_solution_gradient)
623 fields.push_back({"solution_gradient", gradients, io::OutputField::Association::Point});
624 }
625 }
626
627 if (paraview_options["material"] && has_element_samples)
628 {
629 const auto &params = primary_assembler_->parameters();
630 std::map<std::string, Eigen::MatrixXd> param_values;
631 for (const auto &[p, _] : params)
632 param_values[p].setZero(output_rows, 1);
633
634 Eigen::MatrixXd rhos = Eigen::MatrixXd::Zero(output_rows, 1);
635 const auto &density = mass_assembler_->density();
636 for (int i = 0; i < sample.local_points.rows(); ++i)
637 {
638 const int element_id = sample.element_ids(i);
639 if (element_id < 0)
640 continue;
641
642 for (const auto &[p, func] : params)
643 param_values.at(p)(i) = func(sample.local_points.row(i), sample.points.row(i), sample.time, element_id);
644 rhos(i) = density(sample.local_points.row(i), sample.points.row(i), sample.time, element_id);
645 }
646
647 for (const auto &[name, values] : param_values)
648 if (options.export_field(name))
649 fields.push_back({name, values, io::OutputField::Association::Point});
650 if (options.export_field("rho"))
651 fields.push_back({"rho", rhos, io::OutputField::Association::Point});
652 }
653
654 if (paraview_options["body_ids"] && options.export_field("body_ids") && has_element_samples)
655 {
656 Eigen::MatrixXd ids = Eigen::MatrixXd::Zero(output_rows, 1);
657 for (int i = 0; i < sample.element_ids.size(); ++i)
658 {
659 const int element_id = sample.element_ids(i);
660 if (element_id >= 0)
661 ids(i) = mesh_->get_body_id(element_id);
662 }
663 fields.push_back({"body_ids", ids, io::OutputField::Association::Point});
664 }
665
666 return fields;
667 }
668
669 void ScalarVarForm::build_stiffness_mat(StiffnessMatrix &stiffness)
670 {
671 igl::Timer timer;
672 timer.start();
673 logger().info("Assembling stiffness mat...");
674 assert(primary_assembler_->is_linear());
675 assert(problem->is_scalar());
676
677 primary_assembler_->assemble(mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(), ass_vals_cache_, 0, stiffness);
678
679 timer.stop();
680 timings.assembling_stiffness_mat_time = timer.getElapsedTime();
681 logger().info(" took {}s", timings.assembling_stiffness_mat_time);
682
683 stats.nn_zero = stiffness.nonZeros();
684 stats.num_dofs = stiffness.rows();
685 stats.mat_size = (long long)stiffness.rows() * (long long)stiffness.cols();
686 logger().info("sparsity: {}/{}", stats.nn_zero, stats.mat_size);
687
688 write_matrix_market(args, stiffness);
689 }
690
691 void ScalarVarForm::solve_linear_system(
692 const std::unique_ptr<polysolve::linear::Solver> &solver,
694 Eigen::VectorXd &b,
695 const bool compute_spectrum,
696 Eigen::MatrixXd &sol)
697 {
698 assert(primary_assembler_->is_linear());
699 assert(problem->is_scalar());
700 assert(rhs_assembler_ != nullptr);
701
702 Eigen::VectorXd x;
703 stats.spectrum = dirichlet_solve(
704 *solver,
705 A,
706 b,
707 boundary_.boundary_nodes,
708 x,
709 space_.n_bases,
710 args["output"]["data"]["stiffness_mat"],
711 compute_spectrum,
712 /*is_problem_mixed=*/false,
713 /*use_avg_pressure=*/false);
714
715 sol = x;
716 solver->get_info(stats.solver_info);
717
718 const auto error = (A * x - b).norm();
719 if (error > 1e-4)
720 logger().error("Solver error: {}", error);
721 else
722 logger().debug("Solver error: {}", error);
723 }
724
725 void ScalarVarForm::solve_linear_system_with_constraints(
726 const std::unique_ptr<polysolve::linear::Solver> &solver,
728 Eigen::VectorXd &b,
729 const bool compute_spectrum,
730 const QuadratureOrders &boundary_samples,
731 const double time,
732 Eigen::MatrixXd &sol)
733 {
734 const json &periodic_conditions = args["boundary_conditions"]["periodic"];
735 const json &zero_mean = args["constraints"]["zero_mean"];
736 const bool add_zero_mean =
737 zero_mean.is_boolean()
738 ? zero_mean.get<bool>()
739 : (zero_mean.is_array()
740 && std::find(zero_mean.begin(), zero_mean.end(), 0) != zero_mean.end());
741 const bool has_global_constraints = !periodic_conditions.empty() || add_zero_mean;
742
743 if (!has_global_constraints)
744 {
745 solve_linear_system(solver, A, b, compute_spectrum, sol);
746 return;
747 }
748
749 if (!zero_mean.is_boolean() && !zero_mean.is_array())
750 log_and_throw_error("constraints.zero_mean must be a boolean or a list of FE-space IDs");
751
752 StiffnessMatrix constraint_mass = mass_;
753 if (constraint_mass.rows() != A.rows() || constraint_mass.cols() != A.cols())
754 {
755 mass_assembler_->assemble(
756 mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(),
757 mass_ass_vals_cache_, 0, constraint_mass, true);
758 }
759 if (constraint_mass.rows() != A.rows() || constraint_mass.cols() != A.cols())
760 log_and_throw_error("Unable to assemble scalar constraint mass matrix for {} DoFs", A.rows());
761
762 std::vector<std::shared_ptr<solver::AugmentedLagrangianForm>> constraint_forms;
763 if (!boundary_.boundary_nodes.empty())
764 {
765 constraint_forms.push_back(std::make_shared<solver::BCLagrangianForm>(
766 A.rows(), boundary_.boundary_nodes, boundary_.local_boundary,
767 boundary_.local_neumann_boundary, boundary_samples, constraint_mass,
768 *rhs_assembler_, /*obstacle_ndof=*/0, problem->is_time_dependent(), time));
769 }
770
771 for (const json &condition : periodic_conditions)
772 {
773 const int fe_space = condition.value("fe_space", -1);
774 if (fe_space >= 0 && fe_space != 0)
775 continue;
776
777 const std::array<int, 2> boundary_ids = {{condition["boundary_ids"][0].get<int>(),
778 condition["boundary_ids"][1].get<int>()}};
779 constraint_forms.push_back(std::make_shared<solver::PeriodicBoundaryLagrangianForm>(
780 A.rows(), /*value_dim=*/1, *mesh_, space_.basis_list(),
781 boundary_.total_local_boundary, boundary_ids,
782 condition.value("tolerance", 1e-5)));
783 }
784
785 if (add_zero_mean)
786 {
787 const Eigen::VectorXd weights = constraint_mass * Eigen::VectorXd::Ones(A.rows());
788 const double weight_sum = weights.cwiseAbs().sum();
789 if (weight_sum <= 0)
790 log_and_throw_error("Unable to assemble a scalar zero-mean constraint");
791
792 std::vector<Eigen::Triplet<double>> entries;
793 entries.reserve(weights.size());
794 for (int dof = 0; dof < weights.size(); ++dof)
795 if (weights(dof) != 0)
796 entries.emplace_back(0, dof, weights(dof) / weight_sum);
797
798 StiffnessMatrix C(1, A.rows());
799 C.setFromTriplets(entries.begin(), entries.end());
800 constraint_forms.push_back(std::make_shared<solver::MatrixLagrangianForm>(
801 C, Eigen::MatrixXd::Zero(1, 1)));
802 }
803
804 if (constraint_forms.empty())
805 {
806 solve_linear_system(solver, A, b, compute_spectrum, sol);
807 return;
808 }
809
810 auto constraint_solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
811 std::shared_ptr<polysolve::linear::Solver> shared_constraint_solver(std::move(constraint_solver));
812 solver::NLProblem constrained_problem(
813 A.rows(), time, {}, constraint_forms, shared_constraint_solver,
814 /*char_length=*/1, /*char_force=*/1, constraint_mass, /*dimension=*/1);
815
816 const StiffnessMatrix full_A = A;
817 const Eigen::VectorXd affine_offset =
818 constrained_problem.reduced_to_full(Eigen::VectorXd::Zero(constrained_problem.reduced_size()));
819 b = constrained_problem.full_to_reduced_grad(b - full_A * affine_offset);
820 constrained_problem.full_hessian_to_reduced_hessian(A);
821
822 Eigen::VectorXd reduced_solution;
823 stats.spectrum = dirichlet_solve(
824 *solver, A, b, {}, reduced_solution, A.rows(),
825 args["output"]["data"]["stiffness_mat"],
826 compute_spectrum,
827 /*is_problem_mixed=*/false, /*use_avg_pressure=*/false);
828 sol = constrained_problem.reduced_to_full(reduced_solution);
829 solver->get_info(stats.solver_info);
830
831 const double error = (A * reduced_solution - b).norm();
832 if (error > 1e-4)
833 logger().error("Solver error: {}", error);
834 else
835 logger().debug("Solver error: {}", error);
836 }
837
838 void ScalarVarForm::solve_static(Eigen::MatrixXd &sol)
839 {
840 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
841 logger().info("{}...", solver->name());
842
843 const int gdiscr_order = mesh_->orders().size() <= 0 ? 1 : mesh_->orders().maxCoeff();
844 const QuadratureOrders boundary_samples = n_boundary_samples(space_.disc_orders.maxCoeff(), space_.disc_ordersq.maxCoeff(), gdiscr_order);
845
846 rhs_assembler_->set_bc(
847 boundary_.local_boundary, boundary_.boundary_nodes, boundary_samples,
848 (primary_assembler_->name() != "Bilaplacian") ? boundary_.local_neumann_boundary : std::vector<mesh::LocalBoundary>(), rhs_);
849
851 build_stiffness_mat(A);
852
853 Eigen::VectorXd b = rhs_;
854 solve_linear_system_with_constraints(
855 solver, A, b, args["output"]["advanced"]["spectrum"],
856 boundary_samples, /*time=*/1, sol);
857 }
858
859 void ScalarVarForm::solve_transient(Eigen::MatrixXd &sol)
860 {
861 assert(problem->is_time_dependent());
862 assert(rhs_assembler_ != nullptr);
863
864 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
865 logger().info("{}...", solver->name());
866
868 args["time"]["integrator"]);
869 bdf->init(sol, Eigen::VectorXd::Zero(sol.size()), Eigen::VectorXd::Zero(sol.size()), dt);
870 time_integrator = bdf;
871
872 save_timestep(t0, 0, t0, dt, sol);
873
874 Eigen::MatrixXd current_rhs = rhs_;
875
876 StiffnessMatrix stiffness;
877 build_stiffness_mat(stiffness);
878
879 const int gdiscr_order = mesh_->orders().size() <= 0 ? 1 : mesh_->orders().maxCoeff();
880 const QuadratureOrders n_b_samples = n_boundary_samples(space_.disc_orders.maxCoeff(), space_.disc_ordersq.maxCoeff(), gdiscr_order);
881 for (int t = 1; t <= time_steps; ++t)
882 {
883 const double time = t0 + t * dt;
884
885 rhs_assembler_->compute_energy_grad(
886 boundary_.local_boundary, boundary_.boundary_nodes, mass_assembler_->density(), n_b_samples,
887 boundary_.local_neumann_boundary, rhs_, time, current_rhs);
888
889 rhs_assembler_->set_bc(
890 boundary_.local_boundary, boundary_.boundary_nodes, n_b_samples, boundary_.local_neumann_boundary, current_rhs, sol, time);
891
892 StiffnessMatrix A = mass_ / bdf->beta_dt() + stiffness;
893 Eigen::VectorXd b = (mass_ * bdf->weighted_sum_x_prevs()) / bdf->beta_dt();
894 for (int i : boundary_.boundary_nodes)
895 b[i] = 0;
896 b += current_rhs;
897
898 solve_linear_system_with_constraints(
899 solver, A, b,
900 args["output"]["advanced"]["spectrum"].get<bool>() && t == time_steps,
901 n_b_samples, time, sol);
902
903 bdf->update_quantities(sol);
904 save_timestep(time, t, t0, dt, sol);
905 save_step_state(t0, dt, t, time_integrator.get());
906
907 logger().info("{}/{} t={}", t, time_steps, time);
908 notify_time_step(t, time_steps, t0, dt);
909 }
910 }
911
912 void ScalarVarForm::solve_problem(Eigen::MatrixXd &sol)
913 {
914 stats.spectrum.setZero();
915
916 igl::Timer timer;
917 timer.start();
918 logger().info("Solving {}", primary_assembler_->name());
919
920 {
921 POLYFEM_SCOPED_TIMER("Setup RHS");
922
923 if (sol.size() <= 0)
924 prepare_initial_solution(sol);
925
926 if (sol.cols() > 1)
927 sol.conservativeResize(Eigen::NoChange, 1);
928 }
929
930 time_integrator = nullptr;
931 if (problem->is_time_dependent())
932 solve_transient(sol);
933 else
934 solve_static(sol);
935
936 timer.stop();
937 timings.solving_time = timer.getElapsedTime();
938 logger().info(" took {}s", timings.solving_time);
939 }
940} // 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:2073
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:2785
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:2830
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 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:3073
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
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:1103
static void rebuild_node_positions(const std::vector< basis::ElementBases > &bases, const std::vector< int > &node_ids, std::vector< RowVectorNd > &positions)
Definition VarForm.cpp:1117
std::shared_ptr< assembler::Problem > problem
current problem, it contains rhs and bc
Definition VarForm.hpp:195
std::unique_ptr< mesh::Mesh > mesh_
Definition VarForm.hpp:207
void assign_discr_orders(const json &space_args, const mesh::Mesh &mesh, Eigen::VectorXi &disc_orders, Eigen::VectorXi &disc_ordersq)
Definition VarForm.cpp:743
io::OutStatsData stats
Definition VarForm.hpp:199
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:39
io::OutGeometryData::ExportOptions export_options(const io::OutputSpace &space) const
Definition VarForm.cpp:896
io::OutGeometryData output_geometry_
Definition VarForm.hpp:211
io::OutputFieldFunction output_field_function(const Eigen::MatrixXd &solution, const io::OutGeometryData::ExportOptions &opts) const
Definition VarForm.cpp:905
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:320
std::string resolve_output_path(const std::string &path) const
Definition VarForm.cpp:1108
void ensure_output_sampler() const
Definition VarForm.cpp:882
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:277
io::OutRuntimeData timings
runtime statistics
Definition VarForm.hpp:202
void set_materials(assembler::Assembler &assembler, const int size) const
Definition VarForm.cpp:867
virtual void reset()=0
Definition VarForm.cpp:265
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)
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