validate a Generic domain definition - Maple Help

Online Help

All Products    Maple    MapleSim


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

withLinearAlgebra[Generic]:

R`0`,R`=`:=0,`=`:

GenericCheckSomeLAOperationR,`0`,`=`

R

(1)

GenericCheckSomeLAOperationR,`0`,`=`,`+`

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

M:=moduleexport`0`,`=`;`0`:=0;`=`:=:-`=`end module:

GenericCheckSomeLAOperationM,`0`,`=`

M

(2)

GenericCheckSomeLAOperationM,`0`,`=`,`+`

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

See Also

LinearAlgebra[Generic]


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam