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