如何在 Pharo 中安装域(CUIS 数学的端口)?

How to install Domains (port of CUIS Mathematics) in Pharo?

在过去的问题中,, I asked about a Computer Algebra System for Pharo, and people pointed to Domains, a port of Mathematics from CUIS smalltalk, that is part of PolyMath project. I suceeded installing PolyMath in Pharo 8, running the following code in the playground, as adviced in https://github.com/PolyMathOrg/PolyMath

Metacello new
        repository: 'github://PolyMathOrg/PolyMath:v1.0.2';
        baseline: 'PolyMath';
        load

问题是,PolyMath 似乎默认没有安装 Domains,因为我在 class 浏览器中没有找到相应的 classes,Domains subpage没有类似的安装说明

编辑(2021 年 3 月 2 日):我尝试遵循 EstebanLM 的建议,并从冰山加载,事先安装了 PolyMath。但是我在冰山屏幕中只看到以下包:

加载 polymath 后,您将可以加载所有包。 Pharo 中用于 load/save 包的工具称为 iceberg(是一个 git 客户端)。您可以在 Pharo 8 的“工具”菜单或 Pharo 9 的“浏览”菜单中找到它。

它位于单独的 github 回购协议 (PolyMathOrg/Domains) 中,没有基线。因此,您只需从 Iceberg 中的 github 克隆存储库,然后以正确的顺序手动加载包。如果你尝试加载一个没有加载依赖项的包(数学内核是一个很好的起点),Iceberg 会报错,你可以在加载缺失的依赖项后重新加载。

如果您记下所需的加载顺序,您可以提供带有基线的 PR