RCRootCover0.2.0

MOONBIT · INTERVAL ROOT SOLVING

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

多元多项式的根与容差可行域。查看唯一解包围盒、整盒可行区域,以及仍需进一步求解的区域。

定义问题

JSON / v1

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

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

解的空间分布

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

二维以上显示前两个坐标的投影;小盒以辅助宽度或标记显示,图中每类最多1000盒。完整数值以导出结果为准。

计算结果

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

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

求根模式中,“区域已解析”表示初始区域中的所有可能根均已归入唯一解域。可行域模式中,每个绿色盒内的所有点均满足全部观测带;绿色盒与未决盒联合包围所有可行点。“分辨率已达”只描述未决盒宽度,不能当作它们已经可行或全部排除。重根、边界根、奇异 Jacobian、资源或精度限制均可能留下未决。系数按 binary64 解释;示例为合成数据,适用范围详见仓库。