Skip to content

MathCanvas v4.0.1

Choose a tag to compare

View all tags
@Huo0077 Huo0077 released this 20 Oct 02:51
· 84 commits to main since this release
v4.0.1
20e5ee9

补丁版（4.0.0 → 4.0.1）：不改契约、纯增量 —— 读得更多、判得更多、文档与门禁对齐。

完整发布说明见仓库内 docs/release/v4.0.1.md。这里只放摘要。

读得更多（解析器）

  • 命名圆锥曲线 椭圆C：x²/16+y²/4=1、函数式抛物线 y=x²/4、圆的一般方程、曲线过点、直线的一般式 3x+4y+15=0（含"直线写在曲线前面"的语序）
  • 链式等号 AB=AC=AA₁=2；线段AB的长度为3 / AB的长为3；AC 上一点 D（点写在线段后面）
  • AD 是 BC 边上的中线；焦点 + 离心率 ⇒ 曲线参数

判得更多（核验判据）

  • 实体标量尺寸：圆锥 / 圆柱 / 正 N 棱锥 / 球 / 长方体的外接球与内切球半径
  • 一般多面体：体积与表面积派生内切球（解球心，残余含"各面是否真的相切"）、外接球（最小二乘，残余含"顶点是否真的共球"）
  • 三角形的心：角平分线、内心、重心、垂心、旁心、外心
  • 圆上的度量：弦心距、弧长（只按劣弧）；中位线（存在性地判）

读不出也不许消失

十几族没有判据的条件现在会如实落进未核验并给具体理由；确认面板在"没有任何题设被核验"时会明确说出来（此前与"核验通过"在界面上看起来一样）。

产物与门禁

  • MathCanvas_4.0.1_x64.exe 17,611,776 B / MathCanvas_4.0.1_x64_en-US.msi 7,118,848 B / MathCanvas_4.0.1_x64-setup.exe 5,282,976 B
  • 单测 479 文件 / 5054 通过 + 1 todo / 0 失败；typecheck exit 0；lint 0 error / 15 warning；docs-consistency 7 条判据 / 18 项；全量 e2e 239 通过 / 0 失败
  • 边界：MSI 是 per-machine，本机非管理员装不上（Error 1925，载荷完整性已用管理安装验证）；真实 provider 复跑没有读数（本机没有 API key）；干净机器 / 断网发行 / 教师学生走查未做。
Assets 5
Loading