博客

关于数学、形式化以及我所做工具的长文。

• 2026年6月2日

  把二次域当作坐标系来计算

  QuadraticNumberFields 的核心，是让 QuadraticField、QuadraticFieldCat 和 Qsqrtd d 各司其职：抽象表达、范畴组织、具体计算。