我正在尝试将 SSReflect 的矩阵库与 Coquelicot ( http://coquelicot.saclay.inria.fr/html/Coquelicot.Complex.html )中的复数一起使用。
但是，我收到错误：
The term "ket0" has type "matrix C (S (S O)) (S O)"
while it is expected to have type "matrix (GRing.Ring.sort ?R) ?m ?n"
我假设这GRing.Ring.sort是某种类型类或规范结构，但我如何实例C化为该类的成员？