我想在 Python 中计算多元多项式的余数，我发现来自 sympy 的 div() 应该可以解决问题（我也需要 sympy 来进行 Gröbner 计算）。 但我一直发现的问题是 div() 似乎只检查除法的前导项，因为 给出r=y ，而 给出r=x**2+y 。 我想做一些像理想会员这 ...

假设C [x，y，z]中的一组有限多项式具有有限数量的解（即生成的理想是0维）。 假设关于lex order x> y> z的Groebner基础是 [f（z），g（y，z），h（y，z），k（x，y，z）] 众所周知，系统现在可以轻松解决：选择f的根z0，将其插入 ...

考虑以下SMTLIB程序（在此处上升4fun）： 尽管Z3（仅在语法上相等）才需要推理，但Z3（4.3.2正式发布，以及4.4.0 b6c40c6c0eaf）仍然无法表明最终断言是unsat 。 出乎意料的（至少对我而言），将smt.arith.nl.gb设置为true可以使示例进 ...

Q1：是否可以查询Z3在不同子求解器中花费的时间？ 调用(get-info :all-statistics)给出了Z3的总体运行时间，但我想将其分解为各个子解决方案。 我对与算术相关的子求解器所花费的时间特别感兴趣，更确切地说，是引起统计grobner和nonlinear-horne ...

任何人都可以建议修复或替代路线来找到该系统的解决方案吗？ 特别是我只关心[0,1] x [0,1]中的解（s，t） 注意：我在这里寻找两条三次贝塞尔曲线的交集。 我需要保证找到所有解决方案的方法，并希望在合理的时间内（对于我的使用，这意味着每对曲线几秒钟）。 我尝试使用sympy ...

我尝试使用 Buchberger 算法（请参阅此或此）来计算有理场中理想的 Groebner 基。 这是我的 GAP 脚本： F := Rationals; R := PolynomialRing( F, [ "x", "y", "z" ]); x := IndeterminatesOfPolyno ...