We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings and Grassmann-Cayley algebras, and illustrate basic functionality such as the straightening algorithm on examples from projective and enumerative geometry.
翻译:本文介绍计算机代数系统Macaulay2的Brackets软件包,该包为特殊线性群经典不变量计算提供了便捷语法。我们描述了括号环与格拉斯曼-凯莱代数的实现方法,并通过射影几何与枚举几何中的算例,展示了如直化算法等基础功能。