|
LMCAS
Lamina Computer Algebra System
|
#include <result.hpp>
Public 成员函数 | |
| template<typename U = T, std::enable_if_t< std::is_constructible_v< U, std::nullptr_t >, int > = 0> | |
| Result (std::nullptr_t) | |
| Result (T value) | |
| Allow direct return of a success value from a Result-returning function. | |
| CasError & | error () |
| const CasError & | error () const |
| bool | has_value () const noexcept |
| operator bool () const noexcept | |
| T & | value () |
| const T & | value () const |
静态 Public 成员函数 | |
| static Result | failure (CasErrc code, std::string message, std::string operation={}) |
| static Result | failure (CasError error) |
| static Result | success (T value) |
Private 成员函数 | |
| Result (CasError error) | |
Private 属性 | |
| std::variant< T, CasError > | storage_ |
在文件 result.hpp 第 39 行定义.
|
inline |
Allow direct return of a success value from a Result-returning function.
在文件 result.hpp 第 42 行定义.
被这些函数引用 LMCAS::anonymous_namespace{integration_definite.cpp}::equal_endpoint_integral().
|
inline |
在文件 result.hpp 第 47 行定义.
|
inlineexplicitprivate |
在文件 result.hpp 第 88 行定义.
|
inline |
在文件 result.hpp 第 77 行定义.
被这些函数引用 LMCAS::InferenceEngine::Impl::accumulate_sum_relation_sign(), LMCAS::adaptive_simpson_numeric(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::affine_period(), LMCAS::anonymous_namespace{newton_raphson.cpp}::append_verified_root(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_endpoint(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::cauchy_index_on_edge(), LMCAS::detail::definite::certify_continuity_checked(), LMCAS::serialization_detail::check(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::checked(), LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::checked(), LMCAS::anonymous_namespace{interval_set_operations.cpp}::checked_interval_views(), LMCAS::classify_inflection_candidates(), LMCAS::anonymous_namespace{interval_normalization.cpp}::collect_nonempty_intervals(), LMCAS::detail::definite::collect_predicate_roots(), LMCAS::detail::consume_mixed_step(), LMCAS::detail::complex_root::coordinate_projections(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::declared_period(), LMCAS::detail::definite::definite_partition_checked(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_operands(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::edge_is_clear(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_components(), LMCAS::expr_detail::expr_common::expr_from_complex_result(), LMCAS::finite_values_to_set(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_interval_checked(), LMCAS::interval_contains_checked(), LMCAS::interval_is_empty_checked(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_exponential(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_logarithm(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::is_plane_budget_error(), LMCAS::detail::isolate_exact_root(), LMCAS::matrix_eigenvalues_checked(), LMCAS::normalization_proved(), LMCAS::detail::definite::polynomial_sign_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::prepare_projection_grid(), LMCAS::detail::definite::prepare_segment_primitive(), LMCAS::InferenceEngine::Impl::product_relation_sign(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_coefficients(), LMCAS::anonymous_namespace{residual_verification.cpp}::prove_with_profiles(), LMCAS::quadrature_gaussian_numeric(), LMCAS::quadrature_simpson_numeric(), LMCAS::InferenceEngine::Impl::query_rational(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_bounds(), LMCAS::detail::definite::rational_divergence_checked(), LMCAS::detail::definite::real_assumptions(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::real_to_complex(), LMCAS::anonymous_namespace{integration_definite.cpp}::reduced_integrand_checked(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts::remember(), LMCAS::detail::ExactBoundArithmetic::require(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::require_combinatorial(), LMCAS::assumption_detail::require_deserialization_update(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::rewrite_absolute(), LMCAS::detail::definite::segment_expression_checked(), LMCAS::NormalizationVisitor::simplify_assumed_square_root(), LMCAS::singular_frobenius_solution(), LMCAS::solve_complex_quadratic_checked(), LMCAS::solve_euler_ode_impl(), LMCAS::solve_higher_order_ode_impl(), LMCAS::solve_linear2_homogeneous(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::specialize_absolute(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::square_relation(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::sum_bounds(), LMCAS::te_accept_decay(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::trigonometric_target_range(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds() , 以及 LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate::visit().
|
inline |
在文件 result.hpp 第 82 行定义.
|
inlinestatic |
在文件 result.hpp 第 52 行定义.
被这些函数引用 LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection::accept_finite_solutions(), LMCAS::InferenceEngine::Impl::accumulate_sum_relation_sign(), LMCAS::adaptive_simpson_numeric(), LMCAS::InferenceEngine::Impl::add_deduced(), LMCAS::add_fourier_harmonic(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::affine_period(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::append_exact_factor_roots(), LMCAS::multivariate_checked_detail::append_primitive_factor(), LMCAS::append_product_roots(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::append_symbolic_plane_edges(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::apply_root_representation_policy(), LMCAS::detail::anonymous_namespace{exact_root.cpp}::approximate_real_isolation(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_endpoint(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arithmetic(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arithmetic_budget(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::bool_failure(), LMCAS::detail::definite::boundary_checked(), LMCAS::detail::definite::boundary_value_checked(), LMCAS::anonymous_namespace{differential_geometry.cpp}::bounded_binomial(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_append_repeated(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_lift_bound(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_reduction(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::build_plane_edges(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr_bounds(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr_target(), LMCAS::calculus_utils_detail::calculus_utils_validate_two_exprs(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::cauchy_index_on_edge(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::center_quadric(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::certify_conjugate_projections(), LMCAS::detail::definite::certify_continuity_checked(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::certify_dyadic_candidate(), LMCAS::ode_root_detail::anonymous_namespace{ode_characteristic_roots.cpp}::characteristic_root_scale(), LMCAS::ComputationContext::check_access(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::check_arguments(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::check_plane_normal_nonzero(), LMCAS::anonymous_namespace{poly_utils.cpp}::check_power_coefficient_count(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::check_term_budget(), LMCAS::anonymous_namespace{poly_utils.cpp}::check_zero_power_base(), LMCAS::anonymous_namespace{quantity.cpp}::checked_binary(), LMCAS::detail::anonymous_namespace{exact_constant_bounds.cpp}::checked_bounds(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::checked_construct(), LMCAS::query_detail::checked_expression_result(), LMCAS::anonymous_namespace{numerical_integration.cpp}::checked_finite_value(), LMCAS::checked_inference_result(), LMCAS::geometry_detail::checked_nonzero_numeric_or_exact(), LMCAS::geometry_detail::checked_nonzero_numeric_vector(), LMCAS::detail::classify_exact_zero(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::clear_isolation_endpoints(), LMCAS::anonymous_namespace{solve_transcendental.cpp}::coalesce_periodic_families(), LMCAS::anonymous_namespace{solve_transcendental.cpp}::coalesce_periodic_pair(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::coefficient_of_constant(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::coefficient_of_linear(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::coefficient_of_square(), LMCAS::collect_infinite_asymptotes(), LMCAS::multivariate_checked_detail::collect_linear_samples(), LMCAS::collect_oblique_asymptote(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::collect_polynomial_variables(), LMCAS::detail::definite::collect_predicate_roots(), LMCAS::collect_vertical_asymptotes(), LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::common_root_in_enclosures(), LMCAS::detail::comparable_endpoint(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_finite_endpoint(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_root(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_surd(), LMCAS::detail::definite::compare_boundaries(), LMCAS::detail::compare_comparable(), LMCAS::anonymous_namespace{residual_comparison.cpp}::compare_defined_values(), LMCAS::detail::compare_exact_real_algebraic(), LMCAS::detail::compare_pointwise_values(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::complex_failure(), LMCAS::anonymous_namespace{limit_result.cpp}::complex_polynomial_nonzero(), LMCAS::anonymous_namespace{limit_result.cpp}::complex_punctured_condition(), LMCAS::anonymous_namespace{limit_result.cpp}::complex_punctured_domain(), LMCAS::composition_inner_powers(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::construct_roots(), LMCAS::anonymous_namespace{calculus_continuity.cpp}::continuity_point_value(), LMCAS::anonymous_namespace{solver_groebner_system.cpp}::convert_basis_polynomial(), LMCAS::detail::complex_root::coordinate_projections(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::count_open_roots(), LMCAS::detail::count_real_roots_exact(), LMCAS::detail::complex_root::count_rectangle_roots(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::count_sheared_edges(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::declared_period(), LMCAS::detail::definite::defined_on_interval(), LMCAS::detail::definite::definite_segment_checked(), LMCAS::dep_var_is_positive(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), LMCAS::detail::determinant_exact(), LMCAS::dimension_of(), LMCAS::detail::definite::divergent(), LMCAS::detail::domain_constraints(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_positive_integer_power(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_root(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::edge_is_clear(), LMCAS::anonymous_namespace{symbolic_matrix_eigen.cpp}::eigenvalue_already_collected(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_below(), LMCAS::detail::eliminate_exact(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::eliminate_resultant_row(), LMCAS::DiagnosticEngine::emit(), LMCAS::anonymous_namespace{integration_definite.cpp}::equal_endpoint_integral(), LMCAS::detail::equal_exact_real_algebraic(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::equality_condition_truth(), LMCAS::anonymous_namespace{equivalence_engine.cpp}::equivalent_with_budget(), LMCAS::anonymous_namespace{equivalence_options.cpp}::eqv_profile_failure(), LMCAS::anonymous_namespace{numerical_integration.cpp}::estimated_quadrature_result(), LMCAS::anonymous_namespace{numerical_integration.cpp}::eval_bound_checked(), LMCAS::evalf(), LMCAS::detail::NumericEvaluator::evaluate(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_node(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_power(), LMCAS::anonymous_namespace{numerical_integration.cpp}::evaluate_interval(), LMCAS::evaluate_numeric(), LMCAS::detail::evaluate_root_complex(), LMCAS::anonymous_namespace{newton_raphson.cpp}::evaluate_root_function(), LMCAS::detail::evaluate_root_real(), LMCAS::detail::definite::evaluate_segment_endpoints(), LMCAS::detail::exact_double_rational(), LMCAS::anonymous_namespace{value.cpp}::exact_number_as_floating(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::exact_poly_divide(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::exact_polynomial_nodes(), LMCAS::anonymous_namespace{quantity.cpp}::exact_rational(), LMCAS::expr_set_contains(), LMCAS::extract_coeff_value< Rational >(), LMCAS::extract_laurent_regular_part(), LMCAS::anonymous_namespace{matrix_decomposition_lu.cpp}::factor_lu(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::SolutionFinalizer::finalize_value(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::finish_combinatorial(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::SolutionFinalizer::finish_conditions(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::finite_numeric_coeff(), LMCAS::anonymous_namespace{limit_result.cpp}::finite_sign(), LMCAS::frobenius_coefficient_limit(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::detail::definite::gcd_checked(), LMCAS::anonymous_namespace{residual_verification.cpp}::has_zero_root_remainder(), LMCAS::hl_validate_lift_inputs(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::inconsistent_symbolic_system(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::infer(), LMCAS::inflection_curve_defined(), LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_interval_checked(), LMCAS::integrate_multiple_checked(), LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_ordered_interval(), LMCAS::interval_contains_checked(), LMCAS::interval_covers_checked_impl(), LMCAS::interval_is_empty_checked(), LMCAS::intervals_overlap_checked_impl(), LMCAS::detail::inverse_exact(), LMCAS::detail::AssumptionFacts::is_negative(), LMCAS::detail::ScopedFacts::is_negative(), LMCAS::detail::AssumptionFacts::is_nonnegative(), LMCAS::detail::ScopedFacts::is_nonnegative(), LMCAS::anonymous_namespace{limit_result.cpp}::ComplexPuncturedFacts::is_nonzero(), LMCAS::detail::AssumptionFacts::is_nonzero(), LMCAS::detail::ScopedFacts::is_nonzero(), LMCAS::detail::AssumptionFacts::is_positive(), LMCAS::detail::ScopedFacts::is_positive(), LMCAS::detail::AssumptionFacts::is_real(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts::is_real(), LMCAS::detail::ScopedFacts::is_real(), LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::is_substitution_polynomial(), LMCAS::is_vertical_asymptote(), LMCAS::detail::isolate_exact_root(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::isolate_grid_row(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::kernel_argument(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::left_pole_sample(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::linear_interval(), LMCAS::detail::make_exact_root_id(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::make_sturm_sequence(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::multiply(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::multiply_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::multiply_intervals(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::negative_discriminant(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::node_to_multivariate_polynomial(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::normalize_coefficients(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::normalized_root(), LMCAS::detail::numeric_failure(), LMCAS::geometry_detail::numeric_vector_scale_checked(), LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}::order_isolations(), LMCAS::ordinary_taylor_coefficients(), LMCAS::detail::definite::original_conditions_checked(), LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::parameter_constraint(), LMCAS::detail::parse_finite_decimal(), LMCAS::anonymous_namespace{root_of_identity.cpp}::parse_rootof_request(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::period_from_slope(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::periodicity_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line.cpp}::point_difference_scale_checked(), LMCAS::anonymous_namespace{residual_comparison.cpp}::pointwise_values_defined(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::pole_index(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::pole_interval_is_clear(), LMCAS::detail::definite::polynomial_at_root_sign(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::polynomial_exponent(), LMCAS::detail::NumericEvaluator::power(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::power_to_polynomial(), LMCAS::prepare_fourier_period(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::prepare_projection_grid(), LMCAS::detail::definite::prepare_segment_primitive(), LMCAS::detail::NumericEvaluator::product(), LMCAS::detail::definite::product_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::propagate(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentFacts::property(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::propose_dyadic_bracket(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::prove(), LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_checked_operands(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_coefficients(), LMCAS::anonymous_namespace{matrix_decomposition_qr.cpp}::prove_exact_full_column_rank_qr_support(), LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp}::prove_exact_spd(), LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_operands(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_zero(), LMCAS::anonymous_namespace{numerical_integration.cpp}::quadrature_failure(), LMCAS::quadrature_gaussian_numeric(), LMCAS::quadrature_simpson_numeric(), LMCAS::detail::anonymous_namespace{facts_query.cpp}::query_value(), LMCAS::detail::rank_exact(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_bounds(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::rational_determinant(), LMCAS::detail::rational_determinant_exact(), LMCAS::detail::rational_determinant_value_impl(), LMCAS::detail::definite::rational_divergence_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_endpoint_bound(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::rational_linear_solve(), LMCAS::detail::definite::rational_pole_divergence(), LMCAS::anonymous_namespace{integration_rational_collection.cpp}::rd_collect_rational(), LMCAS::anonymous_namespace{integration_rational.cpp}::rd_integrate_proper_fraction(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::real_affine_coefficients(), LMCAS::detail::definite::real_assumptions(), LMCAS::detail::real_quadratic_roots_checked(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_node(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_power(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_product(), LMCAS::recognize_rational_polynomial(), LMCAS::recognize_regular_laurent(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_sum(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::reduce_above(), LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::reduce_basis(), LMCAS::anonymous_namespace{integration_definite.cpp}::reduced_integrand_checked(), LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}::redundant_variable_candidate(), LMCAS::detail::refine_exact_real_algebraic_to_tolerance(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::refine_pole_interval(), LMCAS::Irrational::EnclosureRound::refine_sign(), LMCAS::InferenceEngine::Impl::relation_rhs_nonnegative(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::relational_condition_truth(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::relational_predicate_truth(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::reserve_product(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::resultant_determinant(), LMCAS::detail::NumericEvaluator::root(), LMCAS::detail::rref_exact(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::scale_plane_edges_for_cross(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::search_dyadic_scale(), LMCAS::detail::definite::segment_expression_checked(), LMCAS::anonymous_namespace{calculus_continuity.cpp}::select_continuity_branch(), LMCAS::set_eqv_profile(), LMCAS::anonymous_namespace{integration_special_functions.cpp}::sf_match_exp_neg_quad(), LMCAS::detail::ScopedFacts::shadows(), LMCAS::anonymous_namespace{solver_groebner_system.cpp}::simplified_basis(), LMCAS::singular_taylor_coefficients(), LMCAS::solution_is_excluded(), LMCAS::detail::solve_coefficients(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::solve_condition_truth(), LMCAS::solve_euler_ode_impl(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::solve_exact_affine_inequality_impl(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::solve_exact_polynomial_inequality_impl(), LMCAS::solve_higher_order_ode_impl(), LMCAS::detail::solve_linear_exact(), LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection::solve_polynomial_factor(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::solve_real_quadratic(), LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}::MixedRootCollection::solve_transcendental_factor(), LMCAS::anonymous_namespace{interval_normalization.cpp}::sort_checked_intervals(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::sort_exact_inequality_roots(), LMCAS::detail::NumericEvaluator::square_root(), LMCAS::detail::definite::structurally_continuous(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::subdivide_isolation(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::sum_bounds(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::sum_to_polynomial(), LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::surface_gradient_scale_checked(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::sylvester_resultant(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value(), LMCAS::symbolic_polynomial_content(), LMCAS::anonymous_namespace{symbolic_geometry_vector.cpp}::symbolic_vector_finite_numeric(), LMCAS::te_validate_convolution_inputs(), LMCAS::transform_detail::te_validate_expr_vars(), LMCAS::tf_build_polynomial_impl(), LMCAS::tf_convert_main_variable(), LMCAS::detail::definite::undecided(), LMCAS::detail::anonymous_namespace{facts_query_adapters.cpp}::NoFacts::unknown(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::unknown_bounds(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::unsupported_endpoint(), LMCAS::anonymous_namespace{solver_groebner_system.cpp}::validate_basis_input(), LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_input(), LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_point_input(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::validate_complex_symbolic(), LMCAS::detail::matrix_decomposition::validate_decomposition_output(), LMCAS::equivalence_detail::validate_eqv_options(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::validate_expr(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_expr_vector(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_form_coefficients(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_form_coordinates(), LMCAS::validate_frobenius_regular_singular_domain(), LMCAS::anonymous_namespace{symbolic_geometry.cpp}::validate_geometry_inputs(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_index(), LMCAS::validate_laurent_orders(), LMCAS::validate_laurent_result(), LMCAS::anonymous_namespace{limit_result.cpp}::validate_limit_input(), LMCAS::geometry_detail::validate_line_checked(), LMCAS::detail::matrix_kernel::validate_matrix(), LMCAS::validate_numeric_ode_coefficients(), LMCAS::validate_ode_expr_var_pair(), LMCAS::validate_ode_pair_var_pair(), LMCAS::validate_ode_three_expr_one_var(), LMCAS::validate_ode_two_expr_point(), LMCAS::validate_ode_variables(), LMCAS::geometry_detail::validate_plane_checked(), LMCAS::detail::series_support::validate_power_series_coefficients(), LMCAS::anonymous_namespace{series_engine.cpp}::validate_power_series_order(), LMCAS::anonymous_namespace{numerical_integration.cpp}::validate_quadrature_args(), LMCAS::geometry_detail::validate_same_dimension_vectors(), LMCAS::validate_series_expr_point(), LMCAS::detail::series_support::validate_series_variable(), LMCAS::geometry_detail::validate_surface_point(), LMCAS::geometry_detail::validate_symbolic_vector(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::variations_at(), LMCAS::vector_calculus_cross_product_partials_strict(), LMCAS::vector_calculus_curl_strict(), LMCAS::vector_calculus_detail::vector_calculus_validate_bound_pair(), LMCAS::vector_calculus_detail::vector_calculus_validate_curve_parametrization(), LMCAS::vector_calculus_detail::vector_calculus_validate_curve_scalar_inputs(), LMCAS::vector_calculus_detail::vector_calculus_validate_curve_vector_inputs(), LMCAS::vector_calculus_detail::vector_calculus_validate_distinct_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_expr_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_field_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_functions_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_bounds(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_parametrization(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_scalar_inputs(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_vector_inputs(), LMCAS::verified_quadratic_boundaries(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::verify_gcd_candidate(), LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::verify_jordan_decomposition(), LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::verify_jordan_identity(), LMCAS::multivariate_checked_detail::verify_linear_assignment(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::verify_quadratic_boundary(), LMCAS::with_assumptions(), LMCAS::zc_try_candidate(), LMCAS::zc_validate_lifted_product() , 以及 LMCAS::anonymous_namespace{solve_transcendental.cpp}::zero_difference().
|
inlinestatic |
在文件 result.hpp 第 57 行定义.
|
inlinenoexcept |
在文件 result.hpp 第 61 行定义.
被这些函数引用 LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::coordinate_update_needs_protection(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::finite_plane_offset() , 以及 LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::point_dot_needs_protection().
|
inlineexplicitnoexcept |
在文件 result.hpp 第 65 行定义.
|
inlinestatic |
在文件 result.hpp 第 48 行定义.
被这些函数引用 LMCAS::InferenceEngine::Impl::accumulate_sum_relation_sign(), LMCAS::adaptive_simpson_numeric(), LMCAS::InferenceEngine::Impl::add_deduced(), LMCAS::add_fourier_harmonic(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::append_exact_factor_roots(), LMCAS::multivariate_checked_detail::append_primitive_factor(), LMCAS::append_product_roots(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::append_symbolic_plane_edges(), LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::apply_root_representation_policy(), LMCAS::detail::anonymous_namespace{exact_root.cpp}::approximate_real_isolation(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_endpoint(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arithmetic(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::assemble_linear_solution(), LMCAS::anonymous_namespace{differential_geometry.cpp}::bounded_binomial(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_append_repeated(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_lift_bound(), LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}::bridge_reduction(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::build_plane_edges(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr_bounds(), LMCAS::calculus_utils_detail::calculus_utils_validate_expr_target(), LMCAS::calculus_utils_detail::calculus_utils_validate_two_exprs(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::cauchy_index_on_edge(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::center_quadric(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::certify_conjugate_projections(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::certify_dyadic_candidate(), LMCAS::ComputationContext::check_access(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::check_arguments(), LMCAS::anonymous_namespace{poly_utils.cpp}::check_power_coefficient_count(), LMCAS::anonymous_namespace{poly_utils.cpp}::check_zero_power_base(), LMCAS::anonymous_namespace{quantity.cpp}::checked_binary(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::checked_complex(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::checked_construct(), LMCAS::query_detail::checked_expression_result(), LMCAS::anonymous_namespace{numerical_integration.cpp}::checked_finite_value(), LMCAS::geometry_detail::checked_nonzero_numeric_or_exact(), LMCAS::geometry_detail::checked_nonzero_numeric_vector(), LMCAS::detail::classify_exact_zero(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::clear_isolation_endpoints(), LMCAS::anonymous_namespace{solve_transcendental.cpp}::coalesce_periodic_families(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::coefficient_of_square(), LMCAS::collect_infinite_asymptotes(), LMCAS::multivariate_checked_detail::collect_linear_samples(), LMCAS::collect_oblique_asymptote(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::collect_polynomial_operands(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::collect_polynomial_variables(), LMCAS::detail::definite::collect_predicate_roots(), LMCAS::collect_vertical_asymptotes(), LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::common_root_in_enclosures(), LMCAS::detail::comparable_endpoint(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_number(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_root(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_surd(), LMCAS::detail::compare_comparable(), LMCAS::detail::compare_exact_real_algebraic(), LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}::compare_isolations(), LMCAS::composition_inner_powers(), LMCAS::detail::complex_root::coordinate_projections(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::count_open_roots(), LMCAS::detail::count_real_roots_exact(), LMCAS::detail::complex_root::count_rectangle_roots(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::count_sheared_edges(), LMCAS::InferenceEngine::Impl::deduce_power_relations(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::determinant_cofactor(), LMCAS::dimension_of(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_complex(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_fractional_power(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_function(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_negative_integer_power(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_node(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_number(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_operands(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_positive_integer_power(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_power(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_root(), LMCAS::domain_subset(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::edge_is_clear(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_below(), LMCAS::detail::eliminate_exact(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::eliminate_forward(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::eliminate_resultant_row(), LMCAS::DiagnosticEngine::emit(), LMCAS::multivariate_checked_detail::enumerate_linear_assignments(), LMCAS::detail::equal_exact_real_algebraic(), LMCAS::eqv_profile_from_name(), LMCAS::anonymous_namespace{numerical_integration.cpp}::estimated_quadrature_result(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_components(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_operands(), LMCAS::anonymous_namespace{numerical_integration.cpp}::evaluate_interval(), LMCAS::detail::evaluate_root_complex(), LMCAS::anonymous_namespace{newton_raphson.cpp}::evaluate_root_function(), LMCAS::detail::exact_double_rational(), LMCAS::anonymous_namespace{value.cpp}::exact_number_as_floating(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::exact_operands(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::exact_poly_divide(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::exact_polynomial_nodes(), LMCAS::anonymous_namespace{quantity.cpp}::exact_rational(), LMCAS::expr_set_contains(), LMCAS::expr_set_not_contains(), LMCAS::expr_set_subset(), LMCAS::expr_set_subset_domain(), LMCAS::anonymous_namespace{matrix_decomposition_lu.cpp}::factor_lu(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::finish_combinatorial(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::finite_numeric_coeff(), LMCAS::fourier_harmonics(), LMCAS::detail::NumericEvaluator::function(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::anonymous_namespace{residual_verification.cpp}::has_zero_root_remainder(), LMCAS::hl_validate_lift_inputs(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::inconsistent_symbolic_system(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::integer_complex_power(), LMCAS::integrate_multiple_checked(), LMCAS::interval_contains_checked(), LMCAS::interval_covers_checked_impl(), LMCAS::interval_is_empty_checked(), LMCAS::intervals_overlap_checked_impl(), LMCAS::detail::inverse_exact(), LMCAS::detail::isolate_exact_root(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::isolate_grid_row(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::left_pole_sample(), LMCAS::detail::make_exact_root_id(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::make_sturm_sequence(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::multiply_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::multiply_intervals(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::node_to_multivariate_polynomial(), LMCAS::detail::numeric_approximation(), LMCAS::geometry_detail::numeric_vector_scale_checked(), LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}::order_isolations(), LMCAS::detail::definite::original_conditions_checked(), LMCAS::anonymous_namespace{root_of_identity.cpp}::parse_rootof_request(), LMCAS::anonymous_namespace{symbolic_geometry_line.cpp}::point_difference_scale_checked(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::pole_index(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::pole_interval_is_clear(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::polynomial_exponent(), LMCAS::equivalence_detail::anonymous_namespace{equivalence_exp_log.cpp}::positive_log_argument(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::power_to_polynomial(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::prepare_projection_grid(), LMCAS::detail::definite::prepare_segment_primitive(), LMCAS::detail::NumericEvaluator::product(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::product_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::propagate(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::propose_dyadic_bracket(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::prove(), LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_checked_operands(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_coefficients(), LMCAS::anonymous_namespace{matrix_decomposition_qr.cpp}::prove_exact_full_column_rank_qr_support(), LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp}::prove_exact_spd(), LMCAS::anonymous_namespace{equivalence_engine.cpp}::prove_operands(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_zero(), LMCAS::quadrature_gaussian_numeric(), LMCAS::quadrature_simpson_numeric(), LMCAS::detail::rank_exact(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_bounds(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::rational_determinant(), LMCAS::detail::rational_determinant_value_impl(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_endpoint_bound(), LMCAS::detail::anonymous_namespace{exact_matrix_solve.cpp}::rational_linear_solve(), LMCAS::detail::definite::rational_pole_divergence(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::real_to_complex(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_node(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_number(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_power(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_product(), LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}::recognize_sum(), LMCAS::detail::definite::recover_rational_cut(), LMCAS::detail::anonymous_namespace{exact_matrix.cpp}::reduce_above(), LMCAS::detail::refine_complex_isolation(), LMCAS::detail::refine_exact_real_algebraic(), LMCAS::detail::refine_exact_real_algebraic_to_tolerance(), LMCAS::detail::complex_root::refine_interval(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::refine_pole_interval(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::refine_projection_interval(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::resultant_determinant(), LMCAS::detail::rref_exact(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::scale_plane_edges_for_cross(), LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}::search_dyadic_scale(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::separate_imaginary_axis(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::separate_projection_intervals(), LMCAS::set_eqv_budget(), LMCAS::set_eqv_profile(), LMCAS::solve_euler_ode_impl(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::solve_exact_affine_inequality_impl(), LMCAS::solve_higher_order_ode_impl(), LMCAS::detail::solve_linear_exact(), LMCAS::anonymous_namespace{interval_normalization.cpp}::sort_checked_intervals(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::sort_exact_inequality_roots(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::subdivide_isolation(), LMCAS::detail::NumericEvaluator::sum(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::sum_bounds(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::sum_to_polynomial(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}::sylvester_resultant(), LMCAS::detail::anonymous_namespace{exact_matrix_determinant.cpp}::symbolic_determinant_value(), LMCAS::symbolic_polynomial_content(), LMCAS::anonymous_namespace{symbolic_geometry_vector.cpp}::symbolic_vector_finite_numeric(), LMCAS::te_validate_convolution_inputs(), LMCAS::transform_detail::te_validate_expr_vars(), LMCAS::anonymous_namespace{solver_groebner_system.cpp}::validate_basis_input(), LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_input(), LMCAS::anonymous_namespace{complex_analysis.cpp}::validate_complex_expr_point_input(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::validate_complex_symbolic(), LMCAS::detail::matrix_decomposition::validate_decomposition_output(), LMCAS::equivalence_detail::validate_eqv_options(), LMCAS::anonymous_namespace{symbolic_complex.cpp}::validate_expr(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_expr_vector(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_form_coordinates(), LMCAS::validate_frobenius_regular_singular_domain(), LMCAS::anonymous_namespace{symbolic_geometry.cpp}::validate_geometry_inputs(), LMCAS::anonymous_namespace{differential_geometry.cpp}::validate_index(), LMCAS::validate_laurent_orders(), LMCAS::validate_laurent_result(), LMCAS::anonymous_namespace{limit_result.cpp}::validate_limit_input(), LMCAS::detail::matrix_kernel::validate_matrix(), LMCAS::validate_numeric_ode_coefficients(), LMCAS::validate_ode_expr_var_pair(), LMCAS::validate_ode_pair_var_pair(), LMCAS::validate_ode_three_expr_one_var(), LMCAS::validate_ode_two_expr_point(), LMCAS::validate_ode_variables(), LMCAS::detail::series_support::validate_power_series_coefficients(), LMCAS::anonymous_namespace{series_engine.cpp}::validate_power_series_order(), LMCAS::anonymous_namespace{numerical_integration.cpp}::validate_quadrature_args(), LMCAS::validate_series_expr_point(), LMCAS::detail::series_support::validate_series_variable(), LMCAS::geometry_detail::validate_symbolic_vector(), LMCAS::detail::NumericEvaluator::variable(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds(), LMCAS::detail::anonymous_namespace{exact_sturm.cpp}::variations_at(), LMCAS::vector_calculus_cross_product_partials_strict(), LMCAS::vector_calculus_curl_strict(), LMCAS::vector_calculus_detail::vector_calculus_validate_bound_pair(), LMCAS::vector_calculus_detail::vector_calculus_validate_curve_parametrization(), LMCAS::vector_calculus_detail::vector_calculus_validate_distinct_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_expr_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_field_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_functions_vars(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_bounds(), LMCAS::vector_calculus_detail::vector_calculus_validate_surface_parametrization(), LMCAS::verified_quadratic_boundaries(), LMCAS::anonymous_namespace{symbolic_gcd.cpp}::verify_gcd_candidate(), LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::verify_jordan_identity(), LMCAS::multivariate_checked_detail::verify_linear_assignment(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::verify_quadratic_boundary(), LMCAS::with_assumptions(), LMCAS::zc_find_factor(), LMCAS::zc_try_candidate() , 以及 LMCAS::zc_validate_lifted_product().
|
inline |
在文件 result.hpp 第 67 行定义.
被这些函数引用 LMCAS::InferenceEngine::Impl::absolute_domain(), LMCAS::InferenceEngine::Impl::accumulate_sum_relation_sign(), LMCAS::adaptive_simpson_numeric(), LMCAS::add_number_nodes(), LMCAS::add_numbers(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::affine_period(), LMCAS::anonymous_namespace{newton_raphson.cpp}::append_verified_root(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_bounds(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::arctangent_endpoint(), LMCAS::asymptote_candidates(), LMCAS::detail::definite::boundary_value_checked(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::cauchy_index_on_edge(), LMCAS::detail::definite::certify_continuity_checked(), LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}::check_interval_forest(), LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::checked(), LMCAS::anonymous_namespace{interval_set_operations.cpp}::checked_interval_views(), LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}::checked_piecewise(), LMCAS::christoffel_first_kind_checked(), LMCAS::christoffel_second_kind_checked(), LMCAS::classify_inflection_candidates(), LMCAS::anonymous_namespace{interval_normalization.cpp}::collect_nonempty_intervals(), LMCAS::detail::definite::collect_predicate_roots(), LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}::common_root_in_enclosures(), LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}::comparable_root(), LMCAS::anonymous_namespace{interval_set_operations.cpp}::complement_lower_from_upper(), LMCAS::anonymous_namespace{interval_set_operations.cpp}::complement_upper_from_lower(), LMCAS::detail::complex_root::coordinate_projections(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::coordinate_update_needs_protection(), LMCAS::vector_calculus_detail::curve_integral_vector_strict(), LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}::PeriodInference::declared_period(), LMCAS::deduplicate_roots(), LMCAS::detail::definite::defined_on_interval(), LMCAS::detail::definite::definite_partition_checked(), LMCAS::dihedral_angle_checked(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_complex(), LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_operands(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}::edge_is_clear(), LMCAS::anonymous_namespace{integration_definite.cpp}::equal_endpoint_integral(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::evaluate_complex_components(), LMCAS::detail::evaluate_root_complex(), LMCAS::detail::evaluate_root_real(), LMCAS::InferenceEngine::Impl::exponential_domain(), LMCAS::InferenceEngine::Impl::exponential_sign(), LMCAS::expr_detail::expr_common::expr_from_complex_result(), LMCAS::exterior_derivative_checked(), LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}::extract_axis_coefficients(), LMCAS::anonymous_namespace{multivariate_factor_checked.cpp}::factor_binomial_power(), LMCAS::anonymous_namespace{multivariate_factor_checked.cpp}::factor_common_monomial(), LMCAS::anonymous_namespace{multivariate_factor_checked.cpp}::factor_difference_of_squares(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::finite_plane_offset(), LMCAS::finite_values_to_set(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::function_bounds(), LMCAS::vector_calculus_detail::greens_theorem_area_strict(), LMCAS::detail::inequality_support::include_numeric_root(), LMCAS::detail::inequality_support::include_symbolic_root(), LMCAS::inflection_points_checked(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::integer_complex_power(), LMCAS::InferenceEngine::Impl::integer_power_sign(), LMCAS::anonymous_namespace{integration_definite.cpp}::integrate_interval_checked(), LMCAS::interval_contains_checked(), LMCAS::interval_is_empty_checked(), LMCAS::interval_to_expr(), LMCAS::inverse_function_checked(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_exponential(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::invert_logarithm(), LMCAS::detail::isolate_exact_root(), LMCAS::detail::isolate_exact_roots(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::logical_predicate_truth(), LMCAS::matrix_eigenvalues_checked(), LMCAS::mixed_product_impl(), LMCAS::multiply_number_nodes(), LMCAS::multiply_numbers(), LMCAS::normalization_proved(), LMCAS::expr_detail::ExprParser::parse_interval_literal(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::point_dot_needs_protection(), LMCAS::detail::definite::polynomial_sign_checked(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::power_bounds(), LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}::prepare_projection_grid(), LMCAS::detail::definite::prepare_segment_primitive(), LMCAS::InferenceEngine::Impl::product_relation_sign(), LMCAS::InferenceEngine::Impl::product_sign(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_coefficients(), LMCAS::anonymous_namespace{residual_verification.cpp}::prove_with_profiles(), LMCAS::quadrature_gaussian_numeric(), LMCAS::quadrature_simpson_numeric(), LMCAS::InferenceEngine::Impl::query_rational(), LMCAS::InferenceEngine::Impl::quotient_sign(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::rational_bounds(), LMCAS::detail::definite::rational_divergence_checked(), LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}::real_to_complex(), LMCAS::anonymous_namespace{integration_definite.cpp}::reduced_integrand_checked(), LMCAS::anonymous_namespace{bigint_combinatorics.cpp}::require_combinatorial(), LMCAS::anonymous_namespace{limit_result.cpp}::SideBranchRewriter::rewrite_absolute(), LMCAS::riemann_curvature_tensor_checked(), LMCAS::detail::anonymous_namespace{facts_query.cpp}::DomainTraversal::root_facts(), LMCAS::detail::definite::segment_expression_checked(), LMCAS::NormalizationVisitor::simplify_assumed_square_root(), LMCAS::singular_frobenius_solution(), LMCAS::solve_complex_quadratic_checked(), LMCAS::solve_euler_ode_impl(), LMCAS::solve_higher_order_ode_impl(), LMCAS::solve_linear2_homogeneous(), LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::solve_real_quadratic(), LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::SegmentExpression::specialize_absolute(), LMCAS::anonymous_namespace{residual_verification.cpp}::FormalResidual::square_relation(), LMCAS::vector_calculus_detail::stokes_theorem_strict(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::sum_bounds(), LMCAS::vector_calculus_detail::surface_integral_vector_strict(), LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}::symbolic_quadratic_sign(), LMCAS::te_accept_decay(), LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}::trigonometric_target_range(), LMCAS::anonymous_namespace{inference_engine_bounds.cpp}::BoundsPropagation::variable_bounds(), LMCAS::vector_calculus_surface_dot_strict() , 以及 LMCAS::detail::definite::anonymous_namespace{integration_definite_segments.cpp}::RealPrimitiveCandidate::visit().
|
inline |
在文件 result.hpp 第 72 行定义.
|
private |
在文件 result.hpp 第 90 行定义.