solver.hpp 文件参考

多项式方程组求解器 Solver，包含 Gröbner 基、线性系统求解。 更多...

#include "symbolic.hpp"
#include <vector>
#include <string>
#include <map>

solver.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

命名空间
namespace	LMCAS

类型定义
using	LMCAS::AssumptionSolveResult
using	LMCAS::PolynomialSystemResult
	多项式方程组求解器，提供线性系统求解、Gröbner 基计算及多项式系统求解功能。

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

多项式方程组求解器 Solver，包含 Gröbner 基、线性系统求解。

在文件 solver.hpp 中定义.