这里是所有命名空间函数, 及指向每个函数所属命名空间文档的链接:

- c -

• calculate_residue_checked() : LMCAS
• calculate_residue_impl() : LMCAS
• calculus_utils_contains_complex() : LMCAS
• calculus_utils_contains_nonreal_sqrt() : LMCAS
• calculus_utils_expr_equal() : LMCAS::calculus_utils_detail
• calculus_utils_extract_denominator() : LMCAS
• calculus_utils_extract_real_candidate() : LMCAS
• calculus_utils_is_infinity() : LMCAS::calculus_utils_detail
• calculus_utils_is_minus_one() : LMCAS
• calculus_utils_is_negative_number() : LMCAS
• calculus_utils_make_abs() : LMCAS::calculus_utils_detail
• calculus_utils_oblique_from_rational() : LMCAS
• calculus_utils_product() : LMCAS
• calculus_utils_split_rational() : LMCAS
• calculus_utils_try_symbolic_definite() : LMCAS
• 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::calculus_utils_detail
• cancel_polynomial_gcd() : LMCAS::anonymous_namespace{symbolic_cancel.cpp}
• cancel_variable() : LMCAS::anonymous_namespace{symbolic_cancel.cpp}
• canonicalize_complex_product() : LMCAS::equivalence_detail
• canonicalize_power() : LMCAS::equivalence_detail::anonymous_namespace{equivalence_complex.cpp}
• canonicalize_product() : LMCAS::equivalence_detail::anonymous_namespace{equivalence_complex.cpp}
• canonicalize_sum() : LMCAS::equivalence_detail::anonymous_namespace{equivalence_complex.cpp}
• capture_free_integer_parameter() : LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}
• cartesian_add() : LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}
• cartesian_multiply() : LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}
• cauchy_index_on_edge() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}
• cauchy_integral_checked() : LMCAS
• cauchy_integral_impl() : LMCAS
• cbrt_expr() : LMCAS
• ceil() : LMCAS
• center_quadric() : LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• certified_jordan() : LMCAS::anonymous_namespace{matrix_decomposition_eigen.cpp}
• certify_conjugate_projections() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_rectangles.cpp}
• certify_continuity_checked() : LMCAS::detail::definite
• certify_dyadic_candidate() : LMCAS::detail::anonymous_namespace{exact_algebraic_refinement.cpp}
• certify_partition() : LMCAS::anonymous_namespace{integration_definite.cpp}
• chain_criterion() : LMCAS::groebner_detail
• characteristic_root_scale() : LMCAS::ode_root_detail::anonymous_namespace{ode_characteristic_roots.cpp}
• check() : LMCAS::serialization_detail
• check_arguments() : LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}
• check_equivalent() : LMCAS
• check_interval_forest() : LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}
• check_negative_arg() : LMCAS
• check_plane_normal_nonzero() : LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}
• check_power_coefficient_count() : LMCAS::anonymous_namespace{poly_utils.cpp}
• check_residual_coefficient() : LMCAS::anonymous_namespace{residual_verification.cpp}
• check_term_budget() : LMCAS::anonymous_namespace{symbolic_gcd.cpp}
• check_zero_power_base() : LMCAS::anonymous_namespace{poly_utils.cpp}
• check_zero_residual() : LMCAS
• checked_binary() : LMCAS::anonymous_namespace{quantity.cpp}
• checked_bounds() : LMCAS::detail::anonymous_namespace{exact_constant_bounds.cpp}
• checked_coefficient_count() : LMCAS::anonymous_namespace{poly_utils.cpp}
• checked_complex() : LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}
• checked_construct() : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• checked_derivative() : LMCAS
• checked_dimension() : LMCAS::anonymous_namespace{fglm.cpp}
• checked_expression_result() : LMCAS::query_detail
• checked_finite_value() : LMCAS::anonymous_namespace{numerical_integration.cpp}
• checked_geometry_expression() : LMCAS::anonymous_namespace{differential_geometry.cpp}
• checked_inference_result() : LMCAS
• checked_interval_views() : LMCAS::anonymous_namespace{interval_set_operations.cpp}
• checked_nonzero_numeric_or_exact() : LMCAS::geometry_detail
• checked_nonzero_numeric_vector() : LMCAS::geometry_detail
• checked_piecewise() : LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}
• checked_positive_product() : LMCAS::modular_detail
• checked_product_count() : LMCAS::anonymous_namespace{poly_utils.cpp}
• checked_property_update() : LMCAS::property_detail
• checked_transform_expr() : LMCAS::detail
• cholesky_decomposition_checked() : LMCAS
• cholesky_decomposition_impl() : LMCAS::anonymous_namespace{matrix_decomposition_cholesky.cpp}
• choose_main_variable() : LMCAS
• choose_pivot() : LMCAS::detail::matrix_kernel
• christoffel_first_kind_checked() : LMCAS
• christoffel_first_kind_impl() : LMCAS
• christoffel_second_kind_checked() : LMCAS
• christoffel_second_kind_impl() : LMCAS
• clamp() : LMCAS
• classify_centered_locus() : LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• classify_characteristic_roots() : LMCAS::ode_root_detail::anonymous_namespace{ode_characteristic_roots.cpp}
• classify_constant_equation() : LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}
• classify_continuity_point_value() : LMCAS::anonymous_namespace{calculus_continuity.cpp}
• classify_definite_locus() : LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• classify_exact_zero() : LMCAS::detail
• classify_first_order_ode() : LMCAS
• classify_fraction_factor() : LMCAS::anonymous_namespace{symbolic_cancel.cpp}
• classify_hessian_eigenvalues() : LMCAS
• classify_hessian_pair() : LMCAS
• classify_higher_order_ode() : LMCAS
• classify_infinite_function() : LMCAS::anonymous_namespace{limit_result.cpp}
• classify_infinite_power() : LMCAS::anonymous_namespace{limit_result.cpp}
• classify_infinite_product() : LMCAS::anonymous_namespace{limit_result.cpp}
• classify_infinite_sum() : LMCAS::anonymous_namespace{limit_result.cpp}
• classify_inflection_candidates() : LMCAS
• classify_limit_result() : LMCAS::anonymous_namespace{limit_result.cpp}
• classify_linear_wrapper() : LMCAS::anonymous_namespace{integration_substitution.cpp}
• classify_numeric_power() : LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}
• classify_numeric_sqrt() : LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}
• classify_numeric_value() : LMCAS::detail::anonymous_namespace{exact_matrix_support.cpp}
• classify_quadratic_form() : LMCAS
• classify_quadric_checked() : LMCAS
• classify_quadric_impl() : LMCAS::detail
• classify_rank_two_locus() : LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• classify_ratio_limit() : LMCAS
• classify_residual() : LMCAS::anonymous_namespace{residual_verification.cpp}
• classify_singular_point_checked() : LMCAS
• classify_translated_quadric() : LMCAS::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• clean_number() : LMCAS
• clear_denominators() : LMCAS::anonymous_namespace{solver_groebner_system.cpp}, LMCAS::detail::complex_root
• clear_isolation_endpoints() : LMCAS::detail::anonymous_namespace{exact_sturm.cpp}
• close_symbolic_endpoint() : LMCAS::detail::inequality_support
• closed_bounds() : LMCAS::anonymous_namespace{inference_engine_bounds.cpp}
• closed_rational_power() : LMCAS::detail::anonymous_namespace{facts_query_rational.cpp}
• closed_rational_value() : LMCAS::detail
• coalesce_periodic_families() : LMCAS::anonymous_namespace{solve_transcendental.cpp}
• coalesce_periodic_pair() : LMCAS::anonymous_namespace{solve_transcendental.cpp}
• coefficient_arithmetic() : LMCAS::anonymous_namespace{poly_utils.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::detail::anonymous_namespace{symbolic_quadric_classification.cpp}
• coefficient_power_radius() : LMCAS
• coefficients_in_x() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}
• coefficients_in_y() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}
• collect_bernoulli_coefficients() : LMCAS
• collect_denominator_factors() : LMCAS::solver_detail
• collect_exact_solutions() : LMCAS
• collect_fraction_terms() : LMCAS::anonymous_namespace{symbolic_cancel.cpp}
• collect_function_profile() : LMCAS::anonymous_namespace{residual_verification.cpp}
• collect_gcd_samples() : LMCAS
• collect_infinite_asymptotes() : LMCAS
• collect_linear_samples() : LMCAS::multivariate_checked_detail
• collect_log_power_factors() : LMCAS::anonymous_namespace{limit_visitor_composition.cpp}
• collect_nonempty_intervals() : LMCAS::anonymous_namespace{interval_normalization.cpp}
• collect_oblique_asymptote() : LMCAS
• collect_operand_denominators() : LMCAS
• collect_polynomial_operands() : LMCAS::anonymous_namespace{symbolic_gcd.cpp}
• collect_polynomial_variable_names() : LMCAS::equivalence_detail::anonymous_namespace{equivalence_proof.cpp}
• collect_polynomial_variables() : LMCAS::anonymous_namespace{symbolic_gcd.cpp}
• collect_power_denominators() : LMCAS
• collect_predicate_roots() : LMCAS::detail::definite
• collect_residual_profile_children() : LMCAS::anonymous_namespace{residual_verification.cpp}
• collect_residual_profiles() : LMCAS::anonymous_namespace{residual_verification.cpp}
• collect_scalar_radical() : LMCAS
• collect_transcendental_subexprs() : LMCAS::anonymous_namespace{transcendental_solver_substitution.cpp}
• collect_vertical_asymptotes() : LMCAS
• collectable_power_exponent() : LMCAS::anonymous_namespace{normalization_products.cpp}
• combine_fraction_terms() : LMCAS::anonymous_namespace{symbolic_cancel.cpp}
• combine_integration_exponentials() : LMCAS::anonymous_namespace{integration_linearity.cpp}
• combine_one_sided_limits() : LMCAS::anonymous_namespace{limit_result.cpp}
• combine_operands() : LMCAS
• combine_ops() : LMCAS::anonymous_namespace{relation_store.cpp}
• combine_surd_product() : LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}
• combine_surd_sum() : LMCAS::detail::anonymous_namespace{interval_endpoint.cpp}
• common_root_in_enclosures() : LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}
• comparable_endpoint() : LMCAS, LMCAS::detail
• comparable_finite_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::anonymous_namespace{interval_endpoint.cpp}
• compare_algebraic_to_rational() : LMCAS::detail::anonymous_namespace{interval_endpoint_order.cpp}
• compare_boundaries() : LMCAS::detail::definite
• compare_comparable() : LMCAS, LMCAS::detail
• compare_defined_values() : LMCAS::anonymous_namespace{residual_comparison.cpp}
• compare_exact_nodes() : LMCAS::anonymous_namespace{symbolic_number_order.cpp}
• compare_exact_real_algebraic() : LMCAS::detail
• compare_exact_to_rational() : LMCAS::anonymous_namespace{symbolic_number_order.cpp}
• compare_isolations() : LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}
• compare_matrix_elements() : LMCAS::anonymous_namespace{symbolic_node_order.cpp}
• compare_pointwise_values() : LMCAS::detail
• compare_rationals() : LMCAS::detail::anonymous_namespace{interval_endpoint_order.cpp}
• compare_values() : LMCAS::anonymous_namespace{symbolic_number_order.cpp}
• comparison_value() : LMCAS::expr_detail::expr_common
• compatible_leading_sign() : LMCAS::anonymous_namespace{limit_visitor_asymptotic.cpp}
• compatible_periodic_conditions() : LMCAS::anonymous_namespace{solve_transcendental.cpp}
• complement_lower_from_upper() : LMCAS::anonymous_namespace{interval_set_operations.cpp}
• complement_upper_from_lower() : LMCAS::anonymous_namespace{interval_set_operations.cpp}
• complementary_square() : LMCAS, LMCAS::equivalence_detail::anonymous_namespace{equivalence_trig.cpp}
• complex() : LMCAS
• complex_abs_checked() : LMCAS
• complex_add_checked() : LMCAS
• complex_arg_checked() : LMCAS
• complex_bivariate_parts() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}
• complex_conj_checked() : LMCAS
• complex_div_checked() : LMCAS
• complex_exp_form_checked() : LMCAS
• complex_failure() : LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}
• complex_locus_circle_checked() : LMCAS
• complex_locus_perpendicular_bisector_checked() : LMCAS
• complex_mul_checked() : LMCAS
• complex_norm_operand() : LMCAS::anonymous_namespace{normalization_norms.cpp}
• complex_polynomial_nonzero() : LMCAS::anonymous_namespace{limit_result.cpp}
• complex_punctured_condition() : LMCAS::anonymous_namespace{limit_result.cpp}
• complex_punctured_domain() : LMCAS::anonymous_namespace{limit_result.cpp}
• complex_sub_checked() : LMCAS
• complex_trig_form_checked() : LMCAS
• complexes() : LMCAS
• composition_inner_powers() : LMCAS
• compute_spoly_sugar() : LMCAS::groebner_detail
• conditional_equation() : LMCAS
• conditional_linear_polynomial() : LMCAS
• conditional_preimage() : LMCAS::detail::transcendental
• conj() : LMCAS
• conjugate_checked() : LMCAS
• conjugate_root_index() : LMCAS::ode_root_detail::anonymous_namespace{ode_characteristic_roots.cpp}
• conjunction() : LMCAS::detail::anonymous_namespace{facts_query.cpp}
• conjunctive_near_point_truth() : LMCAS::anonymous_namespace{limit_visitor_direction.cpp}
• constant_expression() : LMCAS::detail
• constant_poly() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_projection.cpp}
• constant_satisfies() : LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}
• constant_solution() : LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}
• constant_sum() : LMCAS::detail::transcendental::anonymous_namespace{transcendental_patterns.cpp}
• constant_to_poly() : LMCAS::anonymous_namespace{poly_utils.cpp}
• constant_trigonometric_preimage() : LMCAS::detail::transcendental::anonymous_namespace{transcendental_inversion.cpp}
• construct_expression() : LMCAS::expr_detail::anonymous_namespace{expr_parser_construction.cpp}
• construct_roots() : LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}
• consume() : LMCAS::anonymous_namespace{symbolic_set.cpp}
• consume_decimal_digits() : LMCAS::detail
• consume_decimal_exponent() : LMCAS::detail
• consume_decimal_mantissa() : LMCAS::detail
• consume_decimal_sign() : LMCAS::detail
• consume_delimiter() : LMCAS::assumption_detail::anonymous_namespace{assumption_parse_relations.cpp}
• consume_digits() : LMCAS
• consume_mixed_step() : LMCAS::detail
• consume_sign() : LMCAS
• contains() : LMCAS
• contains_explicit_complex() : LMCAS::anonymous_namespace{complex_analysis.cpp}
• contains_imaginary() : LMCAS::solver_detail
• contains_inverse_candidate() : LMCAS
• contains_node_type() : LMCAS::detail
• contains_transcendental_of_var() : LMCAS
• contains_unevaluated_integral() : LMCAS
• continuity_at_checked() : LMCAS
• continuity_from_limits() : LMCAS::anonymous_namespace{calculus_continuity.cpp}
• continuity_point_value() : LMCAS::anonymous_namespace{calculus_continuity.cpp}
• continuity_with_limit() : LMCAS::anonymous_namespace{calculus_continuity.cpp}
• continuous_children() : LMCAS::detail::definite
• continuous_function_branch() : LMCAS::anonymous_namespace{limit_result.cpp}
• continuous_function_family() : LMCAS::detail::definite
• convergence_radius_checked() : LMCAS
• convergence_test_checked() : LMCAS
• convergence_test_impl() : LMCAS
• conversion_ulp() : LMCAS::detail::anonymous_namespace{exact_root.cpp}
• convert_basis_polynomial() : LMCAS::anonymous_namespace{solver_groebner_system.cpp}
• convert_polynomials() : LMCAS::anonymous_namespace{solver_groebner.cpp}
• convert_to_rational_poly() : LMCAS::polynomial_solver_detail
• convert_to_unit() : LMCAS
• convert_to_unit_definition() : LMCAS
• convert_unit() : LMCAS
• convolve_checked() : LMCAS
• coordinate_projections() : LMCAS::detail::complex_root
• coordinate_update_needs_protection() : LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}
• coordinates() : LMCAS::anonymous_namespace{fglm.cpp}
• coprime_leading_monomials() : LMCAS::groebner_detail
• cos() : LMCAS
• count_open_roots() : LMCAS::detail::anonymous_namespace{exact_sturm.cpp}
• count_real_roots_exact() : LMCAS::detail
• count_rectangle_roots() : LMCAS::detail::complex_root
• count_sheared_edges() : LMCAS::detail::complex_root::anonymous_namespace{complex_root_winding.cpp}
• cross_product() : LMCAS
• cross_product_impl() : LMCAS
• crt() : LMCAS
• crt_checked() : LMCAS
• curl() : LMCAS
• curl_checked() : LMCAS
• curl_impl() : LMCAS::vector_calculus_detail
• curvature_checked() : LMCAS
• curvature_parametric_checked() : LMCAS
• curve_integral_scalar() : LMCAS
• curve_integral_scalar_checked() : LMCAS
• curve_integral_scalar_strict() : LMCAS::vector_calculus_detail
• curve_integral_vector() : LMCAS
• curve_integral_vector_checked() : LMCAS
• curve_integral_vector_strict() : LMCAS::vector_calculus_detail