boundary_rows.hpp serif/utils/error/nonfinite.hpp cmath vector serif/backend/mfem/geometry/surface/boundary_data.hpp serif/geometry/surface/linearization.hpp serif/backend/mfem/shared/finite.hpp src/include/serif/backend/mfem/geometry/surface/pressure_boundary.hpp src/include/serif/backend/mfem/geometry/surface/pressure_field_block.hpp serif/backend/mfem/discretization/boundary_trace.hpp serif/backend/mfem/discretization/dof_map.hpp serif/backend/mfem/discretization/dof_selection.hpp serif/backend/mfem/discretization/reconstruction.hpp serif/backend/mfem/discretization/term_binding.hpp serif/backend/mfem/discretization/term_coefficients.hpp serif/backend/mfem/geometry/surface/boundary_data.hpp src/include/serif/backend/mfem/geometry/surface/boundary_rows.hpp serif/backend/mfem/shared/finite.hpp serif/dimensions/dimensions.hpp serif/dimensions/partial.hpp serif/dimensions/quantities.hpp serif/dimensions/type_alias.hpp serif/discretization/blocks/base.hpp serif/discretization/blocks/concepts.hpp serif/discretization/blocks/fields.hpp serif/discretization/blocks/traits.hpp serif/discretization/domain/concepts.hpp serif/discretization/domain/ids/boundary.hpp serif/discretization/domain/ids/concepts.hpp serif/discretization/domain/ids/domain.hpp serif/discretization/domain/ids/lists/concepts.hpp serif/discretization/domain/ids/lists/lists.hpp serif/discretization/domain/ids/lists/traits.hpp serif/discretization/domain/ids/validation/concepts.hpp serif/discretization/domain/ids/validation/unique_ids.hpp serif/discretization/domain/physical_domains.hpp serif/discretization/domain/relation/concepts.hpp serif/discretization/domain/relation/lists/concepts.hpp serif/discretization/domain/relation/lists/relation_list.hpp serif/discretization/domain/relation/lists/traits.hpp serif/discretization/domain/relation/relations.hpp serif/discretization/domain/relation/validation/concepts.hpp serif/discretization/domain/relation/validation/validation.hpp serif/discretization/domain/resolver.hpp serif/discretization/domain/schema/concepts.hpp serif/discretization/domain/schema/domain_schema.hpp serif/discretization/domain/schema/traits.hpp serif/discretization/domain/types.hpp serif/discretization/forms/operands.hpp serif/discretization/forms/value.hpp serif/discretization/functional_space/space.hpp serif/discretization/reconstruction/surface_power.hpp serif/eos/models/concepts.hpp serif/eos/models/traits.hpp serif/eos/relations/catalog.hpp serif/eos/relations/concepts.hpp serif/eos/relations/relations.hpp serif/eos/relations/traits.hpp serif/equations/point.hpp serif/geometry/surface/compilation.hpp serif/geometry/surface/detail/relations.hpp serif/geometry/surface/isobaric.hpp serif/geometry/surface/linearization.hpp serif/meta/enums.hpp serif/meta/names.hpp serif/utils/checks/finite.hpp serif/utils/dependencies/binding.hpp serif/utils/dependencies/dependency_context.hpp serif/utils/dependencies/detail/type_lists.hpp serif/utils/dependencies/key_list.hpp serif/utils/dependencies/key_list_operations.hpp serif/utils/dependencies/resource.hpp serif/utils/dependencies/snapshot.hpp serif/utils/error/codes.hpp serif/utils/error/errors.hpp serif/utils/error/nonfinite.hpp serif/utils/misc/concepts/concat.hpp serif/utils/misc/concepts/exceptions.hpp serif/utils/misc/concepts/numeric.hpp serif/utils/misc/concepts/type_uniqueness.hpp serif/utils/misc/std_helper/cleaning.hpp serif/utils/misc/std_helper/variadic_cleaning.hpp serif/utils/misc/terminal/colors.hpp serif/utils/misc/traits/type_uniqueness.hpp serif/utils/types/strings.hpp serif/utils/types/type_list.hpp algorithm array cmath compare concepts cstddef cstdint cstdio cstdlib exception format functional iostream limits magic_enum/magic_enum_all.hpp memory mfem/fem/fe/fe_base.hpp mfem/fem/fespace.hpp mfem/fem/pfespace.hpp mfem/linalg/densemat.hpp mfem/linalg/sparsemat.hpp mfem/linalg/vector.hpp nameof.hpp numeric optional span stdexcept string string_view tuple type_traits unistd.h unordered_map utility vector version src/compile_time_checks/serif/model/state.cpp src/include/serif/backend/mfem/geometry/surface/boundary_rows.hpp src/include/serif/backend/mfem/geometry/surface/pressure_boundary.hpp src/include/serif/backend/mfem/geometry/surface/pressure_field_block.hpp src/include/serif/backend/mfem/model/binding.hpp src/include/serif/backend/mfem/model/computations/pressure_boundary.hpp src/include/serif/backend/mfem/model/equilibrium.hpp src/include/serif/backend/mfem/model/equilibrium_evaluator.hpp src/include/serif/backend/mfem/model/graph.hpp src/include/serif/backend/mfem/solver/admissibility/geometry.hpp src/include/serif/backend/mfem/solver/equilibrium.hpp src/include/serif/backend/mfem/solver/nonlinear/stellar_problem.hpp src/include/serif/backend/mfem/solver/seed/state.hpp src/include/serif/solver/continuation/equilibrium.hpp src/include/serif/solver/equilibrium.hpp src/include/serif/solver/seed/state.hpp src/include/serif/solver/solver.hpp serif serif::geometry serif::geometry::surface serif::geometry::surface::backend serif::geometry::surface::backend::mfem serif::geometry::surface::backend::mfem::detail #pragmaonce #include"serif/utils/error/nonfinite.hpp" #include<cmath> #include<vector> #include"serif/backend/mfem/geometry/surface/boundary_data.hpp" #include"serif/geometry/surface/linearization.hpp" #include"serif/backend/mfem/shared/finite.hpp" namespaceserif::geometry::surface::backend::mfem { namespacedetail { template<typenameBoundary> voidvalidate_boundary_output(constBoundary&boundary,const::mfem::Vector&result) { usingnamespaceutils::errors; boundary.validate(); serif_ensure<SERiFErrorCode::INVALID_DOF_COUNT, std::invalid_argument>(result.Size()==boundary.selected_rows->binding().size(),"Pressure-boundaryoutputmustmatchtheresidualbindingsize."); } template<typenameBoundary,typenameLinearizations> voidvalidate_boundary_samples(constBoundary&boundary,constLinearizations&linearizations) { usingnamespaceutils::errors; serif_ensure<SERiFErrorCode::INVALID_DOF_COUNT, std::invalid_argument>(linearizations.size()==static_cast<std::size_t>(boundary.selected_rows->size()),"Pressure-boundarylinearizationsmustmatchthecompiledrowselection."); } template<typenameBoundary> voidreplace_boundary_rows(constBoundary&boundary,const::mfem::Vector&values,::mfem::Vector&result) { usingnamespaceutils::errors; serif_ensure<SERiFErrorCode::NON_FINITE_VALUE_ERROR, NonFiniteValue>(utils::checks::is_finite(values),"Thepressure-boundaryactionproducedanon-finitevalue;rejectthiscandidate."); constauto&rows=boundary.selected_rows->reduced_dofs(); for(intindex=0;index<rows.Size();++index) { result[rows[index]]=values[index]; } } template<typenameBoundary,typenameLinearizations,typenameDirections,typename...Terms> [[nodiscard]]::mfem::Vectorboundary_jacobian_action(constBoundary&boundary,constLinearizations&linearizations,constDirections&directions,utils::dependencies::KeyList<Terms...>) { usingnamespaceutils::errors; ::mfem::Vectorresult(boundary.selected_rows->size()); ::mfem::Vectorsamples(result.Size()); result=0.0; constautoadd_direction=[&]<typenameTerm>() { constauto&trace=boundary.traces.templateget<Term>(); constauto&direction=directions.templateget<Term>(); serif_ensure<SERiFErrorCode::CACHE_FE_BINDING_ERROR, std::invalid_argument>(&direction.binding==&trace.binding(),"Apressure-boundarydirectionmustusethebindingthatcompileditstrace."); trace.binding().validate_values(direction.values); trace.interpolation().Mult(direction.values,samples); for(intindex=0;index<result.Size();++index) { result[index]+=linearizations[index].field_derivatives.templateget<Term>()*samples[index]; } }; (add_direction.templateoperator()<Terms>(),...); returnresult; } } template<PressureBoundaryFormulationFormulation,typenameTraces> voidapply_residual_rows(constPressureBoundary<Formulation, Traces>&boundary,conststd::vector<SurfaceLinearization<Formulation>>&linearizations,::mfem::Vector&result) { usingnamespaceutils::errors; detail::validate_boundary_output(boundary,result); detail::validate_boundary_samples(boundary,linearizations); for(constauto&point:linearizations) { serif_ensure<SERiFErrorCode::NON_FINITE_VALUE_ERROR, NonFiniteValue>(std::isfinite(point.residual),"Thepressure-boundaryresidualcontainsanon-finitevalue;rejectthiscandidate."); } for(intindex=0;index<boundary.selected_rows->size();++index) { result[boundary.selected_rows->reduced_dofs()[index]]=linearizations[index].residual; } } template<PressureBoundaryFormulationFormulation,typenameTraces,utils::dependencies::IsDependencyContextDirections> requiresutils::dependencies::SatisfiesKeyList<typenameDirections::Bindings,typenameFormulation::StateTerms> voidapply_jacobian_rows(constPressureBoundary<Formulation, Traces>&boundary,conststd::vector<SurfaceLinearization<Formulation>>&linearizations,constDirections&directions,::mfem::Vector&result) { detail::validate_boundary_output(boundary,result); detail::validate_boundary_samples(boundary,linearizations); const::mfem::Vectorvalues=detail::boundary_jacobian_action(boundary,linearizations,directions,typenameFormulation::StateTerms{}); detail::replace_boundary_rows(boundary,values,result); } template<PressureBoundaryFormulationFormulation,typenameTraces> voidmask_residual_dual(constPressureBoundary<Formulation, Traces>&boundary,const::mfem::Vector&dual,::mfem::Vector&volume_dual) { detail::validate_boundary_output(boundary,dual); boundary.selected_rows->binding().validate_values(dual); volume_dual=dual; for(constintrow:boundary.selected_rows->reduced_dofs()) { volume_dual[row]=0.0; } } template<typenameTerm,PressureBoundaryFormulationFormulation,typenameTraces> requiresutils::dependencies::BindingsWithBinding<typenameTraces::Bindings,Term> voidadd_jacobian_transpose_rows(constPressureBoundary<Formulation, Traces>&boundary,conststd::vector<SurfaceLinearization<Formulation>>&linearizations,const::mfem::Vector&dual,::mfem::Vector&result) { usingnamespaceutils::errors; detail::validate_boundary_output(boundary,dual); detail::validate_boundary_samples(boundary,linearizations); boundary.selected_rows->binding().validate_values(dual); constauto&trace=boundary.traces.templateget<Term>(); trace.binding().validate_values(result); ::mfem::Vectorweights(boundary.selected_rows->size()); for(intindex=0;index<weights.Size();++index) { weights[index]=linearizations[index].field_derivatives.templateget<Term>()*dual[boundary.selected_rows->reduced_dofs()[index]]; } serif_ensure<SERiFErrorCode::NON_FINITE_VALUE_ERROR, NonFiniteValue>(utils::checks::is_finite(weights),"Thepressure-boundarytransposeproducednon-finiteweights;rejectthiscandidate."); trace.interpolation().AddMultTranspose(weights,result); serif_ensure<SERiFErrorCode::NON_FINITE_VALUE_ERROR, NonFiniteValue>(utils::checks::is_finite(result),"Thepressure-boundarytransposeproducedanon-finiteresult;discardthisoutput."); } }