fglm.hpp 文件参考

FGLM 算法:零维理想 Gröbner 基在不同单项式序之间的转换. 更多...

#include "lmcas_export.hpp"
#include "monomial_order.hpp"
#include "rational.hpp"
#include <vector>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).

变量
const std::vector< FGLMPoly > &	LMCAS::basis
const std::vector< FGLMPoly > const MonomialOrder &	LMCAS::order

详细描述

FGLM 算法:零维理想 Gröbner 基在不同单项式序之间的转换.

参见

J.-C. Faugère, P. Gianni, D. Lazard, and T. Mora, "Efficient Computation of Zero-dimensional Gröbner Bases by Change of Ordering," Journal of Symbolic Computation 16(4), 1993.

在文件 fglm.hpp 中定义.