如何对非阿基米德�格格塔化

非阿基米德域上的线性空间的热ula化是一个热ula线性空间。本文提出了一种计算方法，用于对valuation环上的任意晶格进行热ula化。 resulting tropical semimodule 是从我们称为熵多项式的特定多线性多项式构造的多胞复合体的支持。我们论证中关键思想是对局部域上晶格上的Haar测度进行热ula化。