问题标签 [gap-system]

我尝试使用 Buchberger 算法（参见this或this）来计算理性领域中理想的 Groebner 基础。这是我的 GAP 脚本：

但结果总是这样：

显然，第四个可以完全除以最后一个基，第一和第二个可以完全除以第三个基。预期的结果应该是这样的：

所以我的问题是如何在 GAP 中获得简化的 Groebner 基础？

尽管 Abstract Algebra Add-on 是 Mathematica 的一个漂亮的软件包，但在我看来，没有什么能比GAP 更好，至少对于 Group Theory 来说是这样。几年前我看 Sage 时，发现据说有一个与 Mma 的接口，但当我仔细观察它时发现它有点原始（但可操作）。我知道埃因霍温技术大学 ( OpenMath ) 已经在一个集成/连接主要数学工具的平台上完成了工作，我什至开始研究它。但这项工作丢失了。现在我的问题：

GAP 和 Mathematica 之间是否存在、是否有人拥有并且您愿意分享？

您如何使用 GAP 从乘法表中识别组的名称？我知道您可以从一组生成器中定义一个组，然后在一组内部表中查找该组：

但是如何找出组的名称[120, 34]？

这个问题可以指任何能够从一组多项式（Mathematica、Singular、GAP、Macaulay2、MatLab 等）计算 Groebner 基的计算机代数系统。

我正在使用一个超定的多项式系统，其中完整的 groebner 基太难以计算，但是能够打印出找到的 groebner 基元素对我来说很有价值，这样我就可以知道一个特定的多项式在 groebner 基中。有没有办法做到这一点？

我想得到GAP软件功能的结果。这是一个交互式命令行工具，主要面向从事群论相关主题的数学家。文档/常见问题解答关于8.1 的说明：我可以从另一个程序调用 GAP 函数吗？这通常是不可能的。但是，将 GAP 作为子进程运行并使用管道、伪 tty、UNIX FIFO 或其他类似设备与之通信是可以做到的。

使用名为 CrystCat（Crystallographic Groups Catalog）的包的示例会话如下所示：

由于我不熟悉这些技术，有人可以向我展示一个具有以下功能的最小示例：

更新：这个问题的公认答案不起作用。

下载完GAP系统的Windows版后，想问一下GAP能否在Windows中读取指定路径下的文件？在 Windows 环境中加载 GAP 脚本的命令是什么？

例子

在 Windows 版本的GAP 系统中，它如何将任何输出重定向到本地驱动器上的文本文件？

这是一个问题。如您所见，问题建立在在 $S_{10}$ 中找到特定顺序的元素。我试图通过使用 GAP 来解决这个问题。但是，GAP 无法处理对称群 $S_{10}$。在这种情况下我们能做些什么？有没有办法为 GAP 定义这个大型有限群？谢谢你的时间。

我在 GAP 的环境中有以下输入：

我想检查我的自由组的某个元素是否在组中，所以我使用了代码：

并期望得到

但它没有用：

但是当我手动消除上图中的长绿色 [ 时，答案就很清楚了：

我可以请求帮助不要用手做吗？谢谢。

编辑：这是我为两个生成器的免费组所做的代码。看看最后的结果。

编程语言GAP有一种使用编译器GAC编译成 C 代码的方法。

我正在尝试通过以下方式对此进行测试，以从用 GAP 编写的函数创建 C 程序：

第一个.g

第一个GapProg.c

然后我在 Bash 中运行

这会将 .g 文件编译为 .o，创建库，然后尝试链接该库并使其可执行。当我这样做时，我得到了错误gapProg.c:(.text+0xa): undefined reference to ``G_PrintEO'。

我猜这是因为我在 firstGapProg.c 中没有该函数的模板。但是我实际上不知道如何调用函数本身或它在库中保存的内容？！

当我$nm libfirstgap.a得到输出时：

有任何想法吗？