validate a Generic domain definition
the name of the procedure from which GenericCheck is being called
the domain of computation to check
list or set of operations to check for
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.
R`0`,R`=` ≔ 0,`=`:
Error, (in LinearAlgebra:-Generic:-GenericCheck) missing operation: +
M ≔ module_export⁡`0`,`=`;`0` ≔ 0;`=` ≔ :-`=`end module:
Download Help Document