The Valid_State_ELL_Matrix procedure returns true iff the ELL_Matrix is in a valid state - that is, iff the ELL_Matrix passes all of the valid state tests.
Calling syntax:
Logical = Valid_State(ELLM) |
Input variables:
ELLM | The ELL_Matrix to be checked. |
Output variable:
Valid_State | True iff the ELL_Matrix is in a valid state. |
The Valid_State_ELL_Matrix code listing contains additional documentation.