非标准数学分析将实数线扩展为包括“超实数”-无限小和无限数。是否存在数据规范的实现（规范），以便使用超现实来实现计算？我正在寻找类似于您在Python和Fortran及其他地方找到的复数数据类型的东西。我实际上不知道这样的计算是否有用：我很好奇。我已经对这个概念进行了一些尝试，但是由于我可能会犯错误，所以我将为您省去所有细节。参考wikipedia page on hyperreals.
最佳答案
我认为您可以通过以下构造做到这一点：
超实数是在变量w上具有实系数的多项式的商，其中w表示“最小”无穷大（即不是较小无穷大的乘积）。
多项式按字典顺序排序，即多项式不同时的最高幂确定排序。可以按标准方式将其扩展为多项式的商（如有理数的阶，即整数的商）。