gappy-system 0.1.0a3

快速入门

要从Python开始使用GAP函数，只需运行

>>> from gappy import gap

然后GAP中的任何全局变量，包括函数，都可以作为gap上的属性访问，如

>>> gap.Cite()
Please use one of the following samples
to cite GAP version from this installation

Text:

[GAP] GAP – Groups, Algorithms, and Programming, Version 4.dev, The GAP Group, https://www.gap-system.org.
...

所有在GAP会话中可用的全局变量都可以以此方式访问

>>> GAPInfo.Version
"4.dev"

大多数基本的Python类型在GAP中都有直接等效，可以直接传递给GAP函数，而无需显式转换为它们的等效GAP类型

>>> S4 = gap.SymmetricGroup(4)
>>> S4
Sym( [ 1 .. 4 ] )

您还可以在GapObj对象上调用“方法”。这只是在函数支持将对象绑定到方法的情况下，以该对象作为第一个参数调用GAP函数的语法糖。例如

>>> S4.GeneratorsOfGroup()
[ (1,2,3,4), (1,2) ]

GAP函数返回的值是包裹在名为GapObj的Python类中的GAP对象

>>> type(S4)
<class 'gappy.gapobj.GapObj'>

还有许多类型的GAP对象的专门子类。要显式地将Python对象直接转换为它的GAP等价物，您可以像下面这样调用gap

>>> one = gap(1)
>>> type(one)
<class 'gappy.gapobj.GapInteger'>

当在REPL中显示对象或在对象上调用GAP的Print()函数时，GAP对象将（使用repr）或字符串化（使用str）以与GAP中相同的方式进行显示

>>> one
1
>>> s = gap("Hello GAP!")
>>> s
"Hello GAP!"
>>> print(s)
Hello GAP!

并非所有GAP对象在基本Python类型中都有等价物，因此从GAP到Python没有隐式转换。但是，所有可以转换为GAP对象的Python类型都可以以对称的方式转换回它们等价的Python类型

>>> int(one)
1
>>> type(int(one))
<class 'int'>
>>> str(s)
'Hello GAP!'
>>> type(str(s))
<class 'str'>

类似地，对于浮点数、列表、字典等其他类型也是如此。

如果您要转换为其等效Python类型的对象，也可以调用obj.python()

>>> type(one.python())
<class 'int'>

有关为GAP对象注册自己的转换为自定义Python类型的转换器，请参阅gap.convert_to装饰器。

最后，您可以直接使用gap.eval执行任意GAP代码。这通常是构造更复杂GAP对象的简单方法，尤其是如果您更熟悉GAP语法。span class="docutils literal">gap.eval的返回值是在GAP中评估相同语句的结果（当评估单个语句时，分号是可选的）

>>> rec = gap.eval('rec(a:=123, b:=456, Sym3:=SymmetricGroup(3))')
>>> rec['Sym3']
Sym( [ 1 .. 3 ] )

这也是从gappy声明新GAP函数的简单方法

>>> sign = gap.eval("""sign := function(n)
...     if n < 0 then
...         return -1;
...     elif n = 0 then
...         return 0;
...     else
...         return 1;
...     fi;
... end;""")
>>> sign
<GAP function "sign">
>>> sign(0)
0
>>> sign(-99)
-1

有关如何使用gap对象以及内置的GapObj类型的大量其他示例，请参阅完整的API文档。

安装

$ pip install gappy-system

$ git clone https://github.com/embray/gappy.git
$ cd gappy/
$ pip install .

$ make install-libgap

$ GAP_ROOT=<path/to/gap/root> pip install .

$ conda create -n gap
$ conda activate gap
$ conda install -c conda-forge gap-defaults==4.11 python==3.8
$ pip install .

$ conda env create

变更日志