我目前正在查看Meijerg的mpmath文档。它说
mpmath.meijerg（a_s，b_s，z，r = 1，** kwargs）
评估Meijer G函数，定义为
适当选择轮廓L（请参见参考资料）。
有p个元素a_j。参数a_s应该是一对列表，第一个包含n个元素a_1，...，a_n，第二个包含p-n个元素a_ {n + 1}，... a_p。
有q个元素b_j。参数b_s应该是一对列表，第一个包含m个元素b_1，...，b_m，第二个包含q-m个元素b_ {m + 1}，... b_q。
给出的第二个示例为系列a，b有四个参数：
1, 1
1, 0
例如，对于第一行，对我而言，不清楚这是一对集合，每个集合包含一个数字
[[1],[1]]还是一个包含两个元素和一个空集合[[1, 1], []}的集合令人困惑的是，他们没有提到它，而是混合在一起。他们在第二个示例中将该函数称为
meijerg([[1,1],[]], [[1],[0]], z)
这意味着前两个数字属于第一个集合，但是后两个数字每个都属于一个集合。有人可以向我解释原因吗？这背后的逻辑是什么？
最佳答案
Meijer G函数的参数是四组数字：
A1 = [a_1, a_2, ..., a_n]
A2 = [a_{n+1}, a_{n+2}, ..., a_p]
B1 = [b_1, b_2, ..., b_m]
B2 = [b_{m+1}, b_{m+2}, ..., b_q]
用数学表示法，将a_1，...，a_p一起写在同一行上。整数n告诉您这些参数中有多少属于A1，有多少属于A2。
同样，在数学表示法中，将b_1，...，b_q写在同一行上，并且整数m告诉您这些参数中有多少属于B1，多少属于B2。
在计算机代数输入法中，将A1，A2，B1，B2写为单独的列表。使用此表示法时，Meijer G函数的调用如下：
meijerg([A1, A2], [B1, B2], z)
整数m，n，p，q没有显式传递为函数的输入，因为它们只是复制已知信息：
len(A1) = n
len(A1) + len(A2) = p
len(B1) = q
len(B1) + len(B2) = q
所以，如果我们看一下输入
meijerg([[1,1],[]], [[1],[0]], z)
它的意思是
A1 = [a_1, a_2] = [1, 1]
A2 = []
B1 = [b_1] = [1]
B2 = [b_2] = [0]
n = 2
p = 2
m = 1
q = 2
简而言之，Meijer G函数的输入只是两对数字列表：[A1，A2]，[B1，B2]。列表A1，A2，B1，B2中的任何一个都可以为空。
带有（m，n，p，q）下标和上标的Meijer G函数的表示法确实很令人困惑，但不幸的是在文献中已经很好地建立了，因此几乎没有希望更改它。