complex_quadratic.cpp 文件参考

#include "internal/complex_quadratic.hpp"
#include "assumption_context.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/rewrite_budget.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/visitors/normalization_visitor.hpp"
#include "residual_verification.hpp"
#include <new>
#include <optional>
#include <utility>

complex_quadratic.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
struct	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes

命名空间
namespace	LMCAS
namespace	LMCAS::detail
	多元 Hensel 提升（单变量步）
namespace	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}

类型定义
using	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::Coefficients = std::array<std::shared_ptr<SymbolicExpr>, 3>
using	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::Node = std::shared_ptr<const SymbolicNode>

函数
Node	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::add (const Node &left, const Node &right)
CartesianNodes	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::cartesian_add (const CartesianNodes &left, const CartesianNodes &right)
CartesianNodes	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::cartesian_multiply (const CartesianNodes &left, const CartesianNodes &right)
Result< CartesianQuadraticRoots >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::construct_roots (const Coefficients &coefficients, const Node &delta, bool negative, ComputationContext &context)
Node	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::divide (const Node &numerator, const Node &denominator)
Node	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::integer (int value)
Node	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::multiply (const Node &left, const Node &right)
Node	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::negate (const Node &value)
Result< bool >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::negative_discriminant (const SymbolicExpr &delta, const AssumptionContext &facts, ComputationContext &context)
ExpressionResult	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::normalize (const Node &value, ComputationContext &context)
Result< Coefficients >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::normalize_coefficients (const Coefficients &input, ComputationContext &context)
Result< QuadraticCartesianRoot >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::normalized_root (const Node &real, const Node &imag, ComputationContext &context)
Result< void >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_coefficients (const Coefficients &coefficients, const AssumptionContext &facts, ComputationContext &context)
Result< void >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::prove_zero (const Node &residual, ComputationContext &context)
Result< CartesianQuadraticRoots >	LMCAS::detail::real_quadratic_roots_checked (const std::shared_ptr< SymbolicExpr > &a, const std::shared_ptr< SymbolicExpr > &b, const std::shared_ptr< SymbolicExpr > &c, ComputationContext &context)
Result< CartesianQuadraticRoots >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::solve_real_quadratic (const Coefficients &coefficients, const AssumptionContext &facts, ComputationContext &context)
Result< void >	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::verify_root (const Coefficients &coefficients, const QuadraticCartesianRoot &root, ComputationContext &context)

变量
constexpr const char *	LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::kOperation = "solve_complex_quadratic"

---

类说明

LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes

struct LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes

在文件 complex_quadratic.cpp 第 185 行定义.

LMCAS::detail::anonymous_namespace{complex_quadratic.cpp}::CartesianNodes 的协作图:

类成员
Node	imag
Node	real