The GenericCheck routine simply checks if the specified domain operations ops are defined by the input domain of computation R. No validation of what the operations actually do is performed. The M is irrelevant for the check, but it is convenient for internal use as it provides a simple interface to validate the calling sequence of the various functions in the package (all calls are indexed by the domain).

If the input computation domain is specified as a table, then the table indices are examined, and if defined as a module, the module exports are examined.

$\mathrm{with}\left(\mathrm{LinearAlgebra}\left[\mathrm{Generic}\right]\right)\:$

$R\left[\mathrm{`0`}\right],R\left[\mathrm{`=`}\right]≔0,\mathrm{`=`}\:$

$\mathrm{GenericCheck}\left(\mathrm{SomeLAOperation}\left[R\right]\,\left\{\mathrm{`0`}\,\mathrm{`=`}\right\}\right)$

$R$

$\mathrm{GenericCheck}\left(\mathrm{SomeLAOperation}\left[R\right]\,\left\{\mathrm{`+`}\,\mathrm{`0`}\,\mathrm{`=`}\right\}\right)$

Error, (in LinearAlgebra:-Generic:-GenericCheck) missing operation: +

$M≔\mathbf{module}\left(\right)\mathrm{\_export}\left(\mathrm{`0`}\,\mathrm{`=`}\right)\;\mathrm{`0`}≔0\;\mathrm{`=`}≔:-\mathrm{`=`}\mathbf{end\; module}\:$

$\mathrm{GenericCheck}\left(\mathrm{SomeLAOperation}\left[M\right]\,\left\{\mathrm{`0`}\,\mathrm{`=`}\right\}\right)$

$M$

$\mathrm{GenericCheck}\left(\mathrm{SomeLAOperation}\left[M\right]\,\left\{\mathrm{`+`}\,\mathrm{`0`}\,\mathrm{`=`}\right\}\right)$

Error, (in LinearAlgebra:-Generic:-GenericCheck) missing operation: +