RCRootCover0.1.0

MOONBIT · INTERVAL ROOT SOLVING

在给定范围内,
求出可确认的解。

多元多项式方程组,从整个区域出发。查看唯一解包围盒、已排除区域的数量,以及仍需进一步求解的区域。

定义问题

JSON / v1

支持 + − *、括号和整数次幂 ^0…16;1…6 个变量,方程数与变量数相同。JSON 是实际运行输入。

已确认唯一解—
未决区域—
搜索状态准备就绪

解的空间分布

输入区域
唯一解包围盒 / 中心标记未决区域

二维以上显示前两个坐标的投影;小包围盒以标记辅助显示。图形不表示额外的精度保证。

计算结果

选择场景并运行,查看完整计算结果。

原始结果与证据
尚未运行
结果如何理解

“区域已解析”表示给定初始区域中的所有可能根均已归入已确认的唯一解区域;“仍有未决”保留尚未排除或认证的区域。重根、边界根、奇异 Jacobian、资源或精度限制均可能留下未决。系数按 binary64 解释;示例为合成数据,适用范围详见仓库。