Chapel LinearAlgebra 在调用 eig(csrA, left = true, right = true); 时报告错误

Question

使用 chapel code inside online IDE用于原型(prototype)制作，example2.chpl来自 Documentation关于如何使用LinearAlgebra模块 proc eig(…) 无法对复杂值的 CSR 稀疏矩阵进行操作， csrMatrixA -实例。

Code:

use LinearAlgebra.Sparse, IO.FormattedIO;

config var N = 3;                                 // May use on the CLI-cmdline or here, below in the launcher's Arguments.add: --N=<aNumber>

var csrDOMAIN  = CSRDomain( N, N );               // Create an empty 3x3 CSR domain ---------> https://chapel-lang.org/docs/primers/sparse.html#primers-sparse
var csrMatrixA = CSRMatrix( csrDOMAIN, complex ); // Create a CSR matrix over this domain
                                                  // The above is equivalent to:               var matA: [csrDOMAIN] <dtype>;

csrDOMAIN += (1,1);                               // Add as an exemaple these indices to the sparse domain for all the nonzero data-cells
csrDOMAIN += (1,2);
csrDOMAIN += (2,2);
csrDOMAIN += (2,1);
csrDOMAIN += (3,3);

csrMatrixA.re =  1.23;                            // Set as an example all nonzero elements, all sparsely distributed over a domain indirectly described by csrDOMAIN, to a value of 1.23
csrMatrixA.im = -4.56;                            // Set as an example all nonzero elements, all sparsely distributed over a domain indirectly described by csrDOMAIN, to a value of-4.56i

writef( "CSR-Sparse Matrix A::[%i x %i] has values of:\n",
         N,
         N
         );

writeln( csrMatrixA );                            // A is now a 3x3 sparse matrix

/*/////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// CRASH-REPORT:

var (     eigenVALUEs,
     rightEigenVECTORs ) = eig( csrMatrixA, right = true ); // ------------------------------> https://chapel-lang.org/docs/modules/packages/LinearAlgebra.html#LinearAlgebra.eig

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// TiO.RUN::
// .code.tio.chpl:22: error: unresolved call 'eig([CSDom(2,int(64),domain(2,int(64),false),true,false,false)] complex(128), left=1, right=1)'
// $CHPL_HOME/modules/packages/LinearAlgebra.chpl:1404: note: this candidate did not match: eig(A: [] ?t, param left = false, param right = false)
// $CHPL_HOME/modules/packages/LinearAlgebra.chpl:1404: note: because where clause evaluated to false
// $CHPL_HOME/modules/packages/LinearAlgebra.chpl:1618: note: candidates are: eig(A: [] ?t, param left = false, param right = false)
//

writeln( eigenVALUEs );
  */

编译器设置: --fast
运行时参数: --N=3 (不相关的ATM)

能否请教 : 一)满足预期语法( call-signature )和 的正确方法是什么？ b) 您能否将修复后的 MCVE 代码示例进一步扩展，以演示如何制作 eig() -处理以在非常稀疏的非符号上以并行分布式方式实际运行。企业社会责任领域 N x N对于 N ~ 2E7 (有 ~ 5 [GB] 的实际数据)，分布不是因为 RAM 大小，而是为了更快的处理，在多个区域设置，以便有效地利用所有可用的 CPU 资源和 c) 什么是网 chapel 这种方法的处理速度是否会加快，如果以托管的单一区域设置处理为基准？

追溯:

$CHPL_HOME/modules/packages/LinearAlgebra.chpl:1404: note:
this candidate did not match: eig(A: [] ?t, param left = false, param right = false)
$CHPL_HOME/modules/packages/LinearAlgebra.chpl:1404: note:
because where clause evaluated to false
$CHPL_HOME/modules/packages/LinearAlgebra.chpl:1618: note:
candidates are: eig(A: [] ?t, param left = false, param right = false)

最近的重新测试，在 Ben Albrecht 的 [issue-14725] 之后已提交票证，请确认 (complex)和 (int) eltType-s 以类似的方式崩溃，但是 (real) CSRMatrix() -instance 引发 LAPACK 代码错误:如 updated-code 中所述

$CHPL_HOME/modules/packages/LAPACK.chpl:19775: error:
c_ptrTo unsupported array type

Answer 1

a)看起来这是线性代数库的一个未实现的功能。我在这里提交了一个问题:https://github.com/chapel-lang/chapel/issues/14725

b) Chapel 1.20 在 LinearAlgebra 中还没有分布式特征求解器。模块。如果您觉得它有值(value)，我鼓励您在 github 存储库上打开一个请求此功能的问题。

c) 见 (b)