第98章 推向全世界（3 / 11）
屏幕上跳出 plete. all local cases matched expected signatures. 的绿色字体。
陈彦长长地舒了一口气，刚准备站起来去倒杯水庆祝一下。
电脑右下角，邮件客户端弹出了提示音。
是远在南大的林照野教授发来的邮件。
南大数学院为了配合这次覆核，特意腾出了一台专门做代数拓扑计算的高性能集群节点。
但是，那台机器上的python版本是稍微陈旧一些的3.8版本，而底层调用的numpy科学计算库版本也不同。
在处理 tile j 的顶点坐標时，输出表格中的浮点数格式多出了一位极小的误差。
结果本身在拓扑意义上完全一致，並不影响结论。
但是，用於自动化比对的diff脚本却亮起了红灯。
文本对不上。
林照野在邮件里並没有因为这是个高中生就嘴下留情，字里行间透著老牌学者的严谨与苛刻，只写了一句极重的话：“復现说明不能假设全世界的同行都和你用同一台型號的机器、同一个版本的编译器，这是科学的普適性原则。”
陈彦看著邮件，替江临捏了一把汗。
这种吹毛求疵的指责，对一个刚刚做出巨大贡献的年轻人来说，很容易引发逆反心理。
但江临的回信在两分钟后就到了。
“收到。问题確认。已將所有底层的几何坐標比较模块，从浮点数近似比较彻底改为基於代数整数的精確编码，並使用有理数格式输出，新版本 v0.3 已上传。”
第三轮，在北京的邵明棠研究所那边，开始跑用於生成论文附录图谱的关键样例。
运行到第七个小时，又发现了一个致命的格式规范问题。
在处理tile j的翻面读法时，两个本该归入同一等价类的测试样例，输出在日誌里的名称不一致。
一个是按照第一种遍歷算法生成的，叫 mirror_case_b3。
另一个是按照逆向回溯生成的，叫 reflected_b3。
作为研究者，人类的大脑在看到这两个词时，瞬间就能反应过来它们在数学上指的是同一个拓扑结构。
但机器不知道。
对於哈希算法来说，这是两串截然不同的字符。
如果未来的审稿人，那些可能来自普林斯顿、剑桥或者高等研究院的、挑剔到极点的数学家，拿著放大镜来审查你的核验代码时，他们绝对不会大发慈悲地替你猜这其中的关联。
他们只会冷冷地写下一句：“代码逻辑存在歧义，状態空间分类不严谨。”
於是，江临再次修改。
统一了全局的命名空间，引入了严格的规范化命名函数。
接下来的这几天里，c216討论室里说得最多的词，不是天才，不是突破，不是单砖。
空气里漂浮的，全都是枯燥到了极点的工程指令。
“重跑！江大节点二號机重新分配內存。” ↑返回顶部↑
陈彦长长地舒了一口气，刚准备站起来去倒杯水庆祝一下。
电脑右下角，邮件客户端弹出了提示音。
是远在南大的林照野教授发来的邮件。
南大数学院为了配合这次覆核，特意腾出了一台专门做代数拓扑计算的高性能集群节点。
但是，那台机器上的python版本是稍微陈旧一些的3.8版本，而底层调用的numpy科学计算库版本也不同。
在处理 tile j 的顶点坐標时，输出表格中的浮点数格式多出了一位极小的误差。
结果本身在拓扑意义上完全一致，並不影响结论。
但是，用於自动化比对的diff脚本却亮起了红灯。
文本对不上。
林照野在邮件里並没有因为这是个高中生就嘴下留情，字里行间透著老牌学者的严谨与苛刻，只写了一句极重的话：“復现说明不能假设全世界的同行都和你用同一台型號的机器、同一个版本的编译器，这是科学的普適性原则。”
陈彦看著邮件，替江临捏了一把汗。
这种吹毛求疵的指责，对一个刚刚做出巨大贡献的年轻人来说，很容易引发逆反心理。
但江临的回信在两分钟后就到了。
“收到。问题確认。已將所有底层的几何坐標比较模块，从浮点数近似比较彻底改为基於代数整数的精確编码，並使用有理数格式输出，新版本 v0.3 已上传。”
第三轮，在北京的邵明棠研究所那边，开始跑用於生成论文附录图谱的关键样例。
运行到第七个小时，又发现了一个致命的格式规范问题。
在处理tile j的翻面读法时，两个本该归入同一等价类的测试样例，输出在日誌里的名称不一致。
一个是按照第一种遍歷算法生成的，叫 mirror_case_b3。
另一个是按照逆向回溯生成的，叫 reflected_b3。
作为研究者，人类的大脑在看到这两个词时，瞬间就能反应过来它们在数学上指的是同一个拓扑结构。
但机器不知道。
对於哈希算法来说，这是两串截然不同的字符。
如果未来的审稿人，那些可能来自普林斯顿、剑桥或者高等研究院的、挑剔到极点的数学家，拿著放大镜来审查你的核验代码时，他们绝对不会大发慈悲地替你猜这其中的关联。
他们只会冷冷地写下一句：“代码逻辑存在歧义，状態空间分类不严谨。”
於是，江临再次修改。
统一了全局的命名空间，引入了严格的规范化命名函数。
接下来的这几天里，c216討论室里说得最多的词，不是天才，不是突破，不是单砖。
空气里漂浮的，全都是枯燥到了极点的工程指令。
“重跑！江大节点二號机重新分配內存。” ↑返回顶部↑