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

- a -

• a : LMCAS
• absolute_tolerance : LMCAS::detail
• all_signs : LMCAS::anonymous_namespace{inference_engine_product.cpp}

- b -

• b : LMCAS
• basis : LMCAS
• binding : LMCAS
• bindings : LMCAS
• BK_NUM_SMALL_PRIMES : LMCAS::berlekamp_detail
• BK_SMALL_PRIMES : LMCAS::berlekamp_detail
• bounds_operation : LMCAS::anonymous_namespace{inference_engine_bounds.cpp}
• bridge_operation : LMCAS::anonymous_namespace{univariate_factor_bridge.cpp}
• budget : LMCAS::detail

- c -

• c : LMCAS
• context : LMCAS, LMCAS::detail

- d -

• definition : LMCAS
• denominator : LMCAS
• depth : LMCAS
• dim : LMCAS
• direction : LMCAS
• display_unit : LMCAS
• domain : LMCAS::detail, LMCAS
• domain_order : LMCAS::anonymous_namespace{property_store.cpp}

- e -

• element : LMCAS
• exponent : LMCAS

- f -

• facts : LMCAS::detail

- g -

• growth : LMCAS

- i -

• imag : LMCAS
• initial_divisions : LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}
• integer : LMCAS
• integrator : LMCAS

- k -

• kAbsOperation : LMCAS::expr_detail::expr_common
• kApproxOperation : LMCAS::expr_detail::expr_common
• kBisectionOperation : LMCAS::anonymous_namespace{newton_raphson.cpp}
• kCheckedInequalityOperation : LMCAS::anonymous_namespace{inequality_solver.cpp}, LMCAS::anonymous_namespace{inequality_solver_polynomial.cpp}
• kCheckedIntervalOperation : LMCAS::anonymous_namespace{interval_normalization.cpp}
• kComplexAbsOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexAddOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexArgOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexConjOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexDivOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexLocusBisectorOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexLocusCircleOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexMulOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexNthRootOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexOperation : LMCAS::expr_detail::expr_common
• kComplexPolarOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexQuadraticOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kComplexSubOperation : LMCAS::anonymous_namespace{symbolic_complex.cpp}
• kConjOperation : LMCAS::expr_detail::expr_common
• kDecode : LMCAS::serialization_detail
• kDepthMessage : LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}
• kDifferentiateOperation : LMCAS::expr_detail::expr_common
• kDirections : LMCAS::serialization_detail
• kEncode : LMCAS::serialization_detail
• kEquivalentOperation : LMCAS
• kEquivalentProfileOperation : LMCAS
• kEvalComplexOperation : LMCAS
• kEvalfOperation : LMCAS::anonymous_namespace{expr_complex_evaluation.cpp}
• kExpandOperation : LMCAS::expr_detail::expr_common
• kExprMatchOperation : LMCAS::expr_detail::expr_common
• kExprOperation : LMCAS::expr_detail::expr_common
• kExprSetOperation : LMCAS
• kFunctions : LMCAS::serialization_detail
• kGrowthMessage : LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}
• kHeader : LMCAS::serialization_detail
• kImagOperation : LMCAS::expr_detail::expr_common
• kIntegerOperation : LMCAS::expr_detail::expr_common
• kLogic : LMCAS::serialization_detail
• kMathOperation : LMCAS::expr_detail::expr_common
• kNewtonOperation : LMCAS::anonymous_namespace{newton_raphson.cpp}
• kNumberDomainOperation : LMCAS::anonymous_namespace{expr_number_domains.cpp}
• kOperation : LMCAS::anonymous_namespace{numeric_evaluation.cpp}, LMCAS::anonymous_namespace{quantity.cpp}, LMCAS::anonymous_namespace{rational_polynomial_recognition.cpp}, LMCAS::anonymous_namespace{symbolic_gcd.cpp}, LMCAS::anonymous_namespace{symbolic_set.cpp}, LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}, LMCAS::detail::anonymous_namespace{exact_algebraic.cpp}
• kParametricOperation : LMCAS::anonymous_namespace{inequality_solver_parametric.cpp}
• kParseOperation : LMCAS::expr_detail, LMCAS
• kQuantifiers : LMCAS::serialization_detail
• kRationalOperation : LMCAS::expr_detail::expr_common
• kRealOperation : LMCAS::expr_detail::expr_common
• kRelations : LMCAS::serialization_detail
• kSolveExprSetOperation : LMCAS
• kSolveLinear2OdeOperation : LMCAS::anonymous_namespace{symbolic_ode.cpp}
• kStepMessage : LMCAS::detail::anonymous_namespace{rewrite_budget.cpp}
• kSubstituteOperation : LMCAS::expr_detail::expr_common
• kSymOperation : LMCAS::expr_detail::expr_common
• kTransforms : LMCAS::serialization_detail
• kUnitOperation : LMCAS::anonymous_namespace{unit.cpp}

- l -

• l2 : LMCAS
• lift_bound : LMCAS
• lifted_factors : LMCAS
• lower : LMCAS
• lower_closed : LMCAS

- m -

• main_var : LMCAS::detail, LMCAS
• maximum_transcendental_depth : LMCAS::anonymous_namespace{solve_transcendental.cpp}
• minimum_width : LMCAS::detail::anonymous_namespace{mixed_transcendental_isolation.cpp}
• mixed_operation : LMCAS::anonymous_namespace{solve_mixed_transcendental.cpp}
• mod_factors : LMCAS
• MODULAR_PRIMES : LMCAS
• multiplicity : LMCAS::detail

- n -

• name : LMCAS
• negated : LMCAS
• negative_sign : LMCAS::anonymous_namespace{inference_engine_product.cpp}
• NUM_MODULAR_PRIMES : LMCAS

- o -

• op : LMCAS
• operation : LMCAS::detail::definite, LMCAS::detail
• options : LMCAS
• order : LMCAS

- p -

• p2 : LMCAS
• parametrization : LMCAS
• periodic_operation : LMCAS::anonymous_namespace{inference_engine_periodicity.cpp}
• plane : LMCAS
• point : LMCAS
• positive_sign : LMCAS::anonymous_namespace{inference_engine_product.cpp}
• prime : LMCAS

- r -

• r : LMCAS
• reconstruction_modulus : LMCAS
• relative_tolerance : LMCAS::detail
• replacement : LMCAS::detail
• rhs : LMCAS::detail, LMCAS
• right : LMCAS
• root_index : LMCAS::detail
• root_isolation_cache : LMCAS::detail::anonymous_namespace{complex_root_isolation.cpp}
• root_verification_tolerance : LMCAS::ode_root_detail::anonymous_namespace{ode_characteristic_roots.cpp}

- s -

• set : LMCAS
• steps : LMCAS
• sy : LMCAS

- t -

• t : LMCAS
• target : LMCAS

- u -

• u : LMCAS
• u_bounds : LMCAS
• u_lower : LMCAS
• u_upper : LMCAS
• unit : LMCAS
• upper : LMCAS
• upper_closed : LMCAS

- v -

• v : LMCAS
• v_bounds : LMCAS
• v_lower : LMCAS
• v_upper : LMCAS
• value : LMCAS
• variable : LMCAS::detail, LMCAS
• vars : LMCAS

- w -

• wildcards : LMCAS

- x -

• x_bounds : LMCAS

- y -

• y_bounds : LMCAS

- z -

• z_bounds : LMCAS
• z_var : LMCAS
• zero_sign : LMCAS::anonymous_namespace{inference_engine_product.cpp}