validate a Generic domain definition - Maple Help

Home : Support : Online Help : Mathematics : Linear Algebra : LinearAlgebra Package : Generic Subpackage : LinearAlgebra/Generic/GenericCheck

LinearAlgebra[Generic][GenericCheck] - validate a Generic domain definition

 Calling Sequence GenericCheck(M[R],ops)

Parameters

 M - the name of the procedure from which GenericCheck is being called R - the domain of computation to check ops - list or set of operations to check for

Description

 • 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.

Examples

 > $\mathrm{with}\left(\mathrm{LinearAlgebra}[\mathrm{Generic}]\right):$
 > ${R}_{\mathrm{0}},{R}_{\mathrm{=}}:=0,\mathrm{=}:$
 > $\mathrm{GenericCheck}\left({\mathrm{SomeLAOperation}}_{R},\left\{\mathrm{0},\mathrm{=}\right\}\right)$
 ${R}$ (1)
 > $\mathrm{GenericCheck}\left({\mathrm{SomeLAOperation}}_{R},\left\{\mathrm{0},\mathrm{=},\mathrm{+}\right\}\right)$
 > $M:=\mathbf{module}\left(\right)\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{export}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{0},\mathrm{=};\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{0}:=0;\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{=}:=:-\mathrm{=}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{end module}:$
 > $\mathrm{GenericCheck}\left({\mathrm{SomeLAOperation}}_{M},\left\{\mathrm{0},\mathrm{=}\right\}\right)$
 ${M}$ (2)
 > $\mathrm{GenericCheck}\left({\mathrm{SomeLAOperation}}_{M},\left\{\mathrm{0},\mathrm{=},\mathrm{+}\right\}\right)$