问题标签 [magma-ca]

在 Uni，我们正在使用 MAGMA。我想创建一个日志文件。那应该用SetLogFile('FileName'). 然而，其结果是User error: Identifier '20.10.txt' has not been declared or assigned( FileNamebeing 20.10.txt)。此外，load 'inputfile.magma'似乎不起作用。我正在使用 Mac OS X 10.7.5。为什么会发生这些事情，我该如何解决这些问题？

我们在课堂上设计了一个函数来测试一个组的幂等性是否是其 p-Sylows 的总和。原件是下面的第一个，没有n:=NilpotencyClass(G)线。我得到了一个奇怪的结果，如下所示。老师得到了一个不一样的奇怪结果：3 1。但是这个群G不是阿贝尔群，所以我们会找到一个非阿贝尔的 1 类幂零群，这很荒谬。然后我们尝试隔离该功能，也是因为我的一个同学有该功能正常工作。这解决了问题。对这个谜感到好奇，我试图隔离问题，发现它直接来自函数。我尝试NilpotencyClass在函数开始时计算返回值，它起作用了。如果我不这样做，即使在功能之外我仍然得到NilpotencyClass(G)=32767！所以我有以下代码：

在 MAGMA 上加载它会产生以下结果：

那个 32767 是从哪里来的？注意它是 2^(15)-1。为什么会产生这种误判？

更新：我尝试将代码复制粘贴到 MAGMA，结果是一样的。此外，退出并重新打开后，我尝试仅复制粘贴第一个函数，然后计算NilpotencyClass，然后使用该函数，结果如下：

我必须计算给定序列的前 3000 个项目，如下所示：

a_1=1，a_n+1 = 最小整数 > a_n，对于每个（不一定不同）1<= i,j,k <= n+1 适用（a_i+a_j 不等于 3*a_k）

我已经编写了可以正常工作的代码（在 Magma 中），但它的时间复杂度显然太大了。我在问是否有办法降低时间复杂度。我有一个想法，以某种方式将内部 for 循环（这是造成破坏的循环）移出，以制作一个包含所有总和的数组，但我无法让它正常工作。在下面附上我的代码：

PS：如果它有帮助，我也知道 Python、Pascal 和 C，如果你喜欢这些语言中的任何一种。

我有一个问题要问 Magma 用户。

有时我会编写一个程序，该程序将运行一段时间，然后终止，并显示以下消息：

ff/access.c 中的 ff_degree() 内部错误，第 1021 行

这是什么意思？为什么这个问题只是偶尔出现？

我在 Windows 中使用 Magma (C:\program files\magma)。我在 D:\scripts 目录中有一些脚本 xyz.m。我不知道如何加载脚本并运行它们。谢谢您的帮助。问候

我正在岩浆中尝试以下代码

我也试过：

两者都显示相同的错误“理想中的运行时错误< ... >：LHS的系数环必须是一个字段”我试图构建Z [x]的理想

这是检查 CCZ-equivalence 的示例。如何将以下函数 CF 从 Magma 重写为 GAP 系统？

我已经使用Magma几个星期了，一切都很好，除了一件事：我无法定义自己的内在函数。我没有找到很多学习语言的资源（也许我无法搜索......），所以我尝试了很多东西，现在，我陷入了一个看似简单的事情：我有一个f.m文件包含以下代码：

在 Magma 控制台中，在与此文件相同的文件夹中，我有以下内容：

我真的不明白我做错了什么，有人可以启发我吗？

如果这个问题在相关网站上更合适，请告诉我，我很乐意移动它。

我在 ℤ<sup>11 中有 165 个顶点，所有这些顶点与原点的距离为 √8，并且是它们对应的凸包上的极值点。 CGAL能够在我的笔记本电脑上使用不到 1 GB 的 RAM 在 133 分钟内计算出他们的d维三角剖分。

Magma非常快地管理了一个类似的 66 顶点情况，而且，对于我的应用程序而言，至关重要的是，它返回一个实际的多面体而不是三角剖分。因此，我可以将每个d维面视为可以由任意数量的顶点限定的单个对象。

此外，虽然对我的应用程序来说不太重要，但我也可以Graph : TorPol -> GrphUnd用来计算有关这些面如何连接的所有拓扑信息，然后AutomorphismGroup : Grph -> GrpPerm, ...找到该单元结构的相应自同构群。

不幸的是，当应用于原始多面体时，MagmaAutomorphismGroup : TorPol -> GrpMat只返回GL _d (ℤ)的子群，而不是完全自同构群G，这是我真正希望计算的。作为一个矩阵群，G ∉ GL ₁₁ (ℤ)，而是 ∈ GL ₁₁ ()，其中表示代数数。一般来说，我不需要有理数的完整代数闭包 ℚ̅，而只需要一些域扩展。但是，我可以使用G的任何非平凡强大的表示。

通过两天的计算，Magma 可以管理 165 个顶点的情况，但只能提供有关多面体原始 165 个顶点、10 个面和体积的信息。但是，尝试枚举d面，对于任何 2 ≤ d < 10，会很快消耗我可以使用的 256 GB RAM。

另一方面，CGAL 的三角剖分只计算d -simplices的集合，所有这些集合都有d + 1 个顶点。从这样的三角测量中得出相同的面部信息似乎是可能的，但我还没有想到一种简单的方法来编码。

我在 CGAL 中遗漏了一些明显的东西吗？您对计算多面体的面部信息或找到我的点集的完整自同构群的替代方法有什么建议吗？