gap-system - 从命令行启动 GAP 脚本时如何控制文本格式？

Question

例如，当我从命令行启动脚本时，我想了解 GAP 的行为

$ gap mytest.gap

而不是从 GAP 内部调用它

gap> Read("mytest.gap");

特别是，我试过 suppress automatic formatting带有换行符和缩进。如果文件 mytest.gap以下是

SetPrintFormattingStatus( "*stdout*", false );
Print( Primes{[1..30]}, "\n" );

然后我在使用 Read() 调用它时得到预期的行为，即

[ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113 ]

从命令行启动它时，我仍然得到

[ 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71,
  73, 79, 83, 89, 97, 101, 103, 107, 109, 113 ]

有人可以解释这种行为吗？ GAP 对从命令行调用启动的脚本的处理是否记录在某处？我在手册中找不到它，但手册页确实说 usage: gap [OPTIONS] [FILES]仅提供有关如何处理选项的文档。

Answer 1

恐怕目前还不能完全禁用Print的输出格式。你尝试的方式。
但是，您可以通过使用较新的流 API 和 PrintTo 来解决此问题。 ， 像这样:

s:=OutputTextUser();
SetPrintFormattingStatus( s, false );
PrintTo( s, Primes{[1..30]}, "\n" );

我将此记录为 bug in the GAP issue tracker ，也许我们可以在下一个版本中修复它(或者也许有人会解释为什么它“不是错误而是一个功能”;-)。