isabelle - 在 Isabelle 中检查多项式理想的 Groëbner 基
问题描述
我正在将这篇关于 Isabelle 的椭圆曲线的论文形式化。在第 14 页，您可以看到如何使用某些多项式理想的 Gröbner 基。
我的问题是如何检查集合 S 是否是Isabelle 多项式理想的 Gröbner 基。我假设可以使用代数命令轻松解决成员资格问题...
编辑
我想知道代数方法是否可以做到这一点。引用参考：
（半）环/场/同义词中多元多项式的普遍问题；该方法的功能根据这些结构的特性得到增强。对于这个问题类，该方法仅对代数闭域是完整的，因为基础方法基于 Hilbert 的 Nullstellensatz，其中等价性仅适用于代数闭域。
解决方案
推荐阅读
- javascript - 无法在节点 js 的 pm2 实例上更改 config/name.json 文件
- python - 如何使用 OpenCV 去除图像上的蓝色背景色？
- robotics - 是否可以使用 G1ANT Studio 自动化 Outlook？
- c++ - C ++如何仅实现多继承类的一个构造函数
- python-3.x - 无法从我的测试文件夹中导入模块服务器
- swift - Swift 中的“存在类型”是什么意思？
- sql - 在一个表中显示两个临时表数据
- android - Kotlin 从字符串中解析双精度
- mule4 - Mule 4 不支持将代码 Mule 3 迁移到 Mule 4 和“rest-router”
- node.js - 未找到反应脚本