如果问题很简单，我很抱歉。我需要为矫直算法编写代码。其中包括定义括号代数。我试图用 CoCoA-5 编写它，但这是不可能的，因为 CoCoA-5 不接受像 [1,4,6,8] 这样的括号作为环的不确定。我做了一些谷歌搜索，变得更加困惑。谁能介绍一个计算机代数系统，它能够定义括号代数，计算G-Basis，定义理想以及李代数和交换代数所需的其他能力？

谢谢