isIntegrable(D, A)
isIntegrable A
Checks whether a list of $n$ matrices $A_i$ in $\operatorname{Mat}_{m\times m}(k(x_1..x_n))$ satisfy $[A_i,A_j] = \partial_i(A_j) - \partial_j(A_i)$ for all $i,j$. This is the case, in particular, when they come from a $D_n$-module, respectively from a $D_n$-ideal.
|
|
|
|
|
The matrices need to be defined over the base fraction field of $D_n$.
The object isIntegrable is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/ConnectionMatrices/docs.m2:363:0.